On Epistemic Temporal Strategic Logic

被引：12

作者：

van Otterloo, Sieuwert ^{[1
]}

Jonker, Geert ^{[2
]}

机构：

[1] Univ Liverpool, Dept Comp Sci, Liverpool, Merseyside, England

[2] Univ Utrecht, Inst informat & Comp Sci, Utrecht, Netherlands

来源：

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2005年 / 126卷

关键词：

alternating time; epistemic; temporal; strategic; logic; model checking;

D O I：

10.1016/j.entcs.2004.11.014

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

ATEL is one of the most expressive logics for reasoning about knowledge, time and strategies. Several issues around the interpretation of this logic are still unresolved. This paper contributes to the ongoing discussion by showing that agents do not have to know a specific strategy for doing something in order to have a capability. Furthermore we claim that agents can possess so-called strategic knowledge that is derived from their knowledge of strategies being played. In order to prove these claims we present an alternative interpretation of ATEL over extensive game forms. For the definition of abilities we use strategy domination, and to deal with strategic knowledge we include strategy profiles in the model. We illustrate the interpretation issues mentioned using several small examples. Furthermore we show how perfect recall and perfect memory can be characterized.

引用

页码：77 / 92

页数：16

共 18 条

[1] Alternating-time temporal logic [J].

Alur, R ;

Henzinger, TA ;

Kupferman, O .

38TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 1997, :100-109

[2] Memory and perfect recall in extensive games [J].

Bonanno, G .

GAMES AND ECONOMIC BEHAVIOR, 2004, 47 (02) :237-256

[3]

Bonanno G., 2004, KNOWLEDGE R IN PRESS

[4]

Clarke E.M., 1982, LECTURE NOTES COMPUT, V131, P52, DOI DOI 10.1007/BFB0025774

[5]

Druiven S., 2002, THESIS

[6]

Fagin R., 1995, REASONING KNOWLEDGE

[7] Complete axiomatizations for reasoning about knowledge and time [J].

Halpern, JY ;

Van der Meyden, R ;

Vardi, MY .

SIAM JOURNAL ON COMPUTING, 2004, 33 (03) :674-703

[8]

Jamroga W., 2003, SOME REMARKS A UNPUB

[9]

Jonker G., 2003, THESIS

[10] THE COMPLEXITY OF 2-PERSON ZERO-SUM GAMES IN EXTENSIVE FORM [J].

KOLLER, D ;

MEGIDDO, N .

GAMES AND ECONOMIC BEHAVIOR, 1992, 4 (04) :528-552

← 1 2 →