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: Lógica, LÓGICA comprende Razonamiento lógico, Algoritmos de inferencia deben ser Sólidos, Inferencia Lógica tiene Algoritmos de inferencia, Lenguaje de representación del conocimiento contiene Sintaxis, Implicación permite realizar Inferencia Lógica, Lenguaje de representación del conocimiento contiene Semántica, Razonamiento lógico requiere Implicación, Algoritmos de inferencia deben ser Completos, Algoritmos de inferencia ejemplo Algoritmo de comprobación de modelos, LÓGICA comprende Representación del conocimiento, Representación del conocimiento utiliza Lenguaje de representación del conocimiento, Algoritmo de comprobación de modelos tipos Algoritmo con backtracking, Algoritmo de comprobación de modelos tipos Algortimos de búsqueda local