Reasoning about conversation protocols in a logic-based agent language

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2829, Issue , 2003, Pages 300-311

  Baldoni, Matteo ^a   Baroglio, Cristina ^a   Martelli, Alberto ^a   Patti, Viviana ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; WEB SERVICES; COMPUTER PROGRAMMING LANGUAGES; INTELLIGENT AGENTS; KNOWLEDGE REPRESENTATION; MODAL ANALYSIS; NETWORK PROTOCOLS; WORLD WIDE WEB;

AGENT THEORY; COMMUNICATIVE ACTS; CONVERSATION PROTOCOL; LOGIC-BASED AGENTS; MODAL LOGIC; WEB SERVICE PROVIDERS;

COMPUTER CIRCUITS; FORMAL LOGIC;

AGENT THEORY; CONVERSATION PROTOCOLS; LOGIC-BASED AGENT LANGUAGE; SERVICE FRUITION;

EID: 7444236934     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39853-0_25     Document Type: Conference Paper

References (15)

1. [1] M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Reasoning about self and others: communicating agents in a modal action logic. In R. Gorrieri, C. Blundo, and C. Laneve, editors, Proc. of ICTCS’2003, LNCS, Bologna, Italy, 2003. Springer. To appear.
2. [2] M. Baldoni, L. Giordano, A. Martelli, and V. Patti. Reasoning about Complex Actions with Incomplete Knowledge: AModal Approach. In Proc. of ICTCS’2001, volume 2202 of LNCS, pages 405–425. Springer, 2001.
3. [3] J. Bryson, D. Martin, S. McIlraith, and L.A. Stein. Agent-based composite services in DAML-S: The behavior-oriented design of an intelligent semantic web, 2002.
4. [4] R. Chinnici, M. Gudgin, J. J. Moreau, and S. Weerawarana. Web Services Description Language (WSDL) version 1.2, 2003. Working Draft.
5. [5] The DAML-S coalition. DAML-S: Web service description for the semantic web. In the 1st Int. Semantic Web Conference (ISWC), Sardinia, Italy, 2002.
6. [6] M. Denecker and D. De Schreye. Representing Incomplete Knowledge in Abduction Logic Programming. In Proc. of ILPS’93, Vancouver, 1993. The MIT Press.
7. [7] F. Dignum and M. Greaves. Issues in agent communication. In Issues in Agent Communication, volume 1916 of LNCS, pages 1–16. Springer, 2000.
8. [8] FIPA. Fipa 2000, fipa Query Interaction Protocol Specification. Technical report, FIPA (Foundation for Intelligent Physical Agents), November 2000.
9. [9] L. Giordano, A. Martelli, and C. Schwind. Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic. In Proc. of the 8th Conf. of AI*IA, LNAI. Springer, 2003.
10. [10] H. J. Levesque, R. Reiter, Y. Lespérance, F. Lin, and R.B. Scherl. GOLOG: A Logic Programming Language for Dynamic Domains. J. of Logic Programming, 31:59–83, 1997.
11. [11] A. Mamdani and J. Pitt. Communication protocols in multi-agent systems: A development method and reference architecture. In Issues in Agent Communication, volume 1916 of LNCS, pages 160–177. Springer, 2000.
12. [12] James H. Odell, H. Van Dyke Parunak, and Bernhard Bauer. Representing agent interaction protocols in UML. In Agent-Oriented Software Engineering, pages 121–140. Springer, 2001. http://www.fipa.org/docs/input/f-in-00077/.
13. [13] V. Patti. 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/.
14. [14] F. Sadri, F. Toni, and P. Torroni. Dialogues for Negotiation: Agent Varieties and Dialogue Sequences. In Proc. of ATAL’01, Seattle, WA, 2001.
15. [15] S. Shapiro, Y. Lespéance, and H. J. Levesque. Specifying communicative multiagent systems. In Agents and Multi-Agent Systems-Formalisms, Methodologies, and Applications, volume 1441 of LNAI, pages 1–14. Springer-Verlag, 1998.