Dynamic Epistemic Logic and knowledge puzzles

被引：0

作者：

van Ditmarsch, H. P. ^{[1
]}

van der Hoek, W. ^{[2
]}

Kooi, B. P. ^{[3
]}

机构：

[1] Univ Otago, Dunedin, New Zealand

[2] Univ Liverpool, Liverpool, Merseyside, England

[3] Univ Groningen, Groningen, Netherlands

来源：

CONCEPTUAL STRUCTURES: KNOWLEDGE ARCHITECTURES FOR SMART APPLICATIONS, PROCEEDINGS | 2007年 / 4604卷

关键词：

multiagent systems; epistemic logic; dynamic epistemic logic; belief revision;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

We briefly give an overview of Dynamic Epistemic Logic (DEL), mainly in semantic terms. We focus on the simplest of epistemic actions in DEL, called public announcements. We also sketch the effect of more complex epistemic actions, and briefly show how als factual change can be modelled in the same framework. We then apply the logic of public announcements in DEL to the analysis of a knowledge puzzle, called 'What Sum'.

引用

页码：45 / +

页数：3

共 50 条

[1] Knowledge and belief in dynamic epistemic logic
Soler-Toscano, Fernando
[J]. ANDAMIOS, 2023, 20 (53): : 205 - 232
[2] KNOWLEDGE OF IGNORANCE IN EPISTEMIC PUZZLES
Borisov, Evgeny, V
[J]. VESTNIK TOMSKOGO GOSUDARSTVENNOGO UNIVERSITETA-FILOSOFIYA-SOTSIOLOGIYA-POLITOLOGIYA-TOMSK STATE UNIVERSITY JOURNAL OF PHILOSOPHY SOCIOLOGY AND POLITICAL SCIENCE, 2019, 52 : 15 - 22
[3] Relativized common knowledge for dynamic epistemic logic
Wang, Yi N.
Agotnes, Thomas
[J]. JOURNAL OF APPLIED LOGIC, 2015, 13 (03) : 370 - 393
[4] Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic
Miedema, Daniel
Gattinger, Malvin
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, (379): : 407 - 420
[5] Dynamic Epistemic Logic I: Modeling Knowledge and Belief
Pacuit, Eric
[J]. PHILOSOPHY COMPASS, 2013, 8 (09) : 798 - 814
[6] Epistemic Logic: A Survey of the Logic of Knowledge
Mirus, Christopher V.
[J]. REVIEW OF METAPHYSICS, 2007, 60 (04): : 878 - 882
[7] Epistemic logic: A survey of the logic of knowledge
Battaly, Heather
[J]. MIND, 2008, 117 (465) : 205 - 210
[8] Dynamic Epistemic Logic
Girard, Patrick
[J]. AUSTRALASIAN JOURNAL OF LOGIC, 2009, 7 : 26 - 31
[9] Dynamic epistemic logic in update logic
Aucher, Guillaume
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (06) : 1913 - 1960
[10] Probabilistic Dynamic Epistemic Logic
Barteld P. Kooi
[J]. Journal of Logic, Language and Information, 2003, 12 (4) : 381 - 408

← 1 2 3 4 5 →