Descripción
La idea de una base de conocimientos se encuentra en el corazón de la inteligencia artificial simbólica o "anticuada" (GOFAI). Un sistema basado en el conocimiento
decide cómo actuar ejecutando procedimientos de razonamiento formal sobre un cuerpo de conocimiento explícitamente representado, su base de conocimientos. El sistema no está
programado para tareas específicas; más bien, se le dice lo que necesita saber y se espera que infiera el resto.
Este libro trata sobre la lógica de tales bases de conocimientos. Describe en detalle la relación entre las representaciones simbólicas del conocimiento y los estados abstractos del conocimiento, explorando a lo largo del camino, los fundamentos del conocimiento, las bases de conocimiento, los sistemas basados en conocimiento y la representación y el razonamiento del conocimiento. Suponiendo 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 práctico que los modelos anteriores.
La primera edición del libro apareció en el año 2000, y desde entonces su modelo de conocimiento ha sido aplicado y extendido de varias maneras.
Esta segunda edición incorpora una serie de nuevos resultados sobre la lógica de las bases de conocimiento, incluyendo el razonamiento por defecto, el razonamiento sobre la acción
y el cambio, y el razonamiento tratable.
Hector Levesque es Profesor Emérito del Departamento de Ciencias de la Computación de la Universidad de Toronto. Gerhard Lakemeyer es Profesor y Catedrático del Departamento de Ciencias de la Computación de la Universidad RWTH de Aquisgrán, y Profesor (solo por estatus) del Departamento de Ciencias de la Computación de la Universidad de Toronto.
Autor: Hector Levesque, Gerhard Lakemeyer
Editorial: College Publications
Publicado: 01/02/2023
Páginas: 282
Tipo de encuadernación: Tapa blanda
Peso: 0.88lbs
Tamaño: 9.21h x 6.14w x 0.59d
ISBN13: 9781848904200
ISBN10: 1848904207
Categorías BISAC:
- Matemáticas | Lógica
- Filosofía | Lógica
Este título no es retornable