Topological Evidence Logics: Multi-agent Setting

被引：1

作者：

Baltag, Alexandru ^{[1
]}

Bezhanishvili, Nick ^{[1
]}

Gonzalez, Saul Fernandez ^{[2
]}

机构：

[1] Univ Amsterdam, ILLC, Amsterdam, Netherlands

[2] Univ Toulouse, IRIT, Toulouse, France

来源：

LANGUAGE, LOGIC, AND COMPUTATION | 2022年 / 13206卷

关键词：

KNOWLEDGE;

D O I：

10.1007/978-3-030-98479-3_12

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

We introduce a multi-agent topological semantics for evidence-based belief and knowledge, which extends the dense interior semantics developed in [2]. We provide the complete logic of this multi-agent framework together with generic models for a fragment of the language. We also define a new notion of group knowledge which differs conceptually from previous approaches.

引用

页码：237 / 257

页数：21

共 50 条

[1] Normative Multi-agent Programs and Their Logics
Dastani, Mehdi
Grossi, Davide
Meyer, John-Jules Ch.
Tinnemeier, Nick
[J]. KNOWLEDGE REPRESENTATION FOR AGENTS AND MULTI-AGENT SYSTEMS, 2009, 5605 : 16 - +
[2] Metareasoning for multi-agent epistemic logics
Arkoudas, K
Bringsjord, S
[J]. COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2004, 3487 : 111 - 125
[3] On the Learnability of Knowledge in Multi-Agent Logics
Mocanu, Ionela G.
[J]. PROCEEDINGS OF THE THIRTIETH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2021, 2021, : 4907 - 4908
[4] Temporal Logics for Multi-Agent Systems
Henzinger, Thomas A.
[J]. PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS' 18), 2018, : 1 - 1
[5] Forgetting in multi-agent modal logics
Fang, Liangda
Liu, Yongmei
van Ditmarsch, Hans
[J]. ARTIFICIAL INTELLIGENCE, 2019, 266 : 51 - 80
[6] Reasoning About Belief, Evidence and Trust in a Multi-agent Setting
Liu, Fenrong
Lorini, Emiliano
[J]. PRINCIPLES AND PRACTICE OF MULTI-AGENT SYSTEMS (PRIMA 2017), 2017, 10621 : 71 - 89
[7] Ignorance in a multi-agent setting
Pereira, Samuel C. A.
[J]. ECONOMICS LETTERS, 2009, 105 (03) : 264 - 266
[8] Comparing Semantics of Logics for Multi-Agent Systems
Valentin Goranko
Wojciech Jamroga
[J]. Synthese, 2004, 139 : 241 - 280
[9] Argument evaluation in multi-agent justification logics
Burrieza, Alfredo
Yuste-Ginel, Antonio
[J]. LOGIC JOURNAL OF THE IGPL, 2021, 29 (04) : 672 - 696
[10] Multi-agent logics of dynamic belief and knowledge
Schmidt, RA
Tishkovsky, D
[J]. LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 38 - 49

← 1 2 3 4 5 →