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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Brooks, R.A.: A robost layered control system for a mobile robot. IEEE Journal of Robotics and Automation RA-2(1), 14–23 (1986)
Cox, P., Smedley, T.: Visual programming for robot control. In: Proceedings of the IEEE Symposium on Visual Languages, pp. 217–224. IEEE, Los Alamitos (1998)
Edkins, J.: Jo edkins’s maze page, http://www.gwydir.demon.co.uk/jo/maze/
Forgy, C.L.: Rete: a fast algorithm for the many pattern/many object pattern match problem. Artificial Intelligence 19(1), 17–37 (1982)
Lucas, E.: Recreations mathematiques, vol. 1 (1882)
Miranker, D.P.: Treat: A better match algorithm for ai production system matching. In: Proceedings of Sixth National Conference on Artificial Intelligence, pp. 42–47 (1987)
Pan, K., DeSouza, G.N., Kak, A.C.: Fuzzyshell: A large-scale expert system shell using fuzzy logic for uncertainty reasoning. IEEE Trans. Fuzzy Syst. 6, 563–581 (1998)
Pfeiffer Jr., J.J.: A language for geometric reasoning in mobile robots. In: Proceedings of the IEEE Symposium on Visual Languages, September 1999, pp. 164–171. IEEE, Tokyo Japan (1999)
Pfeiffer Jr., J.J.: Using brightness and saturation to visualize belief and uncertainty. In: Hegarty, M., Meyer, B., Narayanan, N.H. (eds.) Diagrams 2002. LNCS (LNAI), vol. 2317, pp. 279–289. Springer, Heidelberg (2002)
Pfeiffer Jr., J.J., Vinyard Jr., R.L., Margolis, B.: A common framework for input, processing, and output in a rule-based visual language. In: Proceedings of the IEEE Symposium on Visual Languages, Seattle, Washington, USA, September 2000, pp. 217–224 (2000)
Pfeiffer Jr., J.J., Vinyard Jr., R.L., Margolis, B.: A common framework for input, processing, and output in a rule-based visual language. In: Proceedings of the IEEE Symposium on Visual Languages, Seattle, USA, September 2000, pp. 217–224. IEEE, Los Alamitos (2000)
Shafer, G.: A Mathematical Theory of Evidence. Princeton University Press, Princeton (1976)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pfeiffer, J.J. (2004). A Prototype Inference Engine for Rule-Based Geometric Reasoning. In: Blackwell, A.F., Marriott, K., Shimojima, A. (eds) Diagrammatic Representation and Inference. Diagrams 2004. Lecture Notes in Computer Science(), vol 2980. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25931-2_20
Download citation
DOI: https://doi.org/10.1007/978-3-540-25931-2_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21268-3
Online ISBN: 978-3-540-25931-2
eBook Packages: Springer Book Archive