Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Razonamiento Lógico: Inteligencia en Redes de Comunicaciones
Razonamiento Lógico: Inteligencia en Redes de Comunicaciones
Razonamiento lgico
ndice
La programacin lgica Lgica de predicados de primer orden Sistemas inferenciales
JVR - 1
La programacin lgica
algoritmo
resultados
especificacin (reglas)
resultados
JVR - 2
Definicin
La lgica es la disciplina que se preocupa de estudiar los aspectos funcionales de las inferencias
(Los aspectos procesales son estudiados por la informtica y la psicologa)
JVR - 4
La lgica de predicados de primer orden estudia razonamientos de tipo deductivo, exactos (true/false) y basados en predicados de primer orden
JVR - 5
Alfabeto de la lgica
Smbolos de constantes, variables, predicados y funciones Conectivas
negacin conjuncin disyuncin condicional bicondicional
Cuantificadores
existencial universal
Smbolos auxiliares
JVR - 6
Interpretacin y asignacin
Interpretacin: correspondencia entre smbolos y elementos de la conceptuacin Asignacin: asociar elementos del universo a las variables de las sentencias Si una sentencia S es verdadera o falsa bajo una cierta interpretacin I y una asignacin A se representa
JVR - 7
Razonamiento deductivo: las premisas implican lgicamente la conclusin S1 y S2 son sentencias equivalentes
JVR - 8
Leyes distributivas
Reduccin al absurdo
JVR - 9
Reglas de inferencia
Las reglas de inferencia son esquemas bsicos de la forma que encadenndolos sirven para hacer razonamientos deductivos en varios pasos (siguiendo un proceso)
modus ponens P1: AB P2: A C: B modus tollens P1: AB P2: B C: A
JVR - 10
Refutacin:
Se utiliza para comprobar si una determinada conclusin es vlida y, en su caso, qu valores de variables la hacen vlida
JVR - 11
Forma clausulada
Para facilitar el procesamiento computacional y poder aplicar la regla de resolucin se usa la forma clausulada:
JVR - 13
Reglas
A1 op1 A2 op2 . . . opn-1 An => B Reglas causales: si causa
deductivas puede admitirse incertidumbre
efecto
posible causa
JVR - 14
Consistencia y completitud
Consistencia: toda conclusin C obtenida es tal que las premisas implican a C Completitud: si las premisas implican a C entonces el proceso que genera el sistema es tal que en alguno de sus estados est incluida C
(permite obtener todas las conclusiones posibles)
JVR - 15
Muy importante!
(como la presuncin de inocencia)
JVR - 16