Rees reasoning engines evaluation shell
Download
1 / 11

REES: Reasoning Engines Evaluation Shell - PowerPoint PPT Presentation


  • 107 Views
  • Uploaded on

REES: Reasoning Engines Evaluation Shell. version 3.0. Automated Reasoning Lab University of California, Irvine. Credits. Team Members Radu Marinescu Kalev Kask (PI) Rina Dechter (PI) Kyle Bollen Plugins by Kalev Kask Radu Marinescu Dan Frost. Introduction.

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about 'REES: Reasoning Engines Evaluation Shell' - annis


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
Rees reasoning engines evaluation shell l.jpg

REES: Reasoning Engines Evaluation Shell

version 3.0

Automated Reasoning Lab

University of California, Irvine


Credits l.jpg
Credits

  • Team Members

    • Radu Marinescu

    • Kalev Kask (PI)

    • Rina Dechter (PI)

    • Kyle Bollen

  • Plugins by

    • Kalev Kask

    • Radu Marinescu

    • Dan Frost


Introduction l.jpg
Introduction

  • Knowledge Representation Framework (Graphical Models)

    • Constraint Networks (CSP)

    • Constraint Optimization (COP)

    • Belief Networks (BN)

  • Queries

    • CSP, Max-CSP

    • Belief Updating (BEL)

    • Most Probable Scenario (MPE, MAP)

Within this framework a reasoning engine represents a

collection of algorithms that implements a specific query type.


Motivation l.jpg
Motivation

  • Software environment to support research and development in the area of automated reasoning.

  • Plug-in architecture:

    • Rapid integration of different libraries of reasoning algorithms (plug-ins).

    • Common workbench that promotes joint evaluation and comparison of alternative technologies.


Architecture overview l.jpg

REES*

INTERFACE

Architecture - Overview

Plugin 1

Plugin 1

Plugins = C/C++ implementations of reasoning algorithms

Plugin 1

Plugin 1

* Microsoft Windows implementation



Rees 3 0 system features l.jpg
REES 3.0 System Features

  • User friendly interface

  • REES Assistants (wizards)

    • Model setup

      • Parametric (configure internal generators)

      • Complete (use the network editor)

    • Task setup

      • Choose/configure processing algorithms

  • REES Network Editor

    • Bayesian networks

    • Constraint networks

  • Flexible Plug-in Architecture

    • Multiple plugins sharing the same interface and data


Rees network editor l.jpg
REES Network Editor

  • Belief Networks

    • Graph structure toolbox

    • Node/CPT properties editor

  • Constraint Networks

    • Graph structure toolbox

    • Node/Constraint properties editor


Rees assistants wizards l.jpg
REES Assistants (Wizards)

  • Model Setup Wizard

    • Assists the configuration of a random problem generator

      • Graphical structure

      • Functional structure

  • Task Setup Wizard

    • Assists the configuration of an experiment:

      • List of algorithms

      • Input/Output params


Task execution and results l.jpg
Task Execution and Results

  • Task Execution

    • REES maintains a detailed log of the execution.

    • Multithreaded execution allows immediate interruption.

  • Task Results

    • Spreadsheet-like visualization of results (each column represents an output parameter).

    • Simple and intuitive comparison between algorithms.


Summary l.jpg
Summary

  • Plug-in architecture allows multiple reasoning engines to share the same interface and data.

  • Joint algorithmic evaluation and comparison now possible with REES Suite 3.0

  • Public release is available at: http://www.ics.uci.edu/~radum/rees.html


ad