La lógica de las bases del conocimiento

Título original:

The Logic of Knowledge Bases

Contenido del libro:

La idea de una base de conocimientos está en el corazón de la inteligencia artificial simbólica o "a la antigua" (GOFAI). Un sistema basado en el conocimiento

Decide cómo actuar ejecutando procedimientos de razonamiento formal sobre un conjunto de conocimientos explícitamente representados, su base de conocimientos. El sistema es.

No está programado para tareas específicas, sino que se le dice lo que necesita saber y se espera que deduzca el resto.

Este libro trata de la lógica de estas bases de conocimiento. Describe en detalle la relación entre las representaciones simbólicas del conocimiento y los estados abstractos del conocimiento, explorando en el camino los fundamentos del conocimiento, las bases de conocimiento, los sistemas basados en el conocimiento y la representación y razonamiento del conocimiento. Asumiendo cierta familiaridad con la lógica de predicados de primer orden, el libro ofrece un modelo matemático riguroso del conocimiento que es general y expresivo, pero más factible en la práctica que los modelos anteriores.

La primera edición del libro apareció en el año 2000, y desde entonces su modelo de conocimiento se ha aplicado y ampliado de diversas maneras.

Esta segunda edición incorpora una serie de nuevos resultados sobre la lógica de las bases de conocimiento, como el razonamiento por defecto, el razonamiento sobre la acción

y el cambio, y el razonamiento trazable.

Hector Levesque es Profesor Emérito del Departamento de Informática de la Universidad de Toronto. Gerhard Lakemeyer es Catedrático y Presidente del Departamento de Informática de la Universidad RWTH de Aquisgrán y Catedrático (sólo estatuto) del Departamento de Informática de la Universidad de Toronto.