A logic based language for networked agents

被引：7

作者：

Xu, DX ^{[1
]}

Zheng, GL

Fan, XC

机构：

[1] Nanjing Univ, Sate Key Lab Novel Software Technol, Nanjing 210093, Peoples R China

[2] Nanjing Univ, Dept Comp Sci & Technol, Nanjing 210093, Peoples R China

来源：

INFORMATION AND SOFTWARE TECHNOLOGY | 1998年 / 40卷 / 08期

基金：

中国国家自然科学基金;

关键词：

software agents; KQML; logic programming; inheritance; object-oriented programming;

D O I：

10.1016/S0950-5849(98)00061-5

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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. (C) 1998 Elsevier Science B.V. All rights reserved.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. (C) 1998 Elsevier Science B.V. All rights reserved.

引用

页码：435 / 442

页数：8

共 21 条

[1]

[Anonymous], SOFTWARE AGENTS

[2]

[Anonymous], THESIS MIT CAMBRIDGE

[3]

BARBUCEANU J, 1996, LNAI, V1193, P341

[4]

DAVIES HE, 1994, AGENT K INTEGRATION

[5] A SOFTBOT-BASED INTERFACE TO THE INTERNET [J].

ETZIONI, O .

COMMUNICATIONS OF THE ACM, 1994, 37 (07) :72-76

[6]

FININ T, 1993, SPECIFICATION KQML A

[7]

GAUVIN D, 1997, LALO AOP LANGUAGE

[8] SOFTWARE AGENTS [J].

GENESERETH, MR ;

KETCHPEL, SP .

COMMUNICATIONS OF THE ACM, 1994, 37 (07) :48-&

[9]

GRAY RS, 1995, P CIKM 95 BALT MD

[10]

HAUGENEDER H, 1994, CKBS '94 - PROCEEDINGS OF THE SECOND INTERNATIONAL WORKING CONFERENCE ON COOPERATING KNOWLEDGE BASED SYSTEMS, P31

← 1 2 3 →