Arquitectura, metodología y aplicaciones de los sistemas

By: Burbano Rodriguez, Rafael TiberioContributor(s): Kostikova Kostikova, Margarita [Director de Tesis]Material type: Mixed materialsMixed materialsPublisher: QUITO EPN 1989Description: 150 p., anexosSubject(s): LOGICA MATEMATICA | LOGICA COMPUTACIONAL | CALCULO PROPOSICIONAL | CALCULO PREDICADO | HERBARND | SISTEMAS EXPERTOS | PROGRAMACION LOGICA | SILOGISMOOther classification: T-FCM Online resources: Este ítem está sujeto a una licencia Creative Commons Dissertation note: FACULTAD DE CIENCIAS / 1989 Summary: 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
Tags from this library: No tags from this library for this title.
    Average rating: 0.0 (0 votes)
Item type Current location Call number Copy number Status Date due Barcode Item holds
Tesis Tesis BIBLIOTECA GENERAL
T-FCM/0018 (Browse shelf) Ej. 1 Available 018285
Total holds: 0

FACULTAD DE CIENCIAS / 1989

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

There are no comments on this title.

to post a comment.
Share

Powered by Koha