ABSTRACT
E-markets and negotiation protocols are two types of application domains that can be viewed as open computational societies. Key characteristics of such societies are agent heterogeneity, conflicting individual goals and limited trust. The risk that members of such societies will not conform to specifications imposes the need for a framework that will facilitate the designers to determine to what extent it is desirable to deploy their agents in such societies. We address this need by presenting a formal framework for specifying, animating, and ultimately reasoning about and verifying the properties of open computational systems. We view computational systems from an external perspective, aiming to account for the institutional and social aspects of these systems. We identify the key concepts and illustrate how they are used by formalising an example employing the contract net protocol. The framework and associated logical inferences have been implemented as a software platform that provides automated animation of the global states of an open system (society) during its execution. Simulations have demonstrated that the implementation of the framework establishes a foundation for a rich, formal representation of open computational societies.
- K. Carley and L. Gasser. Computational organisational theory. In Multi-Agent Systems: A Modern Approach to DAI, page 300. MIT Press, 1999.]] Google ScholarDigital Library
- M. Esteva, J. Rodriguez, C. Sierra, P. Garcia, and J. Arcos. On the formal specifications of electronic institutions. LNAI 1991, pages 126--147. 2001.]] Google ScholarDigital Library
- R. Fagin, J. Halpern, Y. Moses, and M. Yardi. Reasoning About Knowledge. The MIT Press, 1995.]] Google ScholarDigital Library
- J. Ferber and O. Gutknecht. Operational semantics of multi-agent organisations. In Intelligent Agents IV. 2000.]] Google ScholarDigital Library
- C. Hewitt. Open information systems semantics for distributed artificial intelligence. Artificial Intelligence, 47:76--106, 1991.]] Google ScholarDigital Library
- A. Jones and M. Sergot. On the characterisation of law and computer systems: The normative systems perspective. In Deontic Logic in Computer Science: Normative System Specification. Wiley, 1993.]] Google ScholarDigital Library
- A. Jones and M. Sergot. A formal characterisation of institutionalised power. IGPL, 4(3), 1996.]]Google Scholar
- R. Kowalski and M. Sergot. A logic-based calculus of events. New Generation Computing, 4(1):67--96, 1986.]] Google ScholarDigital Library
- Y. Moses and M. Tennenholtz. Artificial social systems. Computers and AI, 14(6):533--562, 1995.]]Google Scholar
- J. Pitt, L. Kamara, and A. Artikis. Interaction patterns and observable commitments in a multi-agent trading scenario. In Autonomous Agents 2001, 2001.]] Google ScholarDigital Library
- J. Rodriguez-Aguilar, F. Martin, P. Noriega, P. Garcia, and C. Sierra. Towards a test-bed for trading agents in electronic auction markets. In AI Communications, pages 5--19, 1998.]]Google ScholarDigital Library
- F. Santos, A. Jones, and J. Carmo. Action concepts for describing organised interaction. In HICSS, 1997.]]Google Scholar
- J. Searle. What is a speech act? In Philosophy of Language, pages 130--141. 1965.]]Google Scholar
- M. Sergot. A computational theory of normative positions. ACM Transactions on Computational Logic, 2(4):522--581, 2001.]] Google ScholarDigital Library
- M. Shanahan. The event calculus explained. Artificial Intelligence Today, pages 409--430, 1999.]]Google ScholarDigital Library
- M. Singh. A social semantics for agent communication languages. In Issues in Agent Communication, volume 1916 of LNCS, pages 31--45. 2000.]] Google ScholarDigital Library
- R. Smith and R. Davis. Distributed problem solving: The contract-net approach. In 2nd Conference of Canadian Society for CSI, pages 217--236, 1978.]]Google Scholar
- M. Wooldridge. The Logical Modelling of Computational Multi-Agent Systems. PhD thesis, UMIST, 1992.]]Google Scholar
- M. Wooldridge. This is MyWorld: The logic of an agent-oriented DAI testbed. In Intelligent Agents. Springer-Verlag, 1995.]] Google ScholarDigital Library
- M. Wooldridge, N. Jennings, and D. Kinny. The Gaia methodology for agent-oriented analysis and design. AAMAS Journal, 3(3):285--312, 2000.]] Google ScholarDigital Library
Index Terms
- Animated specifications of computational societies
Recommendations
Generating Maude formal specifications from AUML diagrams
Selected papers from the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, 2004In this paper, we present a formal and systematic approach allowing translating the specification of the interactions between agents, described using AUML formalism, in a Maude specification. Based on rewriting logic, the formal and object-oriented ...
Compiling Modechart specifications
RTSS '95: Proceedings of the 16th IEEE Real-Time Systems SymposiumThe Modechart specification language is a formalism for the specification of real-time systems. A toolset for specification, analysis and simulation for Modechart specifications exists for supporting the design and construction of real-time systems. ...
Trace Specifications: Methodology and Models
The authors summarize the trace specification language and present the trace specification methodology: a set of heuristics designed to make the reading and writing of complex specifications manageable. Also described is a technique for constructing ...
Comments