|
2.- Razonamiento automático
2.1.- Mecanismos de inferencia y razonamiento
2.1.1.- Lógica Proposicional
2.1.1.1.- Cálculo lógico
2.1.1.2.- Semánticas
2.1.2.- Lógica de Predicados
2.1.2.1.- Cálculo lógico
2.1.2.2.- Semánticas
2.2.- Sistemas basados en reglas |