Abstract
We present an approach to reasoning about conversations within the framework of a logic-based agent language. Our agent theory is based on a modal logic of actions and beliefs and permits the representation of communicative acts and conversation protocols, allowing agents to reason about them before their execution. The work is framed in a world wide web context, in which we show how reasoning about the interaction with web service providers can be exploited for personalizing the service fruition.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Baldoni, M., Baroglio, C., Martelli, A., Patti, V.: Reasoning about self and others: communicating agents in a modal action logic. In: Blundo, C., Laneve, C. (eds.) ICTCS 2003. LNCS, vol. 2841, pp. 228–241. Springer, Heidelberg (2003) (to appear)
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)
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)
Chinnici, R., Gudgin, M., Moreau, J.J., Weerawarana, S.: Web Services Description Language (WSDL) version 1.2 (2003); Working Draft
Ankolekar, A., Burstein, M., Hobbs, J.R., Lassila, O., Martin, D., McDermott, D., McIlraith, S.A., Narayanan, S., Paolucci, M., Payne, T.R., Sycara, K.: The DAML-S coalition. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, p. 348. Springer, Heidelberg (2002)
Denecker, M., De Schreye, D.: Representing Incomplete Knowledge in Abduction Logic Programming. In: Proc. of ILPS 1993, Vancouver. The MIT Press, Cambridge (1993)
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)
FIPA. Fipa 2000, fipa Query Interaction Protocol Specification. Technical report, FIPA (Foundation for Intelligent Physical Agents) (November 2000)
Giordano, L., Martelli, A., Schwind, C.: Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic. In: Cappelli, A., Turini, F. (eds.) AI*IA 2003. LNCS (LNAI), vol. 2829. Springer, Heidelberg (2003)
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)
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)
Odell, J.H., Van Parunak, H.D., Bauer, B.: Representing agent interaction protocols in UML. In: Agent-Oriented Software Engineering, pp. 121–140. Springer, Heidelberg (2001), http://www.fipa.org/docs/input/f-in-00077/
Patti, V.: Programming Rational Agents: a Modal Approach in a Logic Programming Setting. PhD thesis, Dipartimento di Informatica, Università degli Studi di Torino, Italy (2002), available at http://www.di.unito.it/~patti/
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 (2001)
Shapiro, S., Lespéance, 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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Baldoni, M., Baroglio, C., Martelli, A., Patti, V. (2003). Reasoning about Conversation Protocols in a Logic-Based Agent Language. In: Cappelli, A., Turini, F. (eds) AI*IA 2003: Advances in Artificial Intelligence. AI*IA 2003. Lecture Notes in Computer Science(), vol 2829. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39853-0_25
Download citation
DOI: https://doi.org/10.1007/978-3-540-39853-0_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20119-9
Online ISBN: 978-3-540-39853-0
eBook Packages: Springer Book Archive