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: LPO, RELACIONES como IGUALDAD, REGLAS GENERALES mediante CUANTIFICADOR EXISTENCIAL, CUANTIFICADOR UNIVERSAL tienen RELACIONES, DOMINIOS estructurados por AXIOMAS, TEOREMAS a partir de AXIOMAS, CARACTERÍSTICAS como el ser COMPOSICIONAL, USOS como DECIR (ASERCIÓN), SINCRÓNICAS configuran SISTEMAS DE RAZONAMIENTO BASADOS EN MODELOS, LÓGICA DE PRIMER ORDEN tiene CARACTERÍSTICAS, RELACIONES como NEGACIÓN, CUANTIFICADAS usan REGLAS GENERALES, SENTENCIAS pueden ser ATÓMICAS, MODELOS O MUNDOS POSIBLES mediante SINTAXIS, FUNCIONES identificados por SÍMBOLOS DE FUNCIÓN, INGENIERÍA DEL CONOCIMIENTO Proceso general de construcción de una base de conocimiento de propósito específico con lógica de primer orden tiene PASOS, LÓGICA DE PRIMER ORDEN define MODELOS O MUNDOS POSIBLES, LÓGICA DE PRIMER ORDEN tiene COMPROMISOS, AXIOMAS son SENTENCIAS, SINTAXIS a partir de FUNCIONES, RELACIONES identificados por SÍMBOLOS DE PREDICADO