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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Antoniou, G.; van Harmelen, F.: A Semantic Web Primer. The MIT Press, Cambridge, MA, 2004.
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.
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.
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/.
Bockting, S.: A Semantic Translation Service using Ontologies. 2005.
Bratman, M. E.: Intentions, Plans and Practical Reasoning. Harvard University Press, Cambridge, Massachusetts, 1987.
Brewka, G.; Dix, J.; Konolige, K.: Nonmonotonic Reasoning. An Overview. In: CSLI Lecture Notes, vol. 73. CSLI Publications, Stanford, CA, 1997.
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.
Chalupsky, H: OntoMorph: A Translation System for Symbolic Knowledge. In: Principles of Knowledge Representation and Reasoning. 2000, pp. 471–482
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.
Cohen, P. R.; Perrault, C. R.: Elements of a plan based theory of speech acts. In: Cognitive Science 3(1979), pp. 177–212.
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.
FIPA 97 Part 2 Version 2.0: Agent Communication Language. Document Nr. OC00003A, 2001. http://www.fipa.org/specs/fipa00003/.
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.
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.
Genesereth, M. R.; Nilsson, N.: Logical Foundations of Artificial Intelligence. Morgan Kaufmann Publishers, San Mateo, CA, 1987.
Guarino, N.; Welty, C.: An Overview of OntoClean. In: Staab, S.; Studer, R. (Eds.): Handbook on Ontologies. Springer-Verlag, Berlin, 2004, pp. 151–159.
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.
Harmelen, F. van (Ed.): Proceedings of the 15th European Conference on Artificial Intelligence (ECAI2002). Lyon, France, July 2002. IOS Press, Amsterdam, the Netherlands, 2002.
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.
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.
Kirn, S.: Kooperierende intelligente Softwareagenten. In: Wirtschaftsinformatik 44(2002)1, pp. 53–63.
Levesque, H. J.; Pirri, F.: Logical Foundations for Cognitive Agents. Springer, Berlin, 1999.
Lorenzen, P.; Lorenz, K.: Dialogische Logik. Wissenschaftliche Buchgesellschaft, Wiesbaden, 1978.
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.
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.
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.
Noy, N F.; Musen, M. A.: Anchor-PROMPT: Using Non-Local Context for Semantic Matching. 2000.
Oehrstroem, P.; Hasle, P.: Temporal Logic. From ancient Ideas to Artificial Intelligence. Kluwer Academic Publishers, Dordrecht, 1995.
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.
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.
Rao, A.; Georgeff, M.: Decision procedures for BDI logics. In: Journal of Logic and Computation 8(1998)3, pp. 293–342.
Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press, Cambridge, MA, 2001.
Shoham, Y.; Tennenholtz, M.: On Social Laws for Artificial Agent Societies: Off-Line Design. In: Artificial Intelligence 73(1995)1–2, pp. 231–252.
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.
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.
Sycara, K.; Paolucci, M.: Ontologies in Agent Architectures. In: Staab, S.; Studer, R. (Eds.): Handbook on Ontologies. Springer-Verlag, Berlin, 2004, pp. 343–363.
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.
Timm, I. J.: Dynamisches Konfliktmanagement als Verhaltenssteuerung Intelligenter Agenten. DISKI 283, infix, Köln, 2004.
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.
Weiss, G. (Ed.): Multiagent Systems — A Modern Approach to Distributed Artificial Intelligence. MIT Press, Cambridge, Massachusetts, 1999.
Wooldridge, M. J.: Reasoning about Rational Agents. The MIT Press, Cambridge, Massachusetts, 2000.
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.
Wooldridge, M.; Jennings, N. R.: Intelligent Agents: Theory and Practice. In: The Knowledge Engineering Review 10(1995)2, pp. 115–152.
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.
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.
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.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)