A prototype inference engine for rule-based geometric reasoning

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2980, Issue , 2004, Pages 216-226

  Pfeiffer Jr , Joseph J ^a  

^a New Mexico State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; FUZZY SETS; MATHEMATICAL MODELS; MOBILE ROBOTS; OPTIMIZATION; SOFTWARE PROTOTYPING; USER INTERFACES; COMPUTATIONAL LINGUISTICS; ENGINES; VISUAL LANGUAGES;

FUZZY INFERENCE ENGINE; GEOMETRIC REASONING; ROBOT CONTROL; VISUAL LANGUAGE; RULE BASED;

INFERENCE ENGINES; FUZZY INFERENCE;

EID: 9444294001     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-25931-2_20     Document Type: Conference Paper

References (12)

1. Rodney A. Brooks. A robost layered control system for a mobile robot. IEEE Journal of Robotics and Automation, RA-2(1):14-23, March 1986.
2. Phil Cox and Trevor Smedley. Visual programming for robot control. In Proceedings of the IEEE Symposium on Visual Languages, pages 217-224, IEEE, IEEE, 1998.
3. Jo Edkins. Jo edkins's maze page, www.gwydir.demon.co.uk/jo/maze/.
4. C.L. Forgy. Rete: a fast algorithm for the many pattern/many object pattern match problem. Artificial Intelligence, 19(1):17-37, September 1982.
5. Edouard Lucas. Recreations mathematiques, volume 1. 1882.
6. D. P. Miranker. Treat: A better match algorithm for al production system matching. In Proceedings of Sixth National Conference on Artificial Intelligence, pages 42-47, 1987.
7. K. Pan, G.N. DeSouza, and A.C. Kak. Fuzzyshell: A large-scale expert system shell using fuzzy logic for uncertainty reasoning. IEEE Trans. Fuzzy Syst., 6:563-581, 1998.
8. Joseph J. Pfeiffer, Jr. A language for geometric reasoning in mobile robots. In Proceedings of the IEEE Symposium on Visual Languages, pages 164-171. IEEE, IEEE, September 1999. Tokyo Japan.
9. Joseph J. Pfeiffer, Jr. Using brightness and saturation to visualize belief and uncertainty. In Mary Hegarty, Bernd Meyer, and N. Hari Narayanan, editors, Diagrammatic Representation and Inference, Second International Conference, Diagrams 2002, pages 279-289, April 2002.
10. Joseph J. Pfeiffer, Jr., Rick L. Vinyard, Jr., and Bernardo Margolis. A common framework for input, processing, and output in a rule-based visual language. In Proceedings of the IEEE Symposium on Visual Languages, pages 217-224, Seattle, Washington, USA, September 2000.
11. Joseph J. Pfeiffer, Jr., Rick L. Vinyard, Jr., and Bernardo Margolis. A common framework for input, processing, and output in a rule-based visual language. In Proceedings of the IEEE Symposium on Visual Languages, pages 217-224. IEEE, IEEE, September 2000. Seattle USA.
12. Glenn Shafer. A Mathematical Theory of Evidence. Princeton University Press, 1976.