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