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: Agentes Logicos.cmap, Inferencia como la Asignacion de los Valores Verdaderos y falsos sobre cada símbolo proposicional, Incomplentos para la Detección directa de hoyos, Lògica Proposicional Es el Intrumento Principal, Pequeños circuitos acíclicos y no demasiado Incomplentos, El conjunto de todas las cláusulas derivables obtenidas mediante La aplicación repetida de la Resolución, A partir de sentencias más simples mediante el uso de las conectivas lógicas, estas son (no, y, o, implica, si y solo si) Estas se contruyen Sentencia Compleja, Disponer de Copias diferentes sobre su Conocimiento por cada instante de Tiempo, Dos cláusulas y genera una cláusula nueva con los literales de las 2 cláusulas originales menos los literales complemetarios, Eficiencia Computacional en el peor de los casos Puede Tomar un tiempo exponencial, Satisfactoria si es Verdadera en algún Modelo, Tipo particular de Agente Reflexivo con Estado Interno, Resolución toma Dos cláusulas y genera una cláusula nueva, Su ejecución en Tiempo lineal respecto a Su tamaño, Lògica Proposicional contiene Patrones, Sentencia se construyen a parit de Cinco Conectivas Lógicas, Intrumento Principal Para representar El conocimiento y el razonamiento, Sentencias Atómicas son Verdaderas, Estado Interno determinando Las entradas de un circuito secuencial, Sentencias Atómicas son Falsas, Cláusulas en las que todos los literales menos uno Tienen asignado el valor Falso en el modelo