Estadísticas del PDF: Verificacióon automática de sistemas de razonamiento

Verificaci´on autom´atica de sistemas de razonamiento∗

(aplicaci´on a la ense˜nanza de la Inteligencia Artificial)

J.L. Ruiz, F.J. Mart´ın, J.A. Alonso, M.J. Hidalgo

Departamento de Ciencias de la Computaci´on e Inteligencia Artificial

Universidad de Sevilla

{jruiz,fjesus,jalonso,mjoseh}@cica.es

Resumen

En este art´ıculo proponemos el uso de sistemas
de demostraci´on autom´atica como herramienta
pr´actica en la ense˜nanza de las asignaturas de
Ciencias de la Computaci´on e Inteligencia Arti-...