Formal specification of interaction in agent societies

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

Volumn 2699, Issue , 2003, Pages 37-52

  Dignum, Virginia ^a,b   Meyer, John Jules C ^b   Dignum, Frank ^b   Weigand, Hans ^c  

^a University Utrecht ^*  (Netherlands)

^b UTRECHT UNIVERSITY   (Netherlands)

^c TILBURG UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; FORMAL LOGIC; SOCIETIES AND INSTITUTIONS; COMPUTER CIRCUITS; FADING (RADIO); FORMAL SPECIFICATION; MULTI AGENT SYSTEMS; RECONFIGURABLE HARDWARE; SPECIFICATIONS;

AGENT ACTIVITY; AGENT SOCIETIES; FORMAL SPECIFICATIONS; SERVICE-PROVIDERS;

MULTI AGENT SYSTEMS; AUTONOMOUS AGENTS;

AGENT ACTIVITIES; CONTRARY-TO-DUTIES; DEONTIC LOGIC; FRAMEWORK CONTRACTS; GLOBAL BEHAVIORS; INTERACTION PATTERN; ORGANIZATIONAL STRUCTURES; SERVICE PROVIDER;

EID: 7044273961     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-45133-4_4     Document Type: Conference Paper

References (19)

1. Artikis, A., Pitt, J.: A Formal Model of Open Agent Societies. Proc. Autonomous Agents 2001, (2001) 192-193
2. Boutelier, C.: Toward a Logic for Qualitative Decision Theory. In: Doyle, J., Sandewall, E., Torasso, P. (Eds.): Principles of Knowledge Representation and Reasoning, (1994).
3. Chisholm, R.: Contrary-to-Duty Imperatives and Deontic Logic. Analysis 24, (1963), 33-36.
4. Cholvy L., Garion C.: An Attempt to Adapt a Logic of Conditional Preferences for Reasoning with Contrary-To-Duties. In: Fundamenta Informaticae, 47 (2001).
5. Dignum, F., Kuiper, R.: Specifying Deadlines with Dense Time using Deontic and Temporal Logic. In: International Journal of Electronic Commerce, 3 (2), (1999), 67-86.
6. Dignum, V., Meyer, J.-J., Weigand, H., Dignum, F.: An Organizational-oriented Model for Agent Societies. In: Proc. Int. Workshop on Regulated Agent-Based Social Systems: Theories and Applications (RASTA02), at AAMAS, Bologna, Italy, July, (2002).
7. Esteva, M., Rodriguez, J., Sierra, C, Garcia, P., Arcos J.: On the formal specifications of electronic institutions, In Dignum F., Sierra C. (Eds.): Agent-mediated Electronic commerce (The European AgentLink Perspective), LNAI 1991, (2001), 126-147.
8. Emerson, E.: Temporal and Modal Logic. In: J. van Leeuwen (Ed.): Handbook of Theoretical Computer Science, Elsevier Science Publishers (1990).
9. Ferber, J., Gutknecht, O.: A meta-model for the analysis and design of organizations in multi-agent systems. Proc. of ICMAS'98, IEEE Press, 1998.
10. Halpern J., Moses, Y.: A guide to the completeness and complexity of modal logic of knowledge and belief. Artificial Intelligence 54 (3), (1992), 319-379.
11. Meyer, J.-J., Wieringa, R., Dignum, F.: The Role of Deontic Logic in the Specification of Information Systems. In Chomicki J., Saake, G. (eds.): Logics for Databases and Information Systems, pages 71-115, Kluwer Academics Publishers, (1998).
12. Pacheco O., Carmo, J.: A Role Based Model for the Normative Specification of Organized Collective Agency and Agents Interaction. Journal of Autonomous Agents and Multi-Agent Systems, to be published (2003).
13. Parunak, H. V. D. and Odell, J.: Representing Social Structures in UML. In: Wooldridge, M., Weiss, G, Ciancarini P. (Eds.): Agent-Oriented Software Engineering II, LNCS 2222, Springer-Verlag, (2002) 1-16.
14. Pörn, I.: Some Basic Concepts of Action. In: Stenlund, S. (Ed.): Logical Theory and Semantic Analysis. Reidel, Dordrecht (1974).
15. Van der Torre, L.: Contextual Deontic Logic: Normative Agents, Violations and Independence. In: Annals of Mathematics and Artificial Intelligence, Special Issue on Computational Logic in Multi-Agent Systems, 37 (1-2): 33-63, January 2003.
16. Weigand, H., Dignum, V., Meyer, J.-J.: Specification by refinement and agreement: designing agent interaction using landmarks and contracts. In: Proceedings ESAW02, Madrid, Spain, (2002).
17. Wooldridge, M.: Time, Knowledge, and Choice. In: M. Wooldridge, J. P. Mueller, M. Tambe, (Eds.): Intelligent Agents II, Springer-Verlag, (1996).
18. Zambonelli, F.: Abstractions and Infrastructures for the Design and Development of Mobile Agent Organizations. In: Wooldridge, M., Weiss, G, Ciancarini P. (Eds.): Agent-Oriented Software Engineering II, LNCS 2222, Springer-Verlag, (2002), 245-262.
19. Zambonelli, F., Jennings, N., Wooldridge, M.: Organizational Abstractions for the Analysis and Design of Multi-agent Systems. In: Ciancarini, P., Wooldridge, M. (Eds.): Agent-Oriented Software Engineering, LNCS 1957, Springer, (2000), 235-251.