A Game-Based Architecture for Developing Interactive Components in Computational Logic

We present a game-based architecture for developing complex interactive components in computational logic. Interactive components are developed either as players making moves according to the rules of a game or as umpires that enforce the rules, thereby controlling the behaviours of players. Centralised organisations based on umpires and decentralised organisations based on autonomous players can then be combined to produce interactive systems of a very complex nature. The potential of the resulting methodology is exemplified by showing how to formulate interaction protocols for software agents in the context of connected community systems.

[1]  A. Nerode,et al.  Modelling hybrid systems as games , 1992, [1992] Proceedings of the 31st IEEE Conference on Decision and Control.

[2]  Ralph E. Johnson,et al.  Frameworks = (components + patterns) , 1997, CACM.

[3]  John Darlington,et al.  A Game-Based Architecture for Developing Interactive Components in Computational Logic , 2000 .

[4]  Keith L. Clark,et al.  I.C. Prolog II: a Multi-threaded Prolog System , 1993, ICLP Workshop on Concurrent, Distributed & Parallel Implementations of Logic Programming Systems.

[5]  Oscar Nierstrasz,et al.  Beyond Objects: Components , 1997 .

[6]  Douglas C. Schmidt,et al.  Using design patterns to develop reusable object-oriented communication software , 1995, CACM.

[7]  Mark S. Fox,et al.  COOL: A Language for Describing Coordination in Multi Agent Systems , 1995, ICMAS.

[8]  Marek J. Sergot,et al.  Games as a Metaphor for Interactive Systems , 1996, BCS HCI.

[9]  J. Neumann,et al.  The Theory of Games and Economic Behaviour , 1944 .

[10]  Guy McCusker,et al.  Games and Full Abstraction f"or the Lazy X-calculus , 1995 .

[11]  Marek J. Sergot,et al.  An Abstract Framework for Globalising Interactive Systems , 1998, Interact. Comput..

[12]  Kostas Stathis,et al.  Knowledge-Based Front-Ends as Games , 1997 .

[13]  Antonio Brogi,et al.  Metalogic for Knowledge Representation , 1991, KR.

[14]  Jeffrey S. Rosenschein,et al.  Cooperation without Communication , 1986, AAAI.

[15]  O. Coplien,et al.  Software Patterns , 2001 .

[16]  Κωνσταντινοσ Σταθησ.  GAME-BASED DEVELOPMENT OF INTERACTIVE SYSTEMS , 1996 .

[17]  Oscar Nierstrasz,et al.  Component-oriented software development , 1992, CACM.

[18]  Radha Jagadeesan,et al.  Games and Full Completeness for Multiplicative Linear Logic , 1994, J. Symb. Log..

[19]  Keith L. Clark,et al.  Content-Based Routing as the Basis for Intra-Agent Communication , 1998, ATAL.