Reasoning about Self and Others: Communicating Agents in a Modal Action Logic

  • Matteo Baldoni
  • Cristina Baroglio
  • Alberto Martelli
  • Viviana Patti
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2841)


We propose an approach to reasoning about conversation protocols within the framework of a logic-based agent language. We show how to embed a theory of communicative actions in the framework of a modal logic of action and beliefs, to specify software agents that, situated in a multi-agent environment, can interact with one another by a speech act based communication mechanism. Agents have their own local beliefs on the world and on the other agents mental state. Complex communicative behaviors can be specified as conversation protocols, and agents can reason on the belief dynamics caused by communications, before committing to a given interaction.


Modal Logic Belief State Atomic Action Domain Description Primitive Action 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Allen, J.F.: Recognizing intentions from natural language utterances. In: Brady, M., Åqvist, R.C. (eds.) Computational models of discourse, MIT Press, Cambridge (1983)Google Scholar
  2. 2.
    Austin, J.A.: How to do things with words. Harvard University Press, Cambridge (1962)Google Scholar
  3. 3.
    Baldoni, M., Baroglio, C., Martelli, A., Patti, V.: Reasoning about interaction for personalizing web service fruition. In: Proc. of WOA 2003: dagli Oggetti agli Agenti, Cagliari, Italy, september (2003) (to appear)Google Scholar
  4. 4.
    Baldoni, M., Baroglio, C., Patti, V., Torasso, L.: Using a rational agent in an adaptive web-based tutoring system. In: Proc. of the Workshop on Adaptive Systems for Web-Based Education, AH 2002, Malaga, Spain (2002)Google Scholar
  5. 5.
    Baldoni, M., Giordano, L., Martelli, A., Patti, V.: Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach. In: Restivo, A., Ronchi Della Rocca, S., Roversi, L. (eds.) ICTCS 2001. LNCS, vol. 2202, pp. 405–425. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  6. 6.
    Bretier, P., Sadek, D.: A rational agent as the kernel of a cooperative spoken dialogue system: implementing a logical theory of interaction. In: Jennings, N.R., Wooldridge, M.J., Müller, J.P. (eds.) ECAI-WS 1996 and ATAL 1996. LNCS (LNAI), vol. 1193, Springer, Heidelberg (1997)CrossRefGoogle Scholar
  7. 7.
    Bryson, J., Martin, D., McIlraith, S., Stein, L.A.: Agent-based composite services in DAML-S: The behavior-oriented design of an intelligent semantic web (2002)Google Scholar
  8. 8.
    Chinnici, R., Gudgin, M., Moreau, J.J., Weerawarana, S.: Web Services Prescription Language (WSDL) version 1.2 (2003) (working draft)Google Scholar
  9. 9.
    The DAML-S coalition. DAML-S: Web service description for the semantic web. In: the 1st Int. Semantic Web Conference (ISWC), Sardinia, Italy (2002)Google Scholar
  10. 10.
    Cohen, P.R., Levesque, H.: Rational interaction as the basis for communication. In: Cohen, P.R., Pollack, M.E., Morgan, J. (eds.) Intentions in Communication, pp. 221–256 (1990)Google Scholar
  11. 11.
    Cohen, P.R., Perrault, C.R.: Elements of a plan-based theory of speech acts. Cognitive Science 3(3), 177–212 (1979)CrossRefGoogle Scholar
  12. 12.
    Dastani, M., van der Ham, J., Dignum, F.: Communication for goal directed agents. In: Proc. of Workshop on Agent Communication Languages and Conversation Policies, AAMAS 2002, Bologna, Italy (2002)Google Scholar
  13. 13.
    Dignum, F., Greaves, M.: Issues in agent communication. In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS, vol. 1916, pp. 1–16. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  14. 14.
    Eshghi, K., Kowalski, R.: Abduction compared with Negation by Failure. In: Proc. of ICLP 1989, Lisbon, The MIT Press, Cambridge (1989)Google Scholar
  15. 15.
    Finin, T., Labrou, Y., Mayfield, J.: KQML as an Agent Communication Language. In: Bradshaw, J. (ed.) Software Agents, MIT Press, Cambridge (1995)Google Scholar
  16. 16.
    FIPA. FIPA 2000. Technical report, FIPA (Foundation for Intelligent Physical Agents) (November 2000)Google Scholar
  17. 17.
    FIPA. FIPA 2002. Technical report, FIPA (Foundation for Intelligent Physical Agents) (2002)Google Scholar
  18. 18.
    Herzig, A., Longin, D.: Beliefs dynamics in cooperative dialogues. In: Proc. of AMSTELOGUE 1999 (1999)Google Scholar
  19. 19.
    Levesque, H.J., Reiter, R., Lespérance, Y., Lin, F., Scherl, R.B.: GOLOG: A Logic Programming Language for Dynamic Domains. J. of Logic Programming 31, 59–83 (1997)zbMATHCrossRefGoogle Scholar
  20. 20.
    Mamdani, A., Pitt, J.: Communication protocols in multi-agent systems: A development method and reference architecture. In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS, vol. 1916, pp. 160–177. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  21. 21.
    Odell, J.H., Van Dyke Parunak, H., Bauer, B.: Representing agent interaction protocols in UML. In: Agent-Oriented Software Engineering, pp. 121–140. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  22. 22.
    Sadri, F., Toni, F., Torroni, P.: Dialogues for Negotiation: Agent Varieties and Dialogue Sequences. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, p. 405. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  23. 23.
    Searle, J.R.: Speech Acts. Cambridge University Press, New York (1969)Google Scholar
  24. 24.
    Shapiro, S., Lespérance, Y., Levesque, H.J.: Specifying communicative multiagent systems. In: Wobcke, W., Pagnucco, M., Zhang, C. (eds.) Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications. LNCS (LNAI), vol. 1441, pp. 1–14. Springer, Heidelberg (1998)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Matteo Baldoni
    • 1
  • Cristina Baroglio
    • 1
  • Alberto Martelli
    • 1
  • Viviana Patti
    • 1
  1. 1.Dipartimento di InformaticaUniversità degli Studi di TorinoTorinoItaly

Personalised recommendations