A social ACL semantics by deontic constraints

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2691, Issue , 2003, Pages 204-213

  Alberti, Marco ^a   Ciampolini, Anna ^b   Gavanelli, Marco ^a   Lamma, Evelina ^a   Mello, Paola ^b   Torroni, Paolo ^b  

^a UNIVERSITY OF FERRARA   (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; FORMAL LANGUAGES; KNOWLEDGE REPRESENTATION; MULTI AGENT SYSTEMS; SOCIAL ASPECTS; SOFTWARE AGENTS; AUTONOMOUS AGENTS; COMPLIANCE CONTROL; COMPUTATION THEORY; KNOWLEDGE MANAGEMENT; LOGIC PROGRAMMING; SEMANTICS;

AGENT COMMUNICATION LANGUAGES (ACL); DEONTIC CONSTRAINTS; HETEROGENEOUS AGENTS; INTERPROCESS COMMUNICATION MECHANISMS; AGENT COMMUNICATION LANGUAGES; AUTOMATIC VERIFICATION; COMPUTATIONAL LOGIC; KNOWLEDGE EXCHANGE; PROOF PROCEDURES; STILL MISSING;

SEMANTICS; MULTI AGENT SYSTEMS;

EID: 8344240373     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-45023-8_20     Document Type: Conference Paper

References (13)

1. Finin, T., Labrou, Y., Mayfield, J.: KQML as an agent communication language. In: Software Agents. MIT Press, Cambridge (1997)
2. FIPA: FIPA Communicative Act Library Specification (2001) Published on August 10th, 2001, available for download from the FIPA website: http://www.fipa.org
3. Singh, M.: Agent communication language: rethinking the principles. IEEE Computer (1998) 40-47
4. Singh, M. P.: A social semantics for agent communication languages. In Dignum, F., Greaves, M., eds.: Issues in Agent Communication. Springer-Verlag, Heidelberg, Germany (2000) 31-45
5. Fornara, N., Colombetti, M.: Operational specification of a commitment-based agent communication language. In Castelfranchi, C., Lewis Johnson, W., eds.: Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002). Part II, Bologna, Italy, ACM (2002) 535-542
6. Yolum, P., Singh, M.: Commitment machines. In: Intelligent Agents VIII, 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001 Revised Papers. Volume 2333 of LNAI., Springer Verlag (2002) 235-247
7. Alberti, M., Ciampolini, A., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Logic based semantics for agent communication languages. In Dunin-Keplicz, B., Werbrugge, R., eds.: Proceedings of the Workshop of Formal Approaches to Multiagent Systems (FAMAS03), Warsaw, Poland. (2003)
8. Colombetti, M., Fornara, N., Verdicchio, M.: The role of institutions in multiagent systems. In: Proceedings of the Workshop on Knowledge based and reasoning agents, VIII Convegno AI*IA 2002, Siena, Italy. (2002)
9. Torroni, P., Mello, P., Maudet, N., Alberti, M., Ciampolini, A., Lamma, E., Sadri, F., Toni, F.: A logic-based approach to modeling interaction among computees (preliminary report). In: UK Multi-Agent Systems (UKMAS) Annual Conference, Liverpool, UK. (2002)
10. Walton, D., Krabbe, E.: Commitment in Dialogue. SUNY, New York (1995)
11. Reed, C.A.: Dialogue frames in agent communication. In: Proceedings of the 3rd International Conference on Multi Agent Systems (ICMAS98), Paris, IEEE Press (1998) 246-253
12. Dignum, F., Dunin-Keplicz, B., Verbrugge, R.: Creating collective intention through dialogue. Logic J. of the IGPL 9 (2001) 145-158
13. Ciampolini, A., Lamma, E., Mello, P., Torroni, P.: An operational semantic for the safe execution of tasks in a constrained multi-agent setting. In Greco, S., Leone, N., eds.: Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA). Volume 2424 of LNCS., Springer Verlag (2002) 14-26