Skip to main content
SpringerLink
Log in

Seeing is Believing and So are Hearing and Jumping

  • Chapter
Agent-Based Defeasible Control in Dynamic Environments

Part of the book series: Handbook of Defeasible Reasoning and Uncertainty Management Systems ((HAND,volume 7))

Abstract

The formalisation of rational agents is a topic of continuing interest in Artificial Intelligence. Research on this subject has held the limelight ever since the pioneering work of Moore [1980; 1984] in which knowledge and actions are considered. Over the years important contributions have been made on both informational aspects like knowledge and belief [Halpern and Moses, 1992; Meyer and van der Hoek, 1995], and motivational 1 aspects like commitments and obligations [Cohen, 1990]. Recent developments include the work on agent-oriented programming [Shoham, 1993; Thomas, 1993], the Belief-Desire-Intention architecture [Rao and Georgeff, 1991; Rao and Georgeff, 1991a; Rao and Georgeff, 1993], logics for the specification and verification of multi-agent systems [Wooldridge, 1994; Wooldridge and Fisher, 1992], logics for agents with bounded rationality [Huang, 1994; Huang et al., 1992], and cognitive robotics [Lesperance et al., 1994; Levesque, 1994].

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 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.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.

Bibliography

  1. C.E. Alchourrôn, P. Gärdenfors, and D. Makinson. On the logic of theory change: partial meet contraction and revision functions. Journal of Symbolic Logic, 50: 510 – 530, 1985.

    Article  Google Scholar 

  2. Y. Arens, C.Y. Chee, C-N. Hsu, and C.A. Knoblock. Retrieving and integrating data from multiple information sources. International Journal on Intelligent and Cooperative Information Systems,2(2):127–158, 1993.

    Google Scholar 

  3. J. Barwise. The Situation in Logic, volume 17 of CSLI Lecture Notes. CSLI, Stanford, 1989.

    Google Scholar 

  4. C. Castelfranchi. Private communication. 1994.

    Google Scholar 

  5. C. Castelfranchi. Guaranties for autonomy in cognitive agent architecture. In M. Wooldridge and N.R. Jennings, editors, Intelligent Agents. Proceedings of the 1994 ECAI Workshop on Agent Theories, Architectures, and Languages, volume 890 of Lecture Notes in Artificial Intelligence, pages 56–70. Springer-Verlag, 1994.

    Google Scholar 

  6. B.F. Chellas. Modal Logic. An Introduction. Cambridge University Press, Cambridge, 1980.

    Google Scholar 

  7. P.R. Cohen and H.J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42: 213 – 261, 1990.

    Article  Google Scholar 

  8. B. Dunin-Keplicz and A. Radzikowska. Epistemic approach to actions with typical effects. In C. Froidevaux and J. Kohlas, editors, Symbolic and Quantitative Approaches to Reasoning and Uncertainty (Proceedings of ECSQARU’95), volume 946 of Lecture Notes in Computer Science (subseries LNAI), pages 180–188. Springer-Verlag, 1995.

    Google Scholar 

  9. B. Dunin-Keplicz and J. Treur. Compositional formal specification of multi-agent systems. In M. Wooldridge and N.R. Jennings, editors, Intelligent Agents. Proceedings of the 1994 ECAI Workshop on Agent Theories, Architectures, and Languages, volume 890 of Lecture Notes in Artificial Intelligence, pages 102–117. Springer-Verlag, 1994.

    Google Scholar 

  10. D. Elgesem. Action Theory and Modal Logic. PhD thesis, Institute for Philosophy, University of Oslo, Oslo, Norway, 1993.

    Google Scholar 

  11. P. Gärdenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. The MIT Press, Cambridge, Massachusetts and London, England, 1988.

    Google Scholar 

  12. P. Gärdenfors, editor. Belief Revision. Cambridge University Press, 1992.

    Google Scholar 

  13. R. Goldblatt. Logics of Time and Computation, volume 7 of CSLI Lecture Notes. CSLI, Stanford, 1992. Second edition.

    Google Scholar 

  14. J.Y. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artifical Intelligence, 54: 319 – 379, 1992.

    Google Scholar 

  15. D. Harel. Dynamic logic. In D.M. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 2, chapter 10, pages 497 – 604. D. Reidel, Dordrecht, 1984.

    Google Scholar 

  16. J. Hintikka. Knowledge and Belief. Cornell University Press, Ithaca, NY, 1962.

    Google Scholar 

  17. W. van der Hoek. Systems for knowledge and beliefs. Journal of Logic and Computation, 3 (2): 173 – 195, 1993.

    Article  Google Scholar 

  18. van der Hoek et al.,1998] W. van der Hoek, B. van Linder, and J.-J. Ch. Meyer. An integrated modal approach to rational agents. In M. Wooldridge and A. Rao, editors, Foundations of Rational Agency,volume 14 of Applied Logic series, pp. 133–168. Kluwer, Dordrecht, 1998.

    Google Scholar 

  19. W. van der Hoek, B. van Linder, and J.-J. Ch. Meyer. On agents that have the ability to choose. Studia Logica, 65: 79 – 119, 2000.

    Article  Google Scholar 

  20. Z. Huang. Logics for belief dependence. In E. Börger, H. Kleine Büning, M.M. Richter, and W. Schönfeld, editors, Computer Science Logic, 4th Workshop CSL’90, volume 533 of Lecture Notes in Computer Science, pages 274–288. Springer-Verlag, 1991.

    Google Scholar 

  21. Z. Huang. Logics for Agents with Bounded Rationality. PhD thesis, Universiteit van Amsterdam, 1994.

    Google Scholar 

  22. Z. Huang, M. Masuch, and L. Polos. ALX, an action logic for agents with bounded rationality. Technical Report 92–70, Center for Computer Science in Organization and Management, University of Amsterdam, October 1992. To appear in Artificial Intelligence.

    Google Scholar 

  23. S. Kraus and D. Lehmann. Knowledge, belief and time. Theoretical Computer Science, 58: 155 – 174, 1988.

    Article  Google Scholar 

  24. Y. Lesperance, H. Levesque, F. Lin, D. Marcu, R. Reiter, and R. Scherl. A logical approach to high-level robot programming - a progress report. To appear in Control of the Physical World by Intelligent Systems, Working Notes of the 1994 AAAI Fall Symposium, New Orleans, LA., 1994.

    Google Scholar 

  25. H. Levesque. Knowledge, action and ability in the situation calculus. Overheads from invited talk at TARK 1994.

    Google Scholar 

  26. A.Y. Levy, Y. Sagiv, and D. Srivastava. Towards efficient information gathering agents. In Working Notes of the AAAI Spring Symposium on Software Agents, pages 64 – 70, Stanford, California, 1994.

    Google Scholar 

  27. B. van Linder, W. van der Hoek, and J.-J. Ch. Meyer. Communicating rational agents. In B. Nebel and L. Dreschler-Fischer, editors, KI-9¢: Advances in Artificial Intelligence, volume 861 of Lecture Notes in Computer Science (subseries LNAI), pages 202–213. Springer-Verlag, 1994.

    Google Scholar 

  28. B. van Linder, W. van der Hoek, and J.-J. Ch. Meyer. Tests as epistemic updates. In A.G. Cohn, editor, Proceedings of the 11th European Conference on Artificial Intelligence (ECAI’9.), pages 331–335. John Wiley & Sons, 1994.

    Google Scholar 

  29. B. van Linder, W. van der Hoek, and J.-J. Ch. Meyer. Actions that make you change your mind. In A. Laux and H. Wansing, editors, Knowledge and Belief in Philosophy and Artificial Intelligence, pages 103–146. Akademie Verlag, 1995.

    Google Scholar 

  30. B. van Linder, W. van der Hoek, and J.-J. Ch. Meyer. The dynamics of default reasoning. In DRUMS Handbook,Volume 6, pp. 127–160. Kluwer, Dordrecht, 2001.

    Google Scholar 

  31. J.-J. Ch. Meyer and W. van der Hoek. A modal logic for nonmonotonic reasoning. In W. van der Hoek, J.-J. Ch. Meyer, Y.H. Tan, and C. Witteveen, editors, Non-Monotonic Reasoning and Partial Semantics, pages 37–77. Ellis Horwood, Chichester, 1992.

    Google Scholar 

  32. J.-J. Ch. Meyer and W. van der Hoek. Epistemic Logic for AI and Computer Science. Cambridge University Press, 1995.

    Google Scholar 

  33. J.-J. Ch. Meyer, W. van der Hoek and B. van Linder. A logical approach to the dynamics of commitments. Artificial Intelligence,113:1–40, 1999.

    Google Scholar 

  34. R.C. Moore. Reasoning about knowledge and action. Technical Report 191, SRI International, 1980.

    Google Scholar 

  35. R.C. Moore. A formal theory of knowledge and action. Technical Report 320, SRI International, 1984.

    Google Scholar 

  36. A.S. Rao and M.P. Georgeff. Asymmetry thesis and side-effect problems in linear time and branching time intention logics. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI91), pages 498 – 504, 1991.

    Google Scholar 

  37. A.S. Rao and M.P. Georgeff. Modeling rational agents within a BDI-architecture. In J. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, pages 473 – 484, San Mateo CA, 1991. Mogan Kaufmann.

    Google Scholar 

  38. A.S. Rao and M.P. Georgeff. A model-theoretic approach to the verification of situated reasoning systems. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI’93), pages 318 – 324, 1993.

    Google Scholar 

  39. Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60: 5192, 1993.

    Article  Google Scholar 

  40. Y. Shoham and S.B. Cousins. Logics of mental attitudes in AI. In G. Lakemeyer and B. Nebel, editors, Foundations of Knowledge Representation and Reasoning, volume 810 of Lecture Notes in Computer Science (subseries LNAI), pages 296–309. Springer-Verlag, 1994.

    Google Scholar 

  41. S.R. Thomas. PLACA, An Agent Oriented Programming Language. PhD thesis, Department of Computer Science, Stanford University, Stanford CA, September 1993. Appeared as technical report STAN-CS-93–1487.

    Google Scholar 

  42. M. Wooldridge. The Logical Modelling of Computational Multi-Agent Systems. PhD thesis, Department of Computation, UMIST, Manchester, October 1994. Appeared as technical report MMU-DOC-94–01.

    Google Scholar 

  43. M. Wooldridge and M. Fisher. A first-order branching time logic of multi-agent systems. In B. Neumann, editor, Proceedings of the 10th European Conference on Artificial Intelligence (ECAI’92), pages 234–238. John Wiley & Sons, 1992.

    Google Scholar 

  44. G.H. von Wright. Norm and Action. Routledge & Kegan Paul, London, 1963.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. The Netherlands and Liverpool University, Utrecht University, UK

    Wiebe van der Hoek

  2. Utrecht University, The Netherlands

    John-Jules Ch. Meyer

  3. ABN-AMRO, Amsterdam, The Netherlands

    Bernd van Linder

Authors
  1. Wiebe van der Hoek
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. John-Jules Ch. Meyer
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Bernd van Linder
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Utrecht University, The Netherlands

    John-Jules Ch. Meyer

  2. Free University, Amsterdam, The Netherlands

    Jan Treur

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

van der Hoek, W., Meyer, JJ.C., van Linder, B. (2002). Seeing is Believing and So are Hearing and Jumping. In: Meyer, JJ.C., Treur, J. (eds) Agent-Based Defeasible Control in Dynamic Environments. Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol 7. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-1741-0_11

Download citation

  • DOI: https://doi.org/10.1007/978-94-017-1741-0_11

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-90-481-6109-6

  • Online ISBN: 978-94-017-1741-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation