Epistemic Logic for Artifcl Intell: 41 (Cambridge Tracts in Theoretical Computer Science, Series Number 41) - Tapa blanda

Libro 20 de 40: Cambridge Tracts in Theoretical Computer Science

Meyer, J.-J. Ch.

 
9780521602808: Epistemic Logic for Artifcl Intell: 41 (Cambridge Tracts in Theoretical Computer Science, Series Number 41)
Tapa blanda
ISBN 10: 0521602807 ISBN 13: 9780521602808
Editorial: Cambridge University Press, 2008

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Acerca del autor

Charlotte y Peter Fiell son dos autoridades en historia, teoría y crítica del diseño y han escrito más de sesenta libros sobre la materia, muchos de los cuales se han convertido en éxitos de ventas. También han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Diseño del siglo XX, El diseño industrial de la A a la Z, Scandinavian Design y Diseño del siglo XXI.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Cambridge University Press
Año de publicación
2008
Idioma
Inglés
ISBN 10 
0521602807
ISBN 13 
9780521602808
Encuadernación
Tapa blanda
Número de páginas
372
Contacto del fabricante
no disponible
Persona responsable
gpsr@libri.de
gpsr@libri.de

Friedensallee 273
Hamburg
22763
Alemania

Otras ediciones populares con el mismo título

9780521460149: Epistemic Logic for AI and Computer Science (Cambridge Tracts in Theoretical Computer Science, Series Number 41)

Edición Destacada

ISBN 10:  052146014X ISBN 13:  9780521460149
Editorial: Cambridge University Press, 1995
Tapa dura