|
2.- Razoamento automático
2.1.- Mecanismos de inferencia e razoamento
2.1.1.- Lóxica Proposicional
2.1.1.1.- Cálculo lóxico
2.1.1.2.- Semánticas
2.1.2.- Lóxica de Predicados
2.1.2.1.- Cálculo lóxico
2.1.2.2.- Semánticas
2.2.- Sistemas baseados en regras |