Epistemic Logic for AI and Computer Science

Um unseren Shop nutzen zu können, müssen Sie Javascript in Ihrem Browser aktivieren.

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

83,85 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Sie können kein Produkt in den Warenkorb legen, da Javascript und technisch notwendige Cookies aktiviert sein müssen.

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

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.

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
Seiten:	372
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

preigu-id: 102481830

Inhaltsverzeichnis

Details

Medium:	Taschenbuch
Seiten:	372
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