1
Se usan en producción y es donde se utiliza “si” y “entonces.
2
permite pasar de dos premisas a la conclusión.
3
posibilidad de cambiar reglas con relativa independencia.
4
Los ______________ son las conclusiones, acciones o hipótesis
5
Los _____________ son la condiciones
6
es la forma en que obtenemos conclusiones en base de datos y declaraciones establecidas
7
técnica que se utiliza para probar teoremas en la lógica y constituye la base en prolog, lenguaje que manipula en forma computacional la lógica de predicados.
8
Se intenta crear una contradicción con la negación de la sentencia original, demostrando por lo tanto, que la sentencia original es verdadera.
9
característica relevante del dominio.
10
Se entiende como una proposición lógica que relaciona 2 o mas objetos e incluye 2 partes, la premisa y la conclusión