Logic-Based Electronic Institutions

We propose a logic-based rendition of electronic institutions – these are means to specify open agent organisations. We employ a simple notation based on first-order logic and set theory to represent an expressive class of electronic institutions. We also provide a formal semantics for our constructs and present a distributed implementation of a platform to enact electronic institutions specified in our formalism.

[1]  Marc Esteva,et al.  On the Formal Specifications of Electronic Institutions , 2001, AgentLink.

[2]  Julian Padget,et al.  Formalizing a Language for Institutions and Norms , 2001, ATAL.

[3]  Marc Esteva,et al.  On the formal specification of electronic institutions , 2001 .

[4]  Nicolas Maudet,et al.  Protocol Conformance for Logic-based Agents , 2003, IJCAI.

[5]  Krzysztof R. Apt,et al.  From logic programming to Prolog , 1996, Prentice Hall International series in computer science.

[6]  Daniel Brand,et al.  On Communicating Finite-State Machines , 1983, JACM.

[7]  Nicholas Carriero,et al.  Linda in context , 1989, CACM.

[8]  Jordi Sabater-Mir,et al.  Skeleton-based agent development for electronic institutions , 2002, AAMAS '02.

[9]  Christopher W. Allinson,et al.  The Implications of Learning Styles for Training and Development: A Discussion of the Matching Hypothesis , 1996 .

[10]  Yun Peng,et al.  Agent communication languages: the current landscape , 1999, IEEE Intell. Syst..

[11]  Victor R. Lesser,et al.  Investigating Interactions between Agent Conversations and Agent Control Components , 2000, Issues in Agent Communication.

[12]  Gregor von Bochmann,et al.  Finite State Description of Communication Protocols , 1978, Comput. Networks.

[13]  Zohar Manna,et al.  How to cook a temporal proof system for your pet language , 1983, POPL '83.

[14]  Michael Wooldridge,et al.  Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming , 2004, Annals of Mathematics and Artificial Intelligence.

[15]  Peter Øhrstrøm,et al.  Temporal Logic , 1994, Lecture Notes in Computer Science.

[16]  Jeanine Weekes Schroer,et al.  The Finite String Newsletter Abstracts of Current Literature Glisp User's Manual , 2022 .

[17]  Patrice Godefroid,et al.  Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs , 1999, Formal Methods Syst. Des..

[18]  Gerard J. Holzmann,et al.  The SPIN Model Checker , 2003 .

[19]  H. Paul Lin.  Modeling a transport layer protocol using first-order logic , 1986, SIGCOMM '86.

[20]  Evelina Lamma,et al.  Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study , 2003, DALT.

[21]  Pablo Noriega,et al.  Towards a Formal Specification of Complex Social Structures in Multi-agent Systems , 1999, Collaboration between Human and Artificial Societies.

[22]  Juan Antonio Rodriguez,et al.  On the Design and Construction of Agent-mediated Electronic Institutions , 2001 .

[23]  Zohar Manna,et al.  Mathematical Theory of Computation , 2003 .

[24]  Dov M. Gabbay,et al.  MetateM: An introduction , 1995, Formal Aspects of Computing.

[25]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .

[26]  Joris Hulstijn,et al.  Dialogue Models for Inquiry and Transaction , 2000 .

[27]  Gerard J. Holzmann,et al.  The Model Checker SPIN , 1997, IEEE Trans. Software Eng..

[28]  Patrick Suppes,et al.  Naive Set Theory , 1961 .

[29]  C. Harland.  Supply Chain Management: Relationships, Chains and Networks , 1996 .

[30]  Wamberto Weber Vasconcelos,et al.  An approach to rapid prototyping of large multi-agent systems , 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.

[31]  Peter McBurney,et al.  A Dialogue Game Protocol for Agent Purchase Negotiations , 2003, Autonomous Agents and Multi-Agent Systems.

[32]  R. K. Shyamasundar,et al.  Introduction to algorithms , 1996 .

[33]  Gerard J. Holzmann,et al.  SPIN model checking: an introduction , 2000, International Journal on Software Tools for Technology Transfer.

[34]  D. Dubois,et al.  Qualitative possibility theory and its applications to constraint satisfaction and decision under uncertainty , 1999 .

[35]  Mats Carlsson,et al.  SICStus Prolog User''s Manual , 1993 .

[36]  Alasdair Urquhart,et al.  Temporal Logic , 1971 .