Public and Secret Forgetting of Propositional Formulas

被引：0

作者：

Nepomuceno-Fernandez, Angel ^{[1
]}

Sarrion-Morrillo, Enrique ^{[1
]}

Soler-Toscano, Fernando ^{[1
]}

Velazquez-Quesada, Fernando R. ^{[1
]}

机构：

[1] Univ Seville, Grp Log Language & Informat, Seville, Spain

来源：

ADVANCES IN ARTIFICIAL INTELLIGENCE (CAEPIA 2015) | 2015年 / 9422卷

关键词：

Public forgetting; Secret forgetting; Epistemic logic; Dynamic epistemic logic; Knowledge representation; Multi-agent system; BELIEF CHANGE;

D O I：

10.1007/978-3-319-24598-0_13

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

This paper presents two operations over Kripke models for representing the act of an agent forgetting the truth-value of a given propositional formula. The first is a form of 'public' forgetting (built over previous monoagent proposals) after which all agents know that the forgetful one has indeed forgotten the given formula; the second is a form of 'secret' forgetting after which the forgetful agent knows what has happened but the rest of them remain oblivious of the action.

引用

页码：139 / 149

页数：11

共 17 条

[1] ON THE LOGIC OF THEORY CHANGE - PARTIAL MEET CONTRACTION AND REVISION FUNCTIONS [J].

ALCHOURRON, CE ;

GARDENFORS, P ;

MAKINSON, D .

JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (02) :510-530

[2]

[Anonymous], SYNTHESE LIB SERIES

[3]

[Anonymous], 2001, CAMBRIDGE TRACTS THE

[4] Combining syntax and semantics through prime form representation [J].

Bittencourt, Guilherme .

JOURNAL OF LOGIC AND COMPUTATION, 2008, 18 (01) :13-33

[5]

DEKLEER J, 1992, P 10 NAT C ART INT A, P780

[6]

Fernandez-Duque D., 2015, LOGIC J IGP IN PRESS

[7] AN INCREMENTAL METHOD FOR GENERATING PRIME IMPLICANTS IMPLICATES [J].

KEAN, A ;

TSIKNIS, G .

JOURNAL OF SYMBOLIC COMPUTATION, 1990, 9 (02) :185-206

[8]

Pagnucco M, 2006, LECT NOTES COMPUT SC, V4304, P90

[9]

Quine W.V., 1952, Am. Math. Mon., V59, P521, DOI [10.1080/00029890.1952.11988183, DOI 10.1080/00029890.1952.11988183]

[10]

Rymon R., 1994, Annals of Mathematics and Artificial Intelligence, V11, P351, DOI 10.1007/BF01530750

← 1 2 →