A logic based language for networked agents

Abstract This paper presents a logic based language, SAFIN, for developing networked software agents. It integrates agent-oriented programming, KQML and basic mobile techniques to support intelligent behaviors, software interoperatablity and code transportability. As prototype based logic objects, agents are composed of network connections, knowledge bases (facts and beliefs), databases, behaviors, constraints, services, goals and KQML performatives. An approach to non-monotonic inheritance with both predicate level and clause level knowledge reuse is proposed and formally defined. Multi-level components and the interfaces to FTP services and relational database systems are also provided for developing specific distributed agents.

[1]  Charles J. Petrie,et al.  Agent-Based Engineering, the Web, and Intelligence , 1996, IEEE Expert.

[2]  Yoav Shoham,et al.  Agent-Oriented Programming , 1992, Artif. Intell..

[3]  Timothy W. Finin,et al.  A Proposal for a new KQML Specification , 1997 .

[4]  Luís Moniz Pereira,et al.  Knowledge-Based Situated Agents Among Us: A Preliminary Report , 1996, ATAL.

[5]  T. Joachims.  WebWatcher : A Tour Guide for the World Wide Web , 1997 .

[6]  Michael H. Coen,et al.  SodaBot: A Software Agent Environment and Construction System , 1994, AAAI.

[7]  Timothy W. Finin,et al.  Specification of the KQML Agent-Communication Language , 1993 .

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

[9]  Aaron Sloman,et al.  What Sort of Architecture is Required for a Human-Like Agent? , 1999 .

[10]  Peter Edwards,et al.  Agent-K: An Integration of AOP and KQML , 1994 .

[11]  Robert S. Gray,et al.  Agent Tcl: A transportable agent system , 1995, CIKM Information Agents Workshop.

[12]  Oren Etzioni,et al.  A softbot-based interface to the Internet , 1994, CACM.

[13]  Mark S. Fox,et al.  The Design of a Coordination Language for Multi-Agent Systems , 1996, ATAL.

[14]  Thorsten Joachims,et al.  Web Watcher: A Tour Guide for the World Wide Web , 1997, IJCAI.

[15]  Agostino Poggi,et al.  A Multi Language Environment to Develop Multi Agent Applications , 1996, ATAL.

[16]  John J. Leggett,et al.  PARAgente: Exploring the Issues in Agent-Based User Interfaces , 1995, ICMAS.

[17]  Keith L. Clark,et al.  April - Agent PRocess Interaction Language , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[18]  Michael R. Genesereth,et al.  Software agents , 1994, CACM.

[19]  Agostino Poggi,et al.  DAISY: An Object-Oriented System for Distributed Artificial Intelligence , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[20]  S. Rebecca Thomas,et al.  The PLACA Agent Programming Language , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[21]  Hyacinth S. Nwana,et al.  Software agents: an overview , 1996, The Knowledge Engineering Review.

[22]  Michael Wooldridge,et al.  A Knowledge-Theoretic Semantics for Concurrent METATEM , 1996, ATAL.

[23]  Munindar P. Singh,et al.  Agents on the Web: Mobile Agents , 1997, IEEE Internet Comput..

[24]  Bert Bredeweg,et al.  An overview of approaches to qualitative model construction , 1996, The Knowledge Engineering Review.