Reasoning about self and others: Communicating agents in a modal action logic

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

Volumn 2841, Issue , 2003, Pages 228-241

  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

COMPUTER CIRCUITS; MULTI AGENT SYSTEMS; SPEECH COMMUNICATION;

COMMUNICATING AGENTS; COMMUNICATION MECHANISMS; COMMUNICATIVE ACTIONS; CONVERSATION PROTOCOL; LOGIC-BASED AGENTS; MENTAL STATE; MODAL ACTION LOGIC; MULTI-AGENT ENVIRONMENT;

SOFTWARE AGENTS;

EID: 0142156587     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45208-9_19     Document Type: Article

References (24)

1. J. F. Allen. Recognizing intentions from natural language utterances. In M. Brady and R.C. Åqvist, editors, Computational models of discourse. MIT Press, Cambridge, MA, 1983.
2. J.A Austin. How to do things with words. Harvard University Press, 1962.
3. M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Reasoning about interaction for personalizing web service fruition. In Proc. of WOA 2003: dagli Oggetti agli Agenti, Cagliari, Italy, September 2003. to appear.
4. M. Baldoni, C. Baroglio, V. Patti, and L. Torasso. Using a rational agent in an adaptive web-based tutoring system. In Proc. of the Workshop on Adaptive Systems for Web-Based Education, AH2002, Malaga, Spain, 2002.
5. M. Baldoni, L. Giordano, A. Martelli, and V. Patti. Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach. In Proc. of ICTCS'2001, volume 2202 of LNCS, pages 405-425. Springer, 2001.
6. P. Bretier and D. Sadek. A rational agent as the kernel of a cooperative spoken dialogue system: implementing a logical theory of interaction. In Intelligent Agents III, proc. of ECAI-96 Workshop on Agent Theories, Architectures, and Languages (ATAL-96), LNAI 1193. Springer-Verlag, 1997.
7. 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.
8. R. Chinnici, M. Gudgin, J. J. Moreau, and S. Weerawarana. Web Services Prescription Language (WSDL) version 1.2, 2003. Working Draft.
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.
10. P.R. Cohen and H. Levesque. Rational interaction as the basis for communication. In P.R Cohen, M.E. Pollack, and J. Morgan, editors, Intentions in Communication, pages 221-256, 1990.
11. P.R. Cohen and C.R. Perrault. Elements of a plan-based theory of speech acts. Cognitive Science, 3(3):177-212, 1979.
12. M. Dastani, J. van der Ham, and F. Dignum. Communication for goal directed agents. In Proc. of Workshop on Agent Communication Languages and Conversation Policies, AAMAS'02, Bologna, Italy, 2002.
13. F. Dignum and M. Greaves. Issues in agent communication. In Issues in Agent Communication, volume 1916 of LNCS, pages 1-16. Springer, 2000.
14. K. Eshghi and R. Kowalski. Abduction compared with Negation by Failure. In Proc. of ICLP '89, Lisbon, 1989. The MIT Press.
15. T. Finin, Y. Labrou, and J. Mayfield. KQML as an Agent Communication Language. In J. Bradshaw, editor, Software Agents. MIT Press, 1995.
16. FIPA. FIPA 2000. Technical report, FIPA (Foundation for Intelligent Physical Agents), November 2000.
17. FIPA. FIPA 2002. Technical report, FIPA (Foundation for Intelligent Physical Agents), 2002.
18. A. Herzig and D. Longin. Beliefs dynamics in cooperative dialogues. In Proc. of AMSTELOGUE 99, 1999.
19. 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.
20. 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.
21. J. H. Odell, H. Van Dyke Parunak, and B. Bauer. Representing agent interaction protocols in UML. In Agent-Oriented Software Engineering, pages 121-140. Springer, 2001.
22. F. Sadri, F. Toni, and P. Torroni. Dialogues for Negotiation: Agent Varieties and Dialogue Sequences. In Proc. of ATAL'01, Seattle, WA, 2001.
23. J.R. Searle. Speech Acts. Cambridge University Press, New York, 1969.
24. S. Shapiro, Y. Lespérance, and H. J. Levesque. Specifying communicative multi-agent systems. In Agents and Multi-Agent Systems - Formalisms, Methodologies, and Applications, volume 1441 of LNAI, pages 1-14. Springer-Verlag, 1998.