Skip to main content
SpringerLink
Log in

Heterogeneous Systems for Modeling Dynamic Worlds

  • Chapter
Dynamic Worlds

Part of the book series: Applied Logic Series ((APLS,volume 12))

  • 181 Accesses

Abstract

The design of general problem solvers and general purpose representations has been a driving force in the field of artificial intelligence since its inception (see for example [26, 1, 24, 29]). While there are valid concerns about generality, an equally important issue is efficiency of inference. Special purpose representations are known to be good at that and have been used widely in Computer Science and Artificial Intelligence. We propose the use of heterogeneous systems for modeling dynamic worlds. A heterogeneous system is one that employs several kinds of representations. In particular, we are interested in systems that use sentential and diagrammatic languages in parallel. Diagrams are common place in communicating information and for problem solving (see newspapers, reports, and papers and books written on planning, qualitative reasoning, etc. [27, 8]. By combining special purpose diagrammatic representations with general purpose sentential representations we hope to get the best of both worlds, generality and efficiency.

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

Access this chapter

Log in via an institution
eBook
USD 16.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover 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. James F. Allen. Towards a General Theory of Action and Time. Artificial Intelligence 23 (1984) 123–154.

    Article  Google Scholar 

  2. Gerard Allwein, Steve Johnson, and Jon Barwise. Toward the Rigorous Use of Diagrams in Reasoning about Hardware. Manuscript, Indiana University. (1993).

    Google Scholar 

  3. Saul Amarel. On Representations of Problems of Reasoning about Actions. in: Machine Intelligence 3 D. Mitchie (Ed.). Edinburgh University Press, Edinburgh. (1968) 131–171.

    Google Scholar 

  4. Jon Barwise. Heterogeneous Reasoning. in: Conceptual Graphs and Knowledge Representation. G. Mineau, B. Moulin, and J. Sowa. (Eds.). New York: Springer Verlag, to appear.

    Google Scholar 

  5. Jon Barwise and John Etchemendy. Information, Infons, and Inference. Situation Theory and Its Applications. Robin Cooper et. al. (Eds.) CSLI, Stanford, CA. (1990).

    Google Scholar 

  6. Jon Barwise and John Etchemendy. Hyperproof Stanford: CSLI, to appear.

    Google Scholar 

  7. Jon Barwise and Eric Hammer. Logical Systems as Models of Inference. What is a Logical System D. Gabbay. (Ed.). Oxford University Press, to appear.

    Google Scholar 

  8. D. G. Bobrow, (Ed.). Special Volume on Qualitative Reasoning and Physical Systems. Artificial Intelligence 24(1–3) (1984).

    Google Scholar 

  9. B. Chandrasekaran and N. H. Narayanan. Towards a theory of commonsense visual reasoning. in: Lecture Notes in Computer Science 472. K.V. Nori and C.E. Veni Madhavan (Eds.). Springer-Verlag, Berlin, FRG. (1990) 388–409.

    Google Scholar 

  10. A. K. Dewdney. Computer Recreations. Scientific American 250 (1984) 19–26.

    Article  Google Scholar 

  11. Hubert L. Dreyfus and Stuart E. Dreyfus. How to Stop Worrying about the Frame Problem Even though It’s Computationally Insoluble. The Robot’s Dilemma. Zenon Pylyshyn (Ed.) Ablex, Norwood, NJ, (1987).

    Google Scholar 

  12. Brian V. Funt. Problem-Solving with Diagrammatic Representations. Artificial Intelligence 13 (1980) 201–230.

    Article  Google Scholar 

  13. George W. Furnas. Reasoning with Diagrams Only. Working Notes of the AAAI Symposium on Reasoning with Diagrammatic Representations, Stanford, CA. (1992) 118–123.

    Google Scholar 

  14. Realization of a Geometry-Theorem Proving Machine. Computers and Though Edward E. Feigenbaum and Julian Feldman (Eds.) McGraw-Hill, NY, NY. (1963).

    Google Scholar 

  15. Naresh Gupta and Dana S. Nau. On the Complexity of Blocks-World Planning. Artificial Intelligence 56 (1992) 223–254.

    Article  Google Scholar 

  16. Eric Hammer. Reasoning with Sentences and Diagrams. The Notre Dame Journal of Formal Logic. To appear.

    Google Scholar 

  17. John Haugland. An Overview of the Frame Problem. The Robot’s Dilemma. Zenon Pylyshyn (Ed.) Ablex, Norwood, NJ, (1987).

    Google Scholar 

  18. Patrick J. Hayes. Naive Physics I: Ontology for Liquids. in: Formal Theories of the Common-Sense World. J.R. Hobbs and R.C. Moore (eds.) Ablex, Norwood, NJ, (1985) 1–36.

    Google Scholar 

  19. Patrick J. Hayes. What the Frame Problem Is and Isn’t. The Robot’s Dilemma. Zenon Pylyshyn (Ed.) Ablex, Norwood, NJ, (1987).

    Google Scholar 

  20. Kenneth R. Koedinger and John R. Anderson. Abstract Planning and Perceptual Chunks: Elements of Expertise in Geometry. Cognitive Science 14 (1990) 511–550.

    Article  Google Scholar 

  21. Jill H. Larkin and Herbert A. Simon. Why a Diagram is (Sometimes) Worth Ten Thousand Words. Cognitive Science 11 (1987) 65–99.

    Article  Google Scholar 

  22. Michael C. Lewis. Visualization and Situations. Situation Theory and its Applications, Vol.2. Jon Barwise et.al. (Eds.) CSLI Lecture Notes No. 26, CSLI, Stanford, CA. (1991) 553–580.

    Google Scholar 

  23. John McCarthy. Circumscription–A Form of Non-Monotonic Reasoning. Artificial Intelligence. 13 (1980) 27–39.

    Article  Google Scholar 

  24. Drew McDermott. A Temporal Logic for Reasoning About Processes and Plans. Cognitive Science 6 (1982) 101–155.

    Article  Google Scholar 

  25. Karen Myers and Kurt Konolige. Reasoning with Analogical Representations. Proceedings of the Third International Conference on Knowledge Representation. Bernhard Nebel et. al. (Eds.) Morgan Kaufman, Los Altos, CA. (1992).

    Google Scholar 

  26. Allen Newell and H. A. Simon. GPS, A Program that Simulates Human Thought. in: Computers and Though Edward E. Feigenbaum and Julian Feldman (Eds.) McGraw-Hill, NY, NY. (1963).

    Google Scholar 

  27. Nils J. Nilsson. Principles of Artificial Intelligence. Tioga, Palo Alto, CA. (1980).

    Google Scholar 

  28. Charles S. Peirce. The Collected Papers of Charles S. Peirce, volume 4. Ed. Charles Hartshorne and Paul Weiss. Cambridge: Harvard University Press, 1933.

    Google Scholar 

  29. Yoav Shoham. Reasoning About Change. MIT Press, Cambridge, MA (1988).

    Google Scholar 

  30. Herbert A. Simon and William G. Chase. Skill in Chess. American Scientist 61 (1973) 394–403.

    Google Scholar 

  31. Aaron Sloman. Interactions Between Philosophy and Artificial Intelligence: The Role of Intuition and Non-Logical Reasoning in Intelligence. Artificial Intelligence 2 (1971) 209–225.

    Article  Google Scholar 

  32. Raymond M. Smullyan. First-order logic. Springer-Verlag, Berlin, FRG, (1968).

    Google Scholar 

  33. Jeffrey Van Baalen. Automated Design of Specialized Representations. Artificial Intelligence 54 (1992) 121–198.

    Article  Google Scholar 

  34. David E. Wilkins. Domain-independent Planning: Representations and Plan Generation. Artificial Intelligence 22 (1984) 269–301.

    Article  Google Scholar 

  35. Michael Wollowski. Planning With Diagrams. Manuscript, Indiana University. (1993)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Indiana University, Bloomington, USA

    Michael Wollowski & Eric Hammer

Authors
  1. Michael Wollowski
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Eric Hammer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Xerox Research Centre Europe, Meylan, France

    Remo Pareschi

  2. Technische Universität München, Germany

    Bertram Fronhöfer

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Wollowski, M., Hammer, E. (1999). Heterogeneous Systems for Modeling Dynamic Worlds. In: Pareschi, R., Fronhöfer, B. (eds) Dynamic Worlds. Applied Logic Series, vol 12. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-1317-7_2

Download citation

  • DOI: https://doi.org/10.1007/978-94-017-1317-7_2

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-90-481-5159-2

  • Online ISBN: 978-94-017-1317-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation