Skip to main content
SpringerLink
Log in

A Prototype Inference Engine for Rule-Based Geometric Reasoning

  • Conference paper
Diagrammatic Representation and Inference (Diagrams 2004)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2980))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Brooks, R.A.: A robost layered control system for a mobile robot. IEEE Journal of Robotics and Automation RA-2(1), 14–23 (1986)

    Article  Google Scholar 

  2. 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)

    Google Scholar 

  3. Edkins, J.: Jo edkins’s maze page, http://www.gwydir.demon.co.uk/jo/maze/

  4. Forgy, C.L.: Rete: a fast algorithm for the many pattern/many object pattern match problem. Artificial Intelligence 19(1), 17–37 (1982)

    Article  Google Scholar 

  5. Lucas, E.: Recreations mathematiques, vol. 1 (1882)

    Google Scholar 

  6. 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)

    Google Scholar 

  7. 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)

    Article  Google Scholar 

  8. 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)

    Chapter  Google Scholar 

  9. 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)

    Chapter  Google Scholar 

  10. 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)

    Google Scholar 

  11. 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)

    Chapter  Google Scholar 

  12. Shafer, G.: A Mathematical Theory of Evidence. Princeton University Press, Princeton (1976)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, New Mexico State University, Las Cruces, NM, 88003, USA

    Joseph J. Pfeiffer Jr.

Authors
  1. Joseph J. Pfeiffer Jr.
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computer Laboratory, University of Cambridge, CB3 0FD, Cambridge, UK

    Alan F. Blackwell

  2. Clayton School of IT Monash University, 3800, Australia

    Kim Marriott

  3. Faculty of Culture and Information Science, Doshisha University, Japan

    Atsushi Shimojima

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation