Name: Epistemic Logic for ai and Computer Science Paperback (Cambridge Tracts in Theoretical Computer Science) (en Inglés)
SKU: 19218535
Price: 111110.00 CLP
Availability: InStock
Author: J.-J. Ch. Meyer
ISBN: 9780521602808

portada Epistemic Logic for ai and Computer Science Paperback (Cambridge Tracts in Theoretical Computer Science) (en Inglés)

Epistemic Logic for ai and Computer Science Paperback (Cambridge Tracts in Theoretical Computer Science) (en Inglés)

Formato

Libro Físico

Editorial

Cambridge University Press

Autor

J.-J. Ch. Meyer

Año

2004

Idioma

Inglés

N° páginas

372

Encuadernación

Tapa Blanda

ISBN

0521602807

ISBN13

9780521602808

Categorías

Sistemas expertos/sistemas basados en el conocimiento

Epistemic Logic for ai and Computer Science Paperback (Cambridge Tracts in Theoretical Computer Science) (en Inglés)

J.-J. Ch. Meyer (Autor) · Cambridge University Press · Tapa Blanda

Libro Nuevo Importado

Envío: 15 a 19 días háb.

$ 202.010$ 111.110

-45%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Última Unidad

$ 111.110

Llega entre el 22 Sep y el 28 Sep a Santiago, Región Metropolitana. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Epistemic Logic for ai and Computer Science Paperback (Cambridge Tracts in Theoretical Computer Science) (en Inglés)"

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.