Using Perseus System for Modelling Epistemic Interactions

被引：0

作者：

Kacprzak, Magdalena ^{[1
]}

Kulicki, Piotr ^{[2
]}

Trypuz, Robert ^{[2
]}

Budzynska, Katarzyna ^{[3
]}

Garbacz, Pawel ^{[2
]}

Lechniak, Marek ^{[2
]}

Rembelski, Pawel ^{[1
]}

机构：

[1] Polish Japanese Inst Informat Technol, Warsaw, Poland

[2] John Paul II Catholic Univ Lublin, Lublin, Poland

[3] Cardinal Stefan Wyszynski Univ Warsaw, Warsaw, Poland

来源：

AGENT AND MULTI-AGENT SYSTEMS: TECHNOLOGIES AND APPLICATIONS, PT I, PROCEEDINGS | 2010年 / 6070卷

关键词：

knowledge representation; dynamic epistemic logic; multi agent systems; LOGIC;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

The aim of the paper is to apply the software tool Perseus to modelling of epistemic interactions. We focus on the issue of agents' knowledge acquisition, using a logical puzzle in which agents increase their knowledge about hats they wear. In the paper, first we present a model of epistemic interactions, which allows to resolve the hats puzzle. Then, the model is used to build the problem's specification for the Perseus system. Finally, we show how the hats puzzle can be resolved and analysed in a detailed way with the use of a parametric verification method executed by the tool Perseus.

引用

页码：315 / +

页数：2

共 10 条

[1]

[Anonymous], 1995, Epistemic Logic for AI and Computer Science

[2] Logics for epistemic programs [J].

Baltag, A ;

Moss, LS .

SYNTHESE, 2004, 139 (02) :165-224

[3]

Budzynska K, 2008, FUND INFORM, V85, P51

[4] Perseus. Software for Analyzing Persuasion Process [J].

Budzynska, Katarzyna ;

Kacprzak, Magdalena ;

Rembelski, Pawel .

FUNDAMENTA INFORMATICAE, 2009, 93 (1-3) :65-79

[5]

Fagin R., 1995, Reasoning about Knowledge

[6]

Garbacz P, 2009, LECT NOTES ARTIF INT, V5803, P379, DOI 10.1007/978-3-642-04617-9_48

[7]

Garbacz P, 2009, STUD COMPUT INTELL, V244, P205

[8]

Petty R. E., 1981, ATTITUDES PERSUASION

[9]

Russell Bertrant., 1905, Mind, V14, P479, DOI DOI 10.1093/MIND/XIV.4.479

[10]

VANDITMARSCH H, 2007, SL, V337

← 1 →