resumen

Resumen
Este capítulo proporciona una introducción a la lógica como un lenguaje de descripción formal, para representar el conocimiento y el razonamiento al respecto. En primer lugar, da una breve descripción de las ideas subyacentes en lógicas descriptivas. A continuación, se introduce la sintaxis y la semántica, cubriendo los constructores básicos que se utilizan en los sistemas o se hanintroducido en la literatura, y la forma en que estos constructores se pueden utilizar para construir bases de conocimiento.
Por último, define los problemas de inferencia típicos, muestra cómo se relacionan entre sí, y describe los diferentes enfoques para la efectiva resolución de estos problemas. algunos de los los temas que se mencionan brevemente en este capítulo se tratará más detalle en loscapítulos siguientes.
INTRODUCCION
Como se esbozó en el capítulo anterior, lógicas descriptivas (DL) es el más reciente nombre1 para una familia de representación del conocimiento (KR) formalismos que representan la conocimiento de un dominio de aplicación (el "mundo") definiendo en primer lugar la correspondiente conceptos del dominio (su terminología), y luego utilizan estos conceptos paraespecificar propiedades de los objetos y las personas presentes en el dominio (la descripción mundo ción). Como las lógicas descriptivas nombre indica, una de las características de estos idiomas es que, a diferencia de algunos de sus predecesores, que están equipados con un formal, basados ​​en lógica semántica. Otro rasgo distintivo es el énfasis en el razonamiento como un servicio central:razonamiento permite inferir conocimiento representa implícitamente desde el conocimiento de que está explícitamente contenida en la base de conocimientos. Descrip- Logics ción compatible con patrones de inferencia que se producen en muchas aplicaciones de inteligentes sistemas de procesamiento de información, y que también son utilizados por los humanos para estructurar y entender el mundo: laclasificación de los conceptos y las personas. Clasificación
F. Baader, W. Nutt
determina las relaciones de los conceptos subconcepto / superconcept (llamados subsunción relaciones en DL) entre los conceptos de una terminología determinada, y por lo tanto permite uno para estructurar la terminología en la forma de una jerarquía de subsunción. Esta hi- erarchy proporciona información útil sobre la conexiónentre diferentes conceptos, y que puede ser utilizado para acelerar los servicios de inferencia otros. Clasificación de los individuos (U objetos) determina si un individuo dado es siempre una instancia de un cierto concepto (es decir, si esta relación ejemplo está implícito en la descripción de la individual y la definición del concepto). Por lo tanto, proporciona información útil en laspropiedades de un individuo. Además, las relaciones de instancia puede desencadenar la aplicación de las normas que insertan datos adicionales en la base de conocimientos.
Porque lógicas descriptivas son un formalismo KR, y dado que en general, un KR asume que un sistema KR siempre debe responder a las preguntas de un usuario en la razón- tiempo poder, los procedimientos de razonamiento DL investigadoresestán interesados ​​en la decisión son procedimientos, es decir, a diferencia de, por ejemplo, los demostradores de teoremas de primer orden, estos procedimientos deben siempre terminar, tanto para el positivo y en busca de respuestas negativas. Puesto que la garantía de una respuesta en un tiempo finito no necesariamente implica que la respuesta se da en razonable tiempo, la investigación de lacomplejidad computacional de un DL dado con decidible en- problemas de diferencia es una cuestión importante. Decidibilidad y la complejidad de la inferencia problemas dependen de la capacidad expresiva de la lista de lesionados en la mano. Por un lado, listas de distribución muy expresivas son propensos a tener problemas de inferencia de alta complejidad, o pueden incluso ser indecidible. Por...