Lectura bibliográfica: Lógica de predicados

A continuación os dejo mi lectura bibliográfica sobre lógica de predicados para la asignatura Sistema Inteligentes:

Con las técnicas de representación del conocimiento que nos ofrece la lógica de predicados, no se garantiza el procedimiento de resolución, para cuando se intenta demostrar aquello que no es un teorema. La pregunta es ¿si existe una contradicción, parará y la encontrará nuestro método?. Lo aquí planteado es la completitud del procedimiento de resolución. Tal y como hemos visto el algoritmo en clase, la respuesta a esa pregunta sería "no". Para garantizar la completitud se deben hacer algunos cambios, estos no suelen realizarse en los sistemas de demostración de teoremas.
Desde el punto de vista computacional, la completitud no es la única cuestión importante.
Para encontrar una demostración en el tiempo limitado del que se dispone, se utilizan dos aproximaciones distintas. La primera consiste en encontrar heurísticas que sirvan de ayuda a los programas demostradores de teoremas, esta se continua investigando actualmente.
La segunda consiste en cambiar los datos que se le proporcionan al programa, en lugar de cambiar este. Así se muestra el hecho de que una base de conocimiento que se compone simplemente de una lista de asertos lógicos, carezca de estructura.
Si conseguimos organizar la estructura de forma que el propio orden de los hechos contuviese información, entonces esta información podría servir para guiar al programa que utilice su conocimiento. Quizás este programa no tenga apariencia de demostrador de teoremas, pero si que puede resolver los problema planteados basados en conocimiento.
Me parecía interesante también abarcar cuestiones de representación del conocimiento que aun no se han podido tratar satisfactoriamente. Esto es debido al empleo de bases de conocimiento incompletas, o la dificultad que tiene representar fenómenos continuos en sistemas discretos. Por ejemplo el predicado "hoy no hace mucho frío" la temperatura es difícilmente representable de forma relativa. O bien, "cualquier joven sabe leer, a menos que se demuestre evidencia de lo contrario", ¿es posible deducir un hecho por ausencia de otro?
A este tipo de problemas se podrán estudiar soluciones más adelante.