| 000 -LEADER |
|---|
| fixed length control field |
02653nam a2200265 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
vtls001933360 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
MY-SjTCS |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20200226121352.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
110218t1995 xxk 001 eng |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
052146014X |
| 039 #9 - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE] |
|---|
| Level of rules in bibliographic description |
201909131622 |
| Level of effort used to assign nonsubject heading access points |
ummi |
| Level of effort used to assign subject headings |
201102181408 |
| Level of effort used to assign classification |
VLOAD |
| -- |
200407271917 |
| -- |
VLOAD |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
006.33 |
| Item number |
MEY |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Meyer, John-Jules Ch. |
| 9 (RLIN) |
11567 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Epistemic logic for AI and computer science / |
| Statement of responsibility, etc. |
J.-J. Ch. Meyer, W. van der Hoek. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. |
|---|
| Place of publication, distribution, etc. |
Cambridge [U.K.] : |
| Name of publisher, distributor, etc. |
Cambridge University Press, |
| Date of publication, distribution, etc. |
1995 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xiii, 354 p ; |
| Dimensions |
26 cm. |
| 440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE |
|---|
| Title |
Cambridge tracts in theoretical computer science. |
| Volume/sequential designation |
41 |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Preface. - Introduction. - 1. Basics: The Modal Approach To Knowledge. - 2. Various Notions of Knowledge And Belief. - 3. Knowledge And Ignorance. - 4. Default Reasoning By Epistemic Logic. - A. Appendixes. - E. Answers To The Exercises. - R. References. - I. Index. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
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, and solutions to them are given in a final appendix. 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 system and artificial intelligence : topics that are addressed include the notions of the 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 nonmonotonic 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 considered alternative approaches to knowledge and belief, viz. Konolige's 'deduction model' and the 'knowledge structures' of Fagin, Halpern and Vardi, as well as a brief discussion of a first-order variant of modal epistemic logic, and a table of the basic logical systems. - Back cover. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Artificial intelligence. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Logic, Symbolic and mathematical. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Hoek, W. van der |
| Fuller form of name |
(Wiebe van der) |
| Relator term |
(j.a.) |
| 9 (RLIN) |
104002 |
| 920 ## - Programme |
|---|
| Programme |
UOSC : 560485 |
| 999 ## - SYSTEM CONTROL NUMBERS (KOHA) |
|---|
| Koha biblionumber |
181647 |
| Koha biblioitemnumber |
181647 |
