Verifiable agent interaction in abductive logic programming:: The SCIFF framework

被引：81

作者：

Alberti, Marco

Chesani, Federico

Gavanelli, Marco

Lamma, Evelina

Mello, Paola

Torroni, Paolo

机构：

[1] Department of Engineering, University of Ferrara, 44100 Ferrara (FE)

[2] DEIS, University of Bologna, 40136 Bologna (BO)

来源：

ACM TRANSACTIONS ON COMPUTATIONAL LOGIC | 2008年 / 9卷 / 04期

关键词：

theory; verification; abductive logic programming; proof-procedures; agent interaction protocols; declarative semantics; formal properties; SCIFF; SOCS (SOcieties of ComputeeS); IFF proof procedure;

D O I：

10.1145/1380572.1380578

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

SCIFF is a framework thought to specify and verify interaction in open agent societies. The SCIFF language is equipped with a semantics based on abductive logic programming; SCIFF's operational component is a new abductive logic programming proof procedure, also named SCIFF, for reasoning with expectations in dynamic environments. In this article we present the declarative and operational semantics of the SCIFF language, and the termination, soundness, and completeness results of the SCIFF proof procedure, and we demonstrate SCIFF's possible application in the multiagent domain.

引用

页数：43

共 82 条

[31] Heterogeneous active agents, I: Semantics [J].

Eiter, T ;

Subrahmanian, VS ;

Pick, G .

ARTIFICIAL INTELLIGENCE, 1999, 108 (1-2) :179-255

[32] The CIFF proof procedure for abductive logic programming with constraints [J].

Endriss, U ;

Mancarella, P ;

Sadri, F ;

Terreni, G ;

Toni, F .

LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3229 :31-43

[33]

ESHGHI K, 1989, P 6 INT C LOG PROGR, P234

[34]

EVANS C, 1992, FIFTH GENERATION COMPUTER SYSTEMS 1992, VOLS 1 AND 2, P546

[35]

*FIPA, 2002, SC00026H FIPA

[36]

*FIPA, 2001, XC00037H FIPA

[37]

Fornara N., 2002, Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems, P535

[38]

Fornara N., 2003, Second International Joint Conference on Autonomous Agents and Multiagent Systems, P520, DOI [10.1145/860575.860659, DOI 10.1145/860575.860659]

[39] Theory and practice of constraint handling rules [J].

Fruhwirth, T .

JOURNAL OF LOGIC PROGRAMMING, 1998, 37 (1-3) :95-138

[40] The iff proof procedure for abductive logic programming [J].

Fung, TH ;

Kowalski, R .

JOURNAL OF LOGIC PROGRAMMING, 1997, 33 (02) :151-165

← 1 2 3 4 5 6 7 8 9 →