Burbano Rodriguez, Rafael Tiberio

Arquitectura, metodología y aplicaciones de los sistemas - QUITO EPN 1989 - 150 p., anexos

FACULTAD DE CIENCIAS /

Incluye referencia bibliográfica

En los dos primeros capítulos se analiza el cálculo proposicional y predicado, y los resultados clásicos de la prueba mecánica de teoremas: el teorema de Herbrand y el principio de resolución de Robinson, se concluye con la aplicación de la resolución al diseño de sistemas de refutación. En el tercer capítulo se analiza la arquitectura de los sistemas expertos mostrándolos como la ampliación de los sistemas de refutación y se estudian las estretegias de exploración en árboles. En el cuatro y último capítulo se consideran algunas aplicaciones, de la prueba de teoremas a la programación lógica, y de los sistemas expertos al diseño de un sistema de integración simbólica y de un sistema verificador de la validez de los silogismos aristotélicos


LOGICA MATEMATICA
LOGICA COMPUTACIONAL
CALCULO PROPOSICIONAL
CALCULO PREDICADO
HERBARND
SISTEMAS EXPERTOS
PROGRAMACION LOGICA
SILOGISMO

Powered by Koha