Motor de inferencias
Ontología
Base de Conocimiento
Razonar
Proposición
Bases de Hechos
Lógica no Monotónicas
Lógica de Primer Orden
Encadenamiento hacia adelante
Encadenamiento hacia atrás
Se especifica una meta y se trata de determinar si el objetivo se verifica o no, teniendo en cuenta el contenido de la Base de Hechos.
Conjunto reglas sobre un tema especifico
Es una extensión de la lógica de Proposiciones en la cual se introducen cuantificadores y predicados.
Contiene toda la información actual del problema o tarea a resolver
Expresión en lenguaje natural que solo puede ser falsa o verdadera
Mecanismos que sirve para examinar la Base de Hechos y decir que reglas disparar
Un sistema particular de categorías sistematizando cierta visión del mundo
Comienza con una colección de hechos y aplica de Base de Conocimiento repetidas veces hasta que no se generen nuevos hechos
Obtener conclusiones correctas a partir de ciertas premisas.
Es una extensión de la lógica clásica
