Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results

被引：22

作者：

Belardinelli, F. ^{[1
]}

Lomuscio, A. ^{[1
]}

机构：

[1] Univ London Imperial Coll Sci Technol & Med, Dept Comp, London, England

来源：

JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH | 2012年 / 45卷

基金：

英国工程与自然科学研究理事会;

关键词：

DECIDABLE FRAGMENTS; EPISTEMIC LOGIC; COMPLEXITY;

D O I：

10.1613/jair.3547

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

We investigate a class of first-order temporal-epistemic logics for reasoning about multiagent systems. We encode typical properties of systems including perfect recall, synchronicity, no learning, and having a unique initial state in terms of variants of quantified interpreted systems, a first-order extension of interpreted systems. We identify several monodic fragments of first-order temporal-epistemic logic and show their completeness with respect to their corresponding classes of quantified interpreted systems.

引用

页码：1 / 45

页数：45

共 47 条

[1] Quantified epistemic logics for reasoning about knowledge in multi-agent systems [J].

Belardinelli, F. ;

Lomuscio, A. .

ARTIFICIAL INTELLIGENCE, 2009, 173 (9-10) :982-1013

[2]

Belardinelli F., 2010, PRINC KNOWL REPR REA

[3]

Belardinelli F, 2011, LECT NOTES COMPUT SC, V7084, P142, DOI 10.1007/978-3-642-25535-9_10

[4] First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment [J].

Belardinelli, Francesco ;

Lomuscio, Alessio .

FUNDAMENTA INFORMATICAE, 2011, 106 (2-4) :175-190

[5]

Belardinelli F, 2008, LECT NOTES ARTIF INT, V5056, P248

[6]

Belardinelli Francesco., 2011, IJCAI, P738

[7] View-based query answering in Description Logics: Semantics and complexity [J].

Calvanese, Diego ;

De Giacomo, Giuseppe ;

Lenzerini, Maurizio ;

Rosati, Riccardo .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2012, 78 (01) :26-46

[8]

Cohen P. R., 1995, ICMAS-95 Proceedings. First International Conference on Multi-Agent Systems, P65

[9] Equality and monodic first-order temporal logic [J].

Degtyarev A. ;

Fisher M. ;

Lisitsa A. .

Studia Logica, 2002, 72 (2) :147-156

[10]

Degtyarev A, 2003, LECT NOTES ARTIF INT, V2741, P397

← 1 2 3 4 5 →