A logic based language for networked agents

Dianxiang Xu, Guoliang Zheng, Xiaocong Fan

Research output: Contribution to journalArticlepeer-review

7 Scopus citations


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.

Original languageEnglish (US)
Pages (from-to)435-442
Number of pages8
JournalInformation and Software Technology
Issue number8
StatePublished - Aug 25 1998

All Science Journal Classification (ASJC) codes

  • Software
  • Information Systems
  • Computer Science Applications


Dive into the research topics of 'A logic based language for networked agents'. Together they form a unique fingerprint.

Cite this