Zur Startseite gehen
0,00 €*
Cover: 9780521602808 | Epistemic Logic for AI and Computer Science | John-Jules Ch Meyer
Dekorationsartikel gehören nicht zum Leistungsumfang.
Epistemic Logic for AI and Computer Science
Taschenbuch von John-Jules Ch Meyer
Sprache: Englisch

85,35 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:
Beschreibung
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.
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.
Inhaltsverzeichnis
Preface; 1. Introduction; 2. Basics: the modal approach to knowledge; 3. Various notions of knowledge and belief; 4. Knowledge and ignorance; 5. Default reasoning by epistemic logic; References; Appendices; Answers to exercises; Index.
Details
Medium: Taschenbuch
ISBN-13: 9780521602808
ISBN-10: 0521602807
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Meyer, John-Jules Ch
Hersteller: Cambridge University Press
Maße: 246 x 189 x 21 mm
Von/Mit: John-Jules Ch Meyer
Erscheinungsdatum: 02.02.2004
Gewicht: 0,719 kg
Artikel-ID: 102481830
Inhaltsverzeichnis
Preface; 1. Introduction; 2. Basics: the modal approach to knowledge; 3. Various notions of knowledge and belief; 4. Knowledge and ignorance; 5. Default reasoning by epistemic logic; References; Appendices; Answers to exercises; Index.
Details
Medium: Taschenbuch
ISBN-13: 9780521602808
ISBN-10: 0521602807
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Meyer, John-Jules Ch
Hersteller: Cambridge University Press
Maße: 246 x 189 x 21 mm
Von/Mit: John-Jules Ch Meyer
Erscheinungsdatum: 02.02.2004
Gewicht: 0,719 kg
Artikel-ID: 102481830
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Buch
Cover: 9781107002548 | Principles of Automated Negotiation | Shaheen Fatima (u. a.) | Buch
Principles of Automated Negotiation
EAN: 9781107002548
Sprache: Englisch
Von/Mit: Shaheen Fatima (u. a.)

57,60 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9783642086427 | Digital Color Management | Jan-Peter Homann | Taschenbuch | Paperback
Digital Color Management
Principles and Strategies for the Standardized Print Production
EAN: 9783642086427
Sprache: Englisch
Von/Mit: Jan-Peter Homann

85,59 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781787125377 | PHP Microservices | Carlos Pérez Sánchez (u. a.) | Taschenbuch | 2017
PHP Microservices
Transit from monolithic architectures to highly available, scalable, and fault-tolerant microservices
EAN: 9781787125377
Sprache: Englisch
Von/Mit: Carlos Pérez Sánchez (u. a.)

56,10 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781784396039 | Learning RSLogix 5000 Programming | Austin Scott | Taschenbuch | 2015
Learning RSLogix 5000 Programming
Building PLC solutions with Rockwell Automation and RSLogix 5000
EAN: 9781784396039
Sprache: Englisch
Von/Mit: Austin Scott

42,55 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9780521106979 | Theories of Programming Languages | John C. Reynolds | Taschenbuch
Theories of Programming Languages
EAN: 9780521106979
Sprache: Englisch
Von/Mit: John C. Reynolds (u. a.)

76,50 €*

Aktuell nicht verfügbar

Buch
Cover: 9783030242763 | Data Envelopment Analysis with R | Farhad Hosseinzadeh Lotfi (u. a.)
Data Envelopment Analysis with R
EAN: 9783030242763
Sprache: Englisch
Von/Mit: Farhad Hosseinzadeh Lotfi (u. a.)

160,49 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781484251898 | Julia Quick Syntax Reference | Antonello Lobianco | Taschenbuch | xvii
Julia Quick Syntax Reference
A Pocket Guide for Data Science Programming
EAN: 9781484251898
Sprache: Englisch
Von/Mit: Antonello Lobianco

58,84 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781780175287 | Artificial Intelligence Foundations | Learning from experience | Buch
Artificial Intelligence Foundations
Learning from Experience
EAN: 9781780175287
Sprache: Englisch
Von/Mit: Andrew Lowe (u. a.)

51,80 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781009005753 | Artificial Economics | Ruben Mercado | Taschenbuch | Paperback | 2021
Artificial Economics
EAN: 9781009005753
Sprache: Englisch
Von/Mit: Ruben Mercado

34,80 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9783031044229 | Applied Deep Learning | Tools, Techniques, and Implementation | Buch
Applied Deep Learning
Tools, Techniques, and Implementation
EAN: 9783031044229
Sprache: Englisch
Von/Mit: Carl Chalmers (u. a.)

53,49 €*

Aktuell nicht verfügbar

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...