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 条

[11]

ANDERSON AR, 1958, MIND, V67, P100

[12]

[Anonymous], IJCAI, DOI DOI 10.1007/3-540-45402-0_29

[13]

Apt K. R., 1991, New Generation Computing, V9, P335, DOI 10.1007/BF03037168

[14] LOGIC PROGRAMMING AND NEGATION - A SURVEY [J].

APT, KR ;

BOL, RN .

JOURNAL OF LOGIC PROGRAMMING, 1994, 20 (1-3) :9-71

[15] Impact: A platform for collaborating agents [J].

Arisha, KA ;

Ozcan, F ;

Ross, R ;

Subrahmanian, VS ;

Eiter, T ;

Kraus, S .

IEEE INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1999, 14 (02) :64-72

[16]

Artikis A., 2002, Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems, P1053

[17] An efficient cryptographic protocol verifier based on prolog rules [J].

Blanchet, B .

14TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2001, :82-96

[18] Verifying multi-agent programs by model checking [J].

Bordini, RH ;

Fisher, M ;

Visser, W ;

Wooldridge, M .

AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2006, 12 (02) :239-256

[19] A RESOLUTION PRINCIPLE FOR CONSTRAINED LOGICS [J].

BURCKERT, HJ .

ARTIFICIAL INTELLIGENCE, 1994, 66 (02) :235-271

[20]

CASTELFRANCHI C, 1995, P 1 INT C MULT SYST, P41

← 1 2 3 4 5 6 7 8 9 →