WARNING:
JavaScript is turned OFF. None of the links on this concept map will
work until it is reactivated.
If you need help turning JavaScript On, click here.
Este Cmap, tiene información relacionada con: Patrones de razonamiento, PATRONES DE RAZONAMIENTO tipos Encadenamiento, Hacia delante se utiliza en Bases de conocimientos, PATRONES DE RAZONAMIENTO tipos Eliminación -^, PATRONES DE RAZONAMIENTO tipos Algoritmo de resolución, Hacia atrás se utiliza en Bases de conocimientos, PATRONES DE RAZONAMIENTO tipos Resolución, PATRONES DE RAZONAMIENTO tipos Forma normal conjuntiva, Algoritmo de resolución se covierte a Forma normal conjuntiva, Eliminación -^ infiere cualquiera de los conjuntores de una conjunción, Claúsulas de Horn son Disyunción de literales, de los cuales uno puede ser positivo, Encadenamiento tipos Hacia delante, Resolución obtiene Un algoritmo de inferencia completo, Forma normal conjuntiva representa una sentencia mediante una conjunción de disyunciones literales, Modus Ponens infiere el consecuente de un condicional cuando se afirma el antecedente, Algoritmo de resolución aplica regla de resolución a las cláusulas obtenidas, PATRONES DE RAZONAMIENTO son Reglas de inferencia para encontrar demonstraciones, Encadenamiento tipos Hacia atrás, Bases de conocimientos esxpresadas en Claúsulas de Horn, PATRONES DE RAZONAMIENTO tipos Modus Ponens