Logical Foundations of Agent-Based Computing | SpringerLink
Skip to main content
Springer Nature Link
Log in

Logical Foundations of Agent-Based Computing

  • Chapter
  • First Online:
Multi-Agent Systems and Applications (ACAI 2001)

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

Included in the following conference series:

Abstract

Logics for agents are useful when specifying, implementing and verifying agent programs.W e show that modal logic provides a nice tool to define informational, motivational and dynamic aspects of agents. We conclude by showing how an agent programming language can also benefit from this modal approach.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

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

    Article  MathSciNet  MATH  Google Scholar 

  2. M. Bratman, Intentions, Plans and Practical Reason. Harvard University Press, Cambridge, MA, 1987.

    Google Scholar 

  3. P. Cohen and H. Levesque, Intention is Choice with Commitment, in Artificial Intelligence, 42 pp.213–261 (1990).

    Article  MathSciNet  MATH  Google Scholar 

  4. D.C. Dennet, The Intentional Stance, MIT Press, 1987.

    Google Scholar 

  5. R. Fagin, J.Y. Halpern, Y. Moses and M.Y. Vardi, Reasoning About Knowledge, MIT Press, 1995.

    Google Scholar 

  6. G. De Giacomo, Y Lespérance and H. Levesque, ConGolog, a Concurrent Programming Language Based on the Situation Calculus, in Artificial Intelligence, accepted for publication.

    Google Scholar 

  7. K.V. Hindriks, F.S. de Boer, W. van der Hoek and J.-J.Ch. Meyer, Agent Programming with Declarative Goals To appear in the proceedings of ATAL’2000.

    Google Scholar 

  8. K. Hindriks, F. de Boer, W. van der Hoek and J.-J.Ch. Meyer, Agent Programming in 3APL, in Autonomous Agents and Multi-Agent Systems, 2:4, pp.357–401 1999.

    Article  Google Scholar 

  9. C.A.R. Hoare, Communicating Sequential Processes Prentice Hall, 1985.

    Google Scholar 

  10. W. van der Hoek, B. van Linder and J.-J.Ch. Meyer, ‘An integrated Modal Approach to Rational Agents’, in M. W ooldridge and A. Rao (eds.) Foundations of Rational Agency Kluwer, Dordrecht, 1999, pp.37–75.

    Google Scholar 

  11. D.R. Hofstadter, “Metamagical Themas: A co.eehouse conversation on the Turing test to determine if a machine can think”, in Scientific American, (1981), pp.15–36.

    Google Scholar 

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

    Google Scholar 

  13. A.S. Rao, AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language, in W. van der Velde and J.W. Perram (eds), Agents Breaking Away, 1996.

    Google Scholar 

  14. A.S. Rao and M.P. George.. Modeling rational agents within a BDI-architecture. In J. Allen, R. Fikes, and E. Sandewall (eds) Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR’91), pp.473–484. Morgan Kaufmann, 1991.

    Google Scholar 

  15. Y. Shoham, Agent-oriented programming, in Artificial Intelligence, 60, pp.51–92, 1993.

    Article  MathSciNet  Google Scholar 

  16. M. Wooldridge, Reasoning about Rational Agents, MITP, 2000.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Information and Computing Sciences Department of Philosophy, Utrecht University, 80.089 3508, TB, Utrecht, The Netherlands

    Wiebe van der Hoek

  2. Department of Computer Science, The University of Liverpool, UK

    Wiebe van der Hoek

Authors
  1. Wiebe van der Hoek
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Electronics and Computer Science Highfield, University of Southampton, Southampton, SO17 1BJ, UK

    Michael Luck

  2. Facultiy of Electr. Engineering, Dept. of Cybernetics Technicka 2, Czech Technical University, 166 27, Prague 6, Czech Republic

    Vladimír Mařík  & Olga Štěpánková  & 

  3. Dept.of Med. Cybernetics and Artificial Intelligence, University of Vienna, Freyung 6, 1010, Vienna, Austria

    Robert Trappl

  4. Austrian Research Institute for Artificial Intelligence, Schottengasse 3, 1010, Vienna, Austria

    Robert Trappl

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

van der Hoek, W. (2001). Logical Foundations of Agent-Based Computing. In: Luck, M., Mařík, V., Štěpánková, O., Trappl, R. (eds) Multi-Agent Systems and Applications. ACAI 2001. Lecture Notes in Computer Science(), vol 2086. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-47745-4_3

Download citation

  • DOI: https://doi.org/10.1007/3-540-47745-4_3

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42312-6

  • Online ISBN: 978-3-540-47745-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation