Warning:
JavaScript is turned OFF. None of the links on this page will work until it is reactivated.
If you need help turning JavaScript On, click here.
This Concept Map, created with IHMC CmapTools, has information related to: ABC, BASE DE CONOCIMIENTO que almacena SENTENCIAS, REGLAS DE INFERENCIA (Monótonas) usada para encontrar DEMOSTRACIONES, CONECTIVAS LÓGICAS son DISYUNCIÓN (O), MÉTODOS como MÉTODOS DE BÚSQUEDA LOCAL, ALGORITMOS DE INFERENCIA pueden ser SOLIDOS, SENTENCIAS expresadas mediante LENGUAJE DE REPRESENTACIÓN DEL CONOCIMIENTO (Lógica Proposicional), SOLIDOS como COMPROBACIÓN DE MODELOS (Cojunto finito de modelos posibles), ESTRUCTURA de la PROPOSICIÓN, INFERENCIA LÓGICA crea nuevas SENTENCIAS, AGENTES BASADOS EN CONOCIMIENTO diseñado basado en ENFOQUES, COMPLEJAS a partir de ATÓMICAS, RELACIÓN DE IMPLICACIÓN entre SENTENCIAS, COMPLEJAS usa CONECTIVAS LÓGICAS, BASES DE CONOCIMIENTO EXPRESADAS EN CLÁUSULAS DE HORN usan ALGORITMOS, COMPLETOS en BASES DE CONOCIMIENTO EXPRESADAS EN FNC, CONOCIMIENTO del MUNDO, REGLAS DE INFERENCIA (Monótonas) como MODUS PONENS, DECLARATIVO mediante AGENTES BASADOS EN INFERENCIA, ENFOQUES como PROCEDURAL, COMPROBACIÓN DE MODELOS (Cojunto finito de modelos posibles) tiene MÉTODOS