Open AccessBook Chapter10.1007/978-3-540-25931-2_20

A Prototype Inference Engine for Rule-Based Geometric Reasoning

- 22 Mar 2004

- Vol. 2980, pp 216-226

TL;DR: A prototype inference engine for Isaac has been implemented, and some preliminary experiences with programming Isaac rulesets are described, and future optimizations and enhancements to the inference engine are proposed.

Abstract: Isaac is a rule-based visual language for mobile robots using evidential reasoning and a fuzzy inference engine. A prototype inference engine for Isaac has been implemented, permitting experiments with the Isaac language. This paper discusses this inference engine, describes some preliminary experiences with programming Isaac rulesets, and proposes future optimizations and enhancements to the inference engine.

AI Agents for this Paper

Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps

Most frequently asked questions

1. What are the contributions in "A prototype inference engine for rule-based geometric reasoning" ?

This paper discusses this inference engine, describes some preliminary experiences with programming Isaac rulesets, and proposes future optimizations and enhancements to the inference engine.

2. What have the authors stated for future works in "A prototype inference engine for rule-based geometric reasoning" ?

The development of this inference engine, and their exprience with it, has led to a number of possibilities for future work.

Citations

Proceedings Article•10.1109/CISDA.2007.368137

A Review of Intelligent Systems Software for Autonomous Vehicles

Lyle N. Long, +4 more

- 01 Apr 2007

TL;DR: This paper will review some of the most common software systems and methods that could be used for controlling autonomous vehicles, and some of these software systems are very difficult to use, and few of them have the ability to learn.

...read moreread less

Journal Article•10.1016/J.JVLC.2013.11.004

Twelve years of diagrams research

Helen C. Purchase

- 01 Apr 2014

- Journal of Visual Languages and Computin...

TL;DR: A taxonomy describing the scope of diagrams research is proposed, the several research issues covered are identified, and the extent to which layout and aesthetics form part of this body of research is discussed.

...read moreread less

References

•Book

A mathematical theory of evidence

Glenn Shafer

- 01 Jan 1976

TL;DR: This book develops an alternative to the additive set functions and the rule of conditioning of the Bayesian theory: set functions that need only be what Choquet called "monotone of order of infinity." and Dempster's rule for combining such set functions.

...read moreread less

14.6K

•Book

A robust layered control system for a mobile robot

Rodney A. Brooks

- 01 Jun 1991

TL;DR: A new architecture for controlling mobile robots is described, building a robust and flexible robot control system that has been used to control a mobile robot wandering around unconstrained laboratory areas and computer machine rooms.

...read moreread less

7.9K

•Journal Article•10.1109/JRA.1986.1087032

A robust layered control system for a mobile robot

Rodney A. Brooks

- 01 Mar 1986

TL;DR: In this paper, a new architecture for controlling mobile robots is described, which is made up of asynchronous modules that communicate over low-bandwidth channels, each module is an instance of a fairly simple computational machine.

...read moreread less

7.8K

Journal Article•10.1016/0004-3702(82)90020-0

Rete: a fast algorithm for the many pattern/many object pattern match problem

Charles L. Forgy

- 01 Sep 1982

- Artificial Intelligence

TL;DR: The Rete Match Algorithm is an efficient method for comparing a large collection of patterns to a largeCollection of objects that finds all the objects that match each pattern.

...read moreread less

2.7K

•Journal Article•10.1109/91.728455

FuzzyShell: a large-scale expert system shell using fuzzy logic for uncertainty reasoning

J. Pan, +2 more

- 01 Nov 1998

- IEEE Transactions on Fuzzy Systems

TL;DR: This paper presents a more general Rete network that is particularly suitable for reasoning with fuzzy logic and consists of a cascade of three networks: the pattern network, the join network, and the evidence aggregation network.

...read moreread less

A Prototype Inference Engine for Rule-Based Geometric Reasoning

Chat with Paper

AI Agents for this Paper

Most frequently asked questions

1. What are the contributions in "A prototype inference engine for rule-based geometric reasoning" ?

2. What have the authors stated for future works in "A prototype inference engine for rule-based geometric reasoning" ?

Figures

Citations

A Review of Intelligent Systems Software for Autonomous Vehicles

Twelve years of diagrams research

References

A mathematical theory of evidence

A robust layered control system for a mobile robot

A robust layered control system for a mobile robot

Rete: a fast algorithm for the many pattern/many object pattern match problem

FuzzyShell: a large-scale expert system shell using fuzzy logic for uncertainty reasoning

Related Papers (5)

Design and Implementation of Inference Engine for Conflict Resolution

A performance evaluation of three inference engines as expert systems for failure mode identification in shafts

RDB-based Automatic Knowledge Acquisition and Forward Inference Mechanism for Self-Evolving Expert Systems

Towards multi-core expert system

Knowledge Base System Based on Bidirectional and Mixed Inference Engine