Rees reasoning engines evaluation shell l.jpg
This presentation is the property of its rightful owner.
Sponsored Links
1 / 11

REES: Reasoning Engines Evaluation Shell PowerPoint PPT Presentation


  • 68 Views
  • Uploaded on
  • Presentation posted in: General

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.

Download Presentation

REES: Reasoning Engines Evaluation Shell

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 suite 3 0 l.jpg

REES Suite 3.0


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


  • Login