Graded reasoning about knowledge

被引：0

作者：

Li, Jun ^{[1
]}

机构：

[1] Lanzhou Univ Technol, Sch Sci, Lanzhou 730050, Peoples R China

来源：

DCABES 2007 PROCEEDINGS, VOLS I AND II | 2007年

关键词：

reasoning about knowledge; kripke structure; graded reasoning;

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

In many of the application areas for reasoning about knowledge, it is important to reason about the possibility of certain events as well as the knowledge of agents. This paper presents a graded method for reasoning about knowledge which allows Us to say that, to what extent an agent knows an event at a given point (M, s) And some properties about this type of graded methods are discussed.

引用

页码：175 / 179

页数：5

共 21 条

[1]

AUMANN RJ, ANN STAT, V6, P1236

[2]

BINMORE K, 1993, KNOWLEDGE BELIEF STR

[3]

Blackburn P., 2001, Cambridge Tracts in Theoretical Computer Science, V53

[4] On complexity of verification of interacting agents' behavior [J].

Dekhtyar, M ;

Dikovsky, A ;

Valiev, M .

ANNALS OF PURE AND APPLIED LOGIC, 2006, 141 (03) :336-362

[5] REASONING ABOUT KNOWLEDGE AND PROBABILITY [J].

FAGIN, R ;

HALPERN, JY .

JOURNAL OF THE ACM, 1994, 41 (02) :340-367

[6]

Fagin R, 1996, Reasoning about Knowledge

[7] PROBABILISTIC ALGORITHMIC KNOWLEDGE [J].

Halpern, Joseph ;

Pucella, Riccardo .

LOGICAL METHODS IN COMPUTER SCIENCE, 2005, 1 (03)

[8] KNOWLEDGE, PROBABILITY, AND ADVERSARIES [J].

HALPERN, JY ;

TUTTLE, MR .

JOURNAL OF THE ACM, 1993, 40 (04) :917-962

[9] USING REASONING ABOUT KNOWLEDGE TO ANALYZE DISTRIBUTED SYSTEMS [J].

HALPERN, JY .

ANNUAL REVIEW OF COMPUTER SCIENCE, 1987, 2 :37-68

[10]

Hintikka J., 1962, Knowledge and Belief

← 1 2 3 →