によって Luis Felipe Marin 9年前.
151
もっと見る
Motor de inferencia
Subtema
Estrategias de inferencia
modus tollens
modus ponens
Tareas Principales
Decide el orden en que se hacen las inferencias.
Examina los hechos y las reglas, y si es posible, añade nuevos hechos
Si se llega al objetivo, se ha resuelto el problema
Si no se puede aplicar ninguna regla, se termina sin éxito
Evaluar las condiciones de todas las reglas respecto a la base de datos
Lenguaje de presentación del conocimiento
Base de conocimiento (BC)