Skip to main content
SpringerLink
Log in

Semantics for Agents

  • Chapter
Multiagent Engineering

Part of the book series: International Handbooks on Information Systems ((INFOSYS))

  • 577 Accesses

Abstract

In the previous chapters design issues have been discussed with respect to architecture and interaction. These chapters are focused on techniques and methodologies. However, an explicit semantics of agent architectural and interaction behavior is required for the analysis and implementation of complex real-world systems. Additionally, the adaptation of a multiagent system to real-world domains requires the formal specification of knowledge. In this chapter, we introduce semantics from a general perspective with special focus on agent technology, e.g., semantics for communication. Finally, we introduce formal semantics for representation of intelligent agents and multiagent systems.

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

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. Antoniou, G.; van Harmelen, F.: A Semantic Web Primer. The MIT Press, Cambridge, MA, 2004.

    Google Scholar 

  2. Baader, F.; Horrocks, I.; Sattler, U.: Description Logics as Ontology Languages for the Semantic Web. In: Hutter, D.; Stephan, W. (Eds.): Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of his 60th Birthday. Lecture Notes in Artificial Intelligence, vol. 2605. Springer-Verlag, Berlin, 2005, pp. 228–248.

    Google Scholar 

  3. Baader, F.; Calvanese, D.; McGuiness, D.; Nardi, D.; Patel-Schneider, P. (Eds.): The Description Logic Handbook. Theory, Implementations and Applications. Cambridge University Press, Cambridge, 2003.

    Google Scholar 

  4. Bechhofer, S.; van Harmelen, F.; Hendler, J.; Horrocks, I.; Mc-Guinness, D. L.; Patel-Schneider, P.F. Lynn Andrea Stein [...]: OWL Web Ontology Language Reference. W3C Recommendation, 2004-02-10. http://www.w3.org/TR/2004/REC-owl-ref-20040210/.

    Google Scholar 

  5. Bockting, S.: A Semantic Translation Service using Ontologies. 2005.

    Google Scholar 

  6. Bratman, M. E.: Intentions, Plans and Practical Reasoning. Harvard University Press, Cambridge, Massachusetts, 1987.

    Google Scholar 

  7. Brewka, G.; Dix, J.; Konolige, K.: Nonmonotonic Reasoning. An Overview. In: CSLI Lecture Notes, vol. 73. CSLI Publications, Stanford, CA, 1997.

    Google Scholar 

  8. Castelfranchi, C.; Johnson, W. L. (Eds.): Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS 2002) — Part 1. Bologna, Italy, July 15–19, 2002.

    Google Scholar 

  9. Chalupsky, H: OntoMorph: A Translation System for Symbolic Knowledge. In: Principles of Knowledge Representation and Reasoning. 2000, pp. 471–482

    Google Scholar 

  10. Chopera, S.; Ghose, A.; Meyer, T.: Iterated Revision and the Axiom of Recovery: A Unified Treatment via Epistemic States. In: Harmelen, F. van (Ed.): Proceedings of the 15th European Conference on Artificial Intelligence (ECAI2002). Lyon, France, July 2002. IOS Press, Amsterdam, the Netherlands, 2002, pp. 541–545.

    Google Scholar 

  11. Cohen, P. R.; Perrault, C. R.: Elements of a plan based theory of speech acts. In: Cognitive Science 3(1979), pp. 177–212.

    Article  Google Scholar 

  12. Dunne, P. E.; Laurence, M.; Wooldridge, M.: Complexity Results for Agent Design Problems. In: Annals of Mathematics, Computing & Teleinformatics 1(2003)1, pp. 19–36.

    Google Scholar 

  13. FIPA 97 Part 2 Version 2.0: Agent Communication Language. Document Nr. OC00003A, 2001. http://www.fipa.org/specs/fipa00003/.

    Google Scholar 

  14. Fisher, M.; Ghidini, C.: The ABC of Rational Agent Modelling. In: Castelfranchi, C.; Johnson, W. L. (Eds.): Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS 2002) — Part 1. Bologna, Italy, July 15–19, 2002, pp. 849–856.

    Google Scholar 

  15. Gangemi, A. et al: Sweetening Ontologies with DOLCE. In: Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web. 13th International Conference, EKAW 2002, Siguenza, Spain, October 1–4, 2002. Springer-Verlag, Berlin, 2002, pp. 166–181.

    Google Scholar 

  16. Genesereth, M. R.; Nilsson, N.: Logical Foundations of Artificial Intelligence. Morgan Kaufmann Publishers, San Mateo, CA, 1987.

    MATH  Google Scholar 

  17. Guarino, N.; Welty, C.: An Overview of OntoClean. In: Staab, S.; Studer, R. (Eds.): Handbook on Ontologies. Springer-Verlag, Berlin, 2004, pp. 151–159.

    Google Scholar 

  18. Haarslev, V.; Möller, R: RACER system description. In: Proceedings of the International Joint Conference on Automated Reasoning, IJCAR′2001, Siena, Italy, Lecture Notes in Computer Science, June 18–23, 2001. Springer-Verlag, Berlin, 2001.

    Google Scholar 

  19. Harmelen, F. van (Ed.): Proceedings of the 15th European Conference on Artificial Intelligence (ECAI2002). Lyon, France, July 2002. IOS Press, Amsterdam, the Netherlands, 2002.

    Google Scholar 

  20. Horrocks, I.; Sattler, U.: A Tableaux Decision Procedure for SHOIQ. In: Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence IJCAI-05, Edinburgh, UK. Morgan Kaufmann, San Francisco, 2005, pp. 448–453.

    Google Scholar 

  21. d’Inverno, M.; Luck, M.; Georgeff, M.; Kinny, D.; Wooldridge, M.: The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System. Autonomous Agents and Multi-Agent Systems 9(2004)1–2, pp. 5–53.

    Article  Google Scholar 

  22. Kirn, S.: Kooperierende intelligente Softwareagenten. In: Wirtschaftsinformatik 44(2002)1, pp. 53–63.

    Google Scholar 

  23. Levesque, H. J.; Pirri, F.: Logical Foundations for Cognitive Agents. Springer, Berlin, 1999.

    MATH  Google Scholar 

  24. Lorenzen, P.; Lorenz, K.: Dialogische Logik. Wissenschaftliche Buchgesellschaft, Wiesbaden, 1978.

    MATH  Google Scholar 

  25. Mateescu, R.; Dechter, R.; Kask, K.: Tree Approximation for Belief Updating. In: Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence (AAAI/IAAI), Edmonton, Alberta, Canada, July 28–August 1, 2002. AAAI Press, Menlo Park, CA, 2002, pp. 553–559.

    Google Scholar 

  26. Meyer, J.-J. C.; Hoek, W. van d.; Vreeswijk, G. A. W.: Epistemic Logic for Computer Science: A Tutorial (Part One). In: Bulletin of the European Association for Theoretical Computer Science 44(1991), pp. 242–270.

    MATH  Google Scholar 

  27. Nide, N.; Takata, S.: Deduction Systems for BDI Logics Using Sequent Calculus. In: Castelfranchi, C.; Johnson, W. L. (Eds.): Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS 2002) — Part 1. Bologna, Italy, July 15–19, 2002, pp. 928–935.

    Google Scholar 

  28. Noy, N F.; Musen, M. A.: Anchor-PROMPT: Using Non-Local Context for Semantic Matching. 2000.

    Google Scholar 

  29. Oehrstroem, P.; Hasle, P.: Temporal Logic. From ancient Ideas to Artificial Intelligence. Kluwer Academic Publishers, Dordrecht, 1995.

    MATH  Google Scholar 

  30. Rao, A. S.; Georgeff, M. P.: Modelling Rational Agents in a BDI-Achitecture. In: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR & R-91). Morgan Kaufmann Publishers, San Mateo, CA, 1991, pp. 473–484.

    Google Scholar 

  31. Rao, A. S.; Georgeff, M. P.: BDI-Agents: From Theory to Practice. In: Proceedings of the First International Conference on Multiagent Systems. AAAI Press, San Francisco, CA, 1995, pp. 312–319.

    Google Scholar 

  32. Rao, A.; Georgeff, M.: Decision procedures for BDI logics. In: Journal of Logic and Computation 8(1998)3, pp. 293–342.

    Article  MATH  MathSciNet  Google Scholar 

  33. Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press, Cambridge, MA, 2001.

    MATH  Google Scholar 

  34. Shoham, Y.; Tennenholtz, M.: On Social Laws for Artificial Agent Societies: Off-Line Design. In: Artificial Intelligence 73(1995)1–2, pp. 231–252.

    Article  Google Scholar 

  35. Singh, M. P.; Rao, A. S.; Georgeff, M. P.: Formal Methods in DAI: Logic-Based Representation and Reasoning. In: Weiss, G. (Ed.): Multiagent Systems — A Modern Approach to Distributed Artificial Intelligence. MIT Press, Cambridge, Massachusetts, 1999.

    Google Scholar 

  36. Stuckenschmidt, H.; Timm, I. J.: Adapting Communication Vocabularies Using Shared Ontologies. In: Cranefield, S. (Ed.): Proceedings of the Second International Workshop on Ontologies in Agent Systems. Workshop at 1st International Conference on Autonomous Agents and Multi-Agent Systems. Bologna, Italy, July 15–19, 2002, pp. 6–12.

    Google Scholar 

  37. Sycara, K.; Paolucci, M.: Ontologies in Agent Architectures. In: Staab, S.; Studer, R. (Eds.): Handbook on Ontologies. Springer-Verlag, Berlin, 2004, pp. 343–363.

    Google Scholar 

  38. Timm, I. J.: Enterprise Agents Solving Problems: The cobac-Approach. In: Bauknecht, K.; Brauer, W.; Mueck, Th. (Eds.): Informatik 2001-Tagungsband der GI/OCG Jahrestagung, September 25–28, 2001. Universität Wien, 2001, pp. 952–958.

    Google Scholar 

  39. Timm, I. J.: Dynamisches Konfliktmanagement als Verhaltenssteuerung Intelligenter Agenten. DISKI 283, infix, Köln, 2004.

    MATH  Google Scholar 

  40. van der Hoek, W.; Wooldridge, M.: Towards a Logic of Rational Agency. In: International Logic Journal of the IGPL 11(2003)2, pp. 133–157.

    Article  Google Scholar 

  41. Weiss, G. (Ed.): Multiagent Systems — A Modern Approach to Distributed Artificial Intelligence. MIT Press, Cambridge, Massachusetts, 1999.

    Google Scholar 

  42. Wooldridge, M. J.: Reasoning about Rational Agents. The MIT Press, Cambridge, Massachusetts, 2000.

    MATH  Google Scholar 

  43. Wooldridge, M.: Computationally Grounded Theories of Agency. In: Durfee, E. (Ed.): Proceedings of the Fourth International Conference on Multi-Agent Systems (ICMAS 2000). IEEE Press, July 2000.

    Google Scholar 

  44. Wooldridge, M.; Jennings, N. R.: Intelligent Agents: Theory and Practice. In: The Knowledge Engineering Review 10(1995)2, pp. 115–152.

    Article  Google Scholar 

  45. Wooldridge, M.; Lomuscio, A.: A Logic of Visibility, Perception, and Knowledge: Completeness and Correspondence Results. In: Proceedings of the Third International Conference on Pure and Applied Practical Reasoning (FAPR-2000). London, UK, September 2000.

    Google Scholar 

  46. Wooldridge, M.; Lomuscio, A.: Multi-Agent VSK Logic. In: Proceedings of the Seventh European Workshop on Logics in Artificial Intelligence (JELIAI-2000). Springer-Verlag, Berlin, 2000.

    Google Scholar 

  47. Wooldridge, M.; Lomuscio, A.: Reasoning about Visibility, Perception, and Knowledge. In: Jennings, N. R.; Lesperance, Y. (Eds.): Intelligent Agents. VI Springer-Verlag Lecture Notes in AI Volume, March 2000.

    Google Scholar 

  48. Wooldridge, M.; Lomuscio, A: A Computationally Grounded Logic of Visibility, Perception, and Knowledge. In: Logic Journal of the IGPL 9(2001)2, pp. 273–288.

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Technologie-Zentrum Informatik, Universität Bremen, Bremen

    Thorsten Scholz, Ingo J. Timm & Otthein Herzog

  2. Lehrstuhl für Informatik 8 (Künstliche Intelligenz), Universität Erlangen-Nürnberg, Germany

    Günter Görz & Bernhard Schiemann

Authors
  1. Thorsten Scholz
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ingo J. Timm
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Otthein Herzog
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Günter Görz
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Bernhard Schiemann
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Wirtschaftsinformatik II (510 O), Universität Hohenheim, Schwerzstraße 35, 70599, Stuttgart, Germany

    Stefan Kirn

  2. Technologie-Zentrum Informatik, Universität Bremen, Am Fallturm 1, 28359, Bremen, Germany

    Otthein Herzog

  3. Institut für Programmstrukturen und Datenorganisation (IPD), Universität Karlsruhe (TH), Am Fasanengarten 5, 76131, Karlsruhe, Germany

    Peter Lockemann

  4. Lehrstuhl für Informatik 4, RWTH Aachen, Ahornstraße 55, 52074, Aachen, Germany

    Otto Spaniol

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer Berlin · Heidelberg

About this chapter

Cite this chapter

Scholz, T., Timm, I.J., Herzog, O., Görz, G., Schiemann, B. (2006). Semantics for Agents. In: Kirn, S., Herzog, O., Lockemann, P., Spaniol, O. (eds) Multiagent Engineering. International Handbooks on Information Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-32062-8_22

Download citation

  • DOI: https://doi.org/10.1007/3-540-32062-8_22

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-32062-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation