Publicado el 20 de Junio del 2017
788 visualizaciones desde el 20 de Junio del 2017
265,3 KB
29 paginas
Creado hace 8a (22/10/2015)
Resolución
proposicional
Sistemas
deductivos
Pruebas formales
Encadenamiento con
cláusulas de Horn
Resolución
La regla de resolución
Saturación
Estrategias de
resolución
Tema 4:
Resolución Proposicional
Dpto. Ciencias de la Computación Inteligencia Artificial
Universidad de Sevilla
Lógica Informática
(Tecnologías Informáticas)
Curso 2015–16
Contenido
Sistemas deductivos
Pruebas formales
Encadenamiento con cláusulas de Horn
Resolución
La regla de resolución
Saturación
Estrategias de...
Crear cuenta
25 visualizaciones durante los últimos 90 días