Epistemic Logic for AI and Computer Science

Front Cover
Cambridge University Press, Mar 25, 2004 - Computers - 372 pages
0 Reviews
Epistemic logic has grown from its philosophical beginnings to find diverse applications in computer science as a means of reasoning about the knowledge and belief of agents. This book, based on courses taught at universities and summer schools, provides a broad introduction to the subject; many exercises are included together with their solutions. The authors begin by presenting the necessary apparatus from mathematics and logic, including Kripke semantics and the well-known modal logics K, T, S4 and S5. Then they turn to applications in the contexts of distributed systems and artificial intelligence: topics that are addressed include the notions of common knowledge, distributed knowledge, explicit and implicit belief, the interplays between knowledge and time, and knowledge and action, as well as a graded (or numerical) variant of the epistemic operators. The problem of logical omniscience is also discussed extensively. Halpern and Moses' theory of honest formulae is covered, and a digression is made into the realm of non-monotonic reasoning and preferential entailment. Moore's autoepistemic logic is discussed, together with Levesque's related logic of 'all I know'. Furthermore, it is shown how one can base default and counterfactual reasoning on epistemic logic.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

II
1
III
7
IV
8
V
13
VI
23
VII
25
VIII
28
IX
35
XXXVII
104
XXXVIII
109
XXXIX
113
XL
114
XLI
126
XLII
129
XLIII
139
XLIV
141

X
38
XI
39
XII
45
XIV
47
XV
51
XVI
56
XVII
59
XVIII
64
XIX
65
XX
68
XXI
71
XXII
73
XXIII
74
XXIV
77
XXV
79
XXVI
83
XXVII
84
XXVIII
87
XXIX
89
XXX
90
XXXI
91
XXXII
92
XXXIII
93
XXXIV
94
XXXV
96
XXXVI
103
XLV
159
XLVI
160
XLVII
162
XLVIII
176
XLIX
177
L
179
LI
183
LII
187
LIII
190
LIV
195
LV
197
LVI
200
LVII
202
LVIII
205
LIX
211
LX
218
LXI
225
LXIII
226
LXV
229
LXVI
230
LXX
231
LXXII
233
LXXIII
331
LXXIV
347
Copyright

Other editions - View all

Common terms and phrases

References to this book

All Book Search results »

Bibliographic information