Expressing systems capabilities for knowledge coordination

Mediated coordination of multiple intelligent agents requires public knowledge of what each agent is capable of offering to other agents. This knowledge must be accessible by the mediating agent, that can be as simple as a matchmaker or as sophisticated as a complete broker. Among many problems related to advertising and managing capabilities of multiple agents, we consider in this article the one we regard as the most fundamental problem: what is a "capability"?. We show that the answer is not unique. Clearly, it must precede any development of architectures, strategies, procedures and policies to manage capabilities for knowledge coordination.

[1]  Krzysztof R. Apt,et al.  Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[2]  G. G. Stokes "J." , 1890, The New Yale Book of Quotations.

[3]  A. Bossiy,et al.  Well-terminating Programs , 1998 .

[4]  Matthias Klusch,et al.  Brokering and Matchmaking for Coordination of Agent Societies: A Survey , 2001, Coordination of Internet Agents: Models, Technologies, and Applications.

[5]  Michael R. Genesereth,et al.  A Distributed and Anonymous Knowledge Sharing Approach to Software Interoperation , 1995, Int. J. Cooperative Inf. Syst..

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

[7]  Wamberto Weber Vasconcelos,et al.  A Lightweight Capability Communication Mechanism , 2000, IEA/AIE.

[8]  Saumya K. Debray,et al.  Non-Failure Analysis for Logic Programs , 1997, ICLP.

[9]  Gerhard Wickler,et al.  Using expressive and flexible action representations to reason about capabilties for intelligent agent cooperation , 2000 .

[10]  Annalisa Bossi,et al.  Programs Without Failures , 1997, LOPSTR.

[11]  Ehud Shapiro,et al.  A Type System for Logic Programs , 1988, J. Log. Program..

[12]  Danny De Schreye Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor , 1999 .

[13]  A. Bossi,et al.  Successful Logic Programs , 1998 .

[14]  Matthias Klusch,et al.  Interoperability among Heterogeneous Software Agents on the Internet , 1998 .