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 条

[1] Analyzing security protocols with secrecy types and logic programs [J].

Abadi, M ;

Blanchet, B .

JOURNAL OF THE ACM, 2005, 52 (01) :102-146

[2]

Alberti M., 2006, PPDP 2006. Proceedings of the Eighth ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, P39, DOI 10.1145/1140335.1140342

[3] Mapping deontic operators to abductive expectations [J].

Alberti M. ;

Gavanelli M. ;

Lamma E. ;

Mello P. ;

Sartor G. ;

Torroni P. .

Comput. Math. Organ. Theory, 2006, 2-3 SPEC. ISS. (205-225) :205-225

[4] Compliance verification of agent interaction: A logic-based software tool [J].

Alberti, M ;

Gavanelli, M ;

Lamma, E ;

Chesani, F ;

Mello, P ;

Torroni, P .

APPLIED ARTIFICIAL INTELLIGENCE, 2006, 20 (2-4) :133-157

[5]

Alberti M, 2003, LECT NOTES ARTIF INT, V2829, P287

[6]

ALBERTI M, 2005, CHR BASED IMPLEMENTA, P111

[7]

ALBERTI M, 2005, INTELLIGENZA ARTIFIC, V2, P45

[8]

Alberti M, 2006, LECT NOTES ARTIF INT, V3963, P106, DOI 10.1007/11759683_7

[9] Abduction in well-founded semantics and generalized stable models via tabled dual programs [J].

Alferes, JJ ;

Pereira, LM ;

Swift, T .

THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2004, 4 (04) :383-428

[10] Evolving logic programs [J].

Alferes, JJ ;

Brogi, A ;

Leite, JA ;

Pereira, LM .

LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 :50-61

← 1 2 3 4 5 6 7 8 9 →