Tema 7: Formas normales: Formas prenex y de Skolem
|
|
- Pilar Coronel Cuenca
- hace 6 años
- Vistas:
Transcripción
1 Tema 7: Formas normales: Formas prenex y de Skolem Dpto. Ciencias de la Computación Inteligencia Artificial Universidad de Sevilla Lógica Informática (Ingeniería del Software) Curso LI(IS), Formas de Skolem 7.1
2 Contenido Formas prenexas Formas de Skolem Forma clausal LI(IS), Formas de Skolem 7.2
3 Introducción En este tema veremos como reducir, hasta cierto punto, el razonamiento en lógica de primer orden al razonamiento proposicional. Nuestro objetivo es introducir la forma clausal de un conjunto de fórmulas de la lógica de primer orden y presentar la base del método de resolución para esta lógica. Para la lógica de primer orden la reducción obtenida mediante forma clausal no es tan fuerte como en el caso de la lógica proposicional: una fórmula no es equivalente a su forma clausal, sólo se tiene equiconsistencia. LI(IS), Formas de Skolem 7.3
4 Equivalencia entre fórmulas Recordemos que si F y G son fórmulas de un lenguaje de primer orden, entonces F y G son equivalentes, F G, si y sólo si F G es lógicamente válida. Para fórmulas cerradas, F G si y sólo si F y G tienen los mismos modelos. La equivalencia entre fórmulas no cerradas: F ( x) G( x) sii = x(f ( x) G( x)) Ejemplos: Las equivalencias proposicionales son válidas en lógica de primer orden. Otras equivalencias importantes expresan propiedades de los cuantificadores: x(f G) xf xg. Utilizaremos las equivalencias para reescribir las fórmulas. LI(IS), Formas de Skolem 7.4
5 Forma normal prenexa Una fórmula F de un lenguaje de primer orden está en forma normal prenexa (o forma prenex) si es de la forma Q 1 x 1 Q 2 x 2 Q n x n G(x 1,..., x n ) donde Q i {, } y G(x 1,..., x n ) es abierta. Es decir, una fórmula en forma prenex está formada por un bloque inicial de cuantificadores seguido por una fórmula abierta. Decimos que una fórmula H es una forma normal prenexa de F si F y H son equivalentes y H está en forma prenex. LI(IS), Formas de Skolem 7.5
6 Operaciones prenex Objetivo: Trasladar todos los cuantificadores a la parte inicial de la fórmula para obtener una forma normal prenexa. Para obtener esta forma normal utilizamos operaciones prenex: Operación Subfórmula Cambiar por Restricción (P1) xg yg{x/y} y / VL(G) xg yg{x/y} y / VL(G) (P2) xf x F xg x G (P3) xg H x(g H) x / VL(H) G xh x(g H) x / VL(G) xg H x(g H) x / VL(H) G xh x(g H) x / VL(G) siendo VL(F ) el conjunto de las variables libres de F. LI(IS), Formas de Skolem 7.6
7 Operaciones prenex (II) Para las demás conectivas tenemos las operaciones prenex: Operación Subfórmula Cambiar por Restricción (P4) xg H x(g H) x / VL(H) xg H x(g H) x / VL(H) (P5) G xh x(g H) x / VL(G) G xh x(g H) x / VL(G) (P6) xg H x(g H) x / VL(H) G xh x(g H) x / VL(G) xg H x(g H) x / VL(H) G xh x(g H) x / VL(G) Observación: Si F se obtiene de F por aplicación de una operación prenex, entonces F F. LI(IS), Formas de Skolem 7.7
8 Transformación a forma prenexa Para cada fórmula F existe otra fórmula G en forma prenexa que es equivalente a F. Para obtener G aplicamos la siguiente transformación a F : 1. Si aparece la conectiva la expresamos de forma equivalente usando y. 2. Renombramos las variables de cada subfórmula elemental (es decir, de la forma v H, o bien, v H), para que no interfieran las cuantificaciones. Para ello utilizamos la operación (P1). 3. Trasladamos negaciones usando (P2). 4. Aplicamos las reglas (P3) (P6). LI(IS), Formas de Skolem 7.8
9 Ejemplos Sea F (z, y) x y(x + z = y) z x(x y = 0 + z) 1. x 1 y 1 (x 1 + z = y 1 ) z 2 x 2 (x 2 y = 0 + z 2 ) 2. x 1 ( y 1 (x 1 + z = y 1 ) z 2 x 2 (x 2 y = 0 + z 2 )) 3. x 1 y 1 ((x 1 + z = y 1 ) z 2 x 2 (x 2 y = 0 + z 2 )) 4. x 1 y 1 z 2 ((x 1 + z = y 1 ) x 2 (x 2 y = 0 + z 2 )) 5. x 1 y 1 z 2 x 2 ((x 1 + z = y 1 ) (x 2 y = 0 + z 2 )) Otro ejemplo x P(x, a) ( z P(x, z) x P(x, a)) x 1 (P(x 1, a) ( z 2 P(x, z 2 ) x 3 P(x 3, a))) x 1 (P(x 1, a) z 2 (P(x, z 2 ) x 3 P(x 3, a))) x 1 (P(x 1, a) z 2 x 3 (P(x, z 2 ) P(x 3, a))) x 1 z 2 x 3 (P(x 1, a) P(x, z 2 ) P(x 3, a)) LI(IS), Formas de Skolem 7.9
10 Formas de Skolem Objetivo: Restringir la complejidad sintáctica de las fórmulas de primer orden, sin perder expresividad. Trabajaremos con fórmulas cerradas. Primer paso: Trasladar los cuantificadores a la izquierda obteniendo un forma normal prenexa. El siguiente paso es eliminar los cuantificadores existenciales hasta obtener una fórmula universal (es decir, una fórmula en forma prenex que sólo contiene cuantificadores universales). La fórmula universal obtenida al final de estas transformaciones es una forma de Skolem de la fórmula inicial. El proceso de eliminación aumenta el lenguaje con nuevos símbolos de función y nuevas constantes. En general, NO existe equivalencia entre la fórmula obtenida y la fórmula inicial, aunque se conserva la consistencia de la fórmula original. LI(IS), Formas de Skolem 7.10
11 Funciones y constantes de Skolem Para eliminar los cuantificadores existenciales de una fórmula en forma prenexa aplicamos las siguientes reglas: Por cada bloque x 1 x n yf (x 1,..., x n, y) introducir un nuevo símbolo de función g (aridad n), y reescribir como x 1... x n F (x 1,..., x n, g(x 1,..., x n )) (decimos que x 1... x n F (x 1,..., x n, g(x 1,..., x n )) se obtiene a partir de x 1 x n yf (x 1,..., x n, y) introduciendo una función de Skolem). Por cada bloque del tipo xf (x) añadir una nueva constante c y reescribir como F (c). (Se dice que F (c) se obtiene a partir de x F (x) introduciendo una constante de Skolem). LI(IS), Formas de Skolem 7.11
12 Funciones y constantes de Skolem: Propiedades g se denomina una función de Skolem y c una constante de Skolem. La introducción de funciones y constantes de Skolem conserva la consistencia. Es decir, dada una fórmula F, si F se obtiene a partir de F introduciendo una función o una constante de Skolem, entonces, F tiene un modelo F tiene un modelo. Además, la introducción de funciones y constantes de Skolem, no aumenta el conocimiento deducible en el lenguaje original. Es decir, Si F es una fórmula cerrada de un lenguaje de primer orden L y F se obtiene a partir de F introduciendo una función o una constante de Skolem, entonces para toda fórmula H del lenguaje L se tiene: F = H F = H LI(IS), Formas de Skolem 7.12
13 Formas de Skolem Sea L un LPO y F una fórmula cerrada de L. Una forma de Skolem de F es una fórmula universal G que se obtiene a partir de una forma prenexa de F mediante introducciones sucesivas de funciones o constantes de Skolem. Dado un conjunto Σ = {F 1,..., F n } de fórmulas cerradas de L, sea Σ el conjunto formado por las fórmulas de Skolem de lo elementos de Σ. Entonces, Σ tiene un modelo si y sólo si Σ tiene un modelo. Para toda fórmula H del lenguaje L, Σ = H Σ = H LI(IS), Formas de Skolem 7.13
14 Ejemplo x y z(padre de(y, x) Padre de(z, y)) Dependencia de y con respecto a x: Elegimos mediante una función f 1 : x z(padre de(f 1 (x), x) Padre de(z, f 1 (x))) Dependencia de z con respecto a x: Elegimos mediante una función f 2 : x(padre de(f 1 (x), x) Padre de(f 2 (x), f 1 (x))) La fórmula universal x (Padre de(f 1 (x), x) Padre de(f 2 (x), f 1 (x))) es una Forma de Skolem de la fórmula inicial. LI(IS), Formas de Skolem 7.14
15 Otros ejemplos x 1 y 1 z 2 x 2 y 2 ((x 1 + b = y 1 ) (x 2 y 2 = 0 + z 2 )) 1. y 1 z 2 x 2 y 2 ((c 1 + b = y 1 ) (x 2 y 2 = 0 + z 2 )) [c nueva constante] 2. y 1 x 2 y 2 ((c 1 + b = y 1 ) (x 2 y 2 = 0 + f (y 1 ))) [f nuevo símbolo de función de aridad 1] 3. y 1 x 2 ((c 1 + b = y 1 ) (x 2 g(y 1, x 2 ) = 0 + f (y 1 ))) [g nuevo símbolo de función de aridad 2] 4. Forma de Skolem: y 1 x 2 ((c 1 + b = y 1 ) (x 2 g(y 1, x 2 ) = 0 + f (y 1 )))) En el lenguaje LO = {<, =} Sea F x y(x < y x = y) Forma de Skolem: y (c < y c = y) F x z (x < z y(x < y y < z). Forma de Skolem: x z (x < z x < f (x, z) f (x, z) < z). LI(IS), Formas de Skolem 7.15
16 Cláusulas Sea L un LPO. Una fórmula F es un literal si es una fórmula atómica o la negación de una fórmula atómica. Una cláusula es una disyunción de literales. Por tanto, es una fórmula abierta. Como en el caso de la lógica proposicional, identificaremos una cláusula con el conjunto de los literales que aparecen en ella. Denotaremos por a la cláusula vacía. Dada una fórmula F de L una forma clausal de F es un conjunto de cláusulas S (no necesariamente del lenguaje L) tal que F tiene un modelo S tiene un modelo LI(IS), Formas de Skolem 7.16
17 Forma clausal Para obtener una forma clausal de una fórmula F (x 1,..., x n ) seguimos los siguientes pasos: 1. Obtener el cierre universal de F (x 1,..., x n ). Es decir, la fórmula G dada por x 1... x n F (x 1,..., x n ). 2. Obtener una forma de Skolem de G. Dicha forma de Skolem es una fórmula universal G S. 3. Eliminar los cuantificadores universales de G S. Así obtenemos una fórmula abierta H. 4. Obtener una forma normal conjuntiva de H (siguiendo el mismo procedimiento que en el caso proposicional). Dicha forma será n j=1 siendo cada C j una cláusula. 5. La forma clausal de F es el conjunto de cláusulas S = {C 1,..., C n }. LI(IS), Formas de Skolem 7.17 C j
18 Ejemplos x[ y H(x, y) z u(u z P(z, u))] x y [H(x, y) z u(u z P(z, u))] x y z u[h(x, y) (u z P(z, u))] x z u [H(x, F 1 (x)) (u z P(z, u))] x u[h(x, F 1 (x)) (u F 2 (x) P(F 2 (x), u))] Forma clausal: {{ Hermano(x, F 1 (x)), u = F 2 (x), Padre de(f 2 (x), u)}} x z(x < z y(x < y y < z)) Forma clausal (( (x < z) x < f (x, z)) ( (x < z) f (x, z) < z)) O también {{ (x < z), x < f (x, z)}, { (x < z), f (x, z) < z)}} LI(IS), Formas de Skolem 7.18
19 Forma clausal de un conjunto de fórmulas Una forma clausal de un conjunto Γ es un conjunto de cláusulas S tal que Γ tiene un modelo S tiene un modelo Si Γ = {F 1,..., F n } es un conjunto de fórmulas podemos obtener una forma clausal de Γ calculando, por el método anterior, una forma clausal S j para cada elemento F j de Γ. La forma clausal de Γ es entonces el conjunto de cláusulas: S = S 1 S n LI(IS), Formas de Skolem 7.19
Resolución en lógica de primer orden
Resolución en lógica de primer orden Eduardo Bonelli Departamento de Computación, FCEyN, UBA 15 de mayo, 2006 Clase pasada Repasamos lógica proposicional Introdujimos el método de resolución para lógica
Más detallesTema 8: Formas normales.
Lógica informática Curso 2003 04 Tema 8: Formas normales. Cláusulas José A. Alonso Jiménez Andrés Cordón Franco Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla LI 2003
Más detallesLógica informática ( )
1 / 23 Lógica informática (2011 12) Tema 9: de Skolem y cláusulas José A. Alonso Jiménez Andrés Cordón Franco María J. Hidalgo Doblado Grupo de Lógica Computacional Departamento de Ciencias de la Computación
Más detalles1. Resolución en lógica proposicional
1. Resolución en lógica proposicional 1.1. Introducción 1.1.1. Pseudo-motivación Si tengo una fórmula de proposicional, puedo probar con fuerza bruta todas las valuaciones a ver si es satisfactible? Si
Más detallesCapítulo 2 El Método de Resolución
Capítulo 2 El Método de Resolución En este capítulo se realiza una descripción general del método de resolución, dado que el programa de razonamiento automático OTTER lo utiliza y prueba a través de refutación.
Más detallesLógica de Predicados de Primer Orden
Lógica de Predicados: Motivación Todo natural es entero y 2 es un natural. Luego 2 es entero. p q r p, q r es claramente un razonamiento válido pero no es posible demostrarlo desde la Lógica Proposicional
Más detallesInteligencia en Redes de Comunicaciones. Razonamiento lógico. Julio Villena Román.
Inteligencia en Redes de Comunicaciones Razonamiento lógico Julio Villena Román jvillena@it.uc3m.es Índice La programación lógica Lógica de predicados de primer orden Sistemas inferenciales IRC 2009 -
Más detallesTema 2: Métodos de Deducción para la Lógica Proposicional
Tema 2: Métodos de Deducción para la Lógica Proposicional Dpto. Ciencias de la Computación Inteligencia Artificial Universidad de Sevilla Lógica y Computabilidad Curso 2010 11 LC, 2010 11 Métodos de Deducción
Más detallesPALABRA CLAVE Interpretación lógica
Curso 2009- Bloque II: Teoría a Semántica Tema 5: Conceptos Semánticos Básicos B (Cap-3 3 libro) Tema 6: Técnicas y Métodos M Semánticos para validar argumentos (Cap-3 3 libro) Objetivos Aprender los conceptos
Más detallesClase 5 1. Lógica de predicados. Razonamientos
Clase 5 1 Lógica de predicados Razonamientos Clase 5 2 LOGICA - INTRODUCCION!OBJETIVO Uno de los fundamentales objetivos ha sido el estudio de las DEDUCCIONES, RAZONAMIENTOS O ARGUMENTOS RAZONAMIENTOS
Más detallesLógica y Programación
Lógica y Programación Formas Normales J.-A. Alonso, F.-J. Martín-Mateos, J.-L. Ruiz-Reina Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla Lógica y Programación - Tema
Más detallesLógica y Programación
Lógica y Programación Formas Normales Antonia M. Chávez, Agustín Riscos, Carmen Graciani Dpto. Ciencias de la Computacion e Inteligencia Artificial Universidad de Sevilla Introducción Simplificar las fórmulas
Más detallesTema 1: Sintaxis y Semántica de la Lógica Proposicional
Tema 1: Sintaxis y Semántica de la Lógica Proposicional Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla Lógica y Computabilidad Curso 2010 11 LC, 2010 11 Lógica Proposicional
Más detallesTema 10: Conceptos Metalógicos
Facultad de Informática Grado en Ingeniería Informática Lógica PARTE 2: LÓGICA DE PRIMER ORDEN Tema 10: Conceptos Metalógicos Profesor: Javier Bajo jbajo@fi.upm.es Madrid, España 12/11/2012 Introducción
Más detallesInteligencia en Redes de Comunicaciones - 04 Razonamiento lógico
El objetivo del Tema 4 es presentar una panorámica general sobre cómo se pueden realizar razonamientos lógicos en un sistema software. 1 Esta es la tabla de contenidos del tema: se estudia la programación
Más detallesINTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN
INTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN Referencias: Inteligencia Artificial Russell and Norvig Cap.6. Artificial Intellingence Nils Nilsson Ch.4
Más detalles2.1. Introducción Lógica: Campo del conocimiento relacionado con el estudio y el análisis de los métodos de razonamiento. El razonamiento lógico es es
Tema 2. Introducción a la lógica 1. Introducción 2. Lógica de proposiciones 1. Definiciones 2. Sintaxis 3. Semántica Bibliografía Matemática discreta y lógica. Grassman y Tremblay. 1997. Prentice Hall.
Más detallesLógica Proposicional Lenguaje Proposicional Implicación semántica
Capítulo 1 Lógica Proposicional 1.1. Lenguaje Proposicional Un lenguaje proposicional consta de los siguientes símbolos: las proposicones atómicas, también llamados enunciados atómicos o simplemente variables
Más detallesTema 3 Equivalencia. Formas normales.
Tema 3 Equivalencia. Formas normales. Lógica Proposicional Antonio de J. Pérez Jiménez Departamento Ccia. Lógica Informática Antonio de J. Pérez Jiménez (Departamento Ccia.) Tema 3 Equivalencia. Formas
Más detallesMétodos de Inteligencia Artificial
Métodos de Inteligencia Artificial L. Enrique Sucar (INAOE) esucar@inaoep.mx ccc.inaoep.mx/esucar Tecnologías de Información UPAEP Contenido Lógica proposicional Lógica de predicados Inferencia en lógica
Más detallesLógica de predicados 3. Sintaxis. Juan Carlos León Universidad de Murcia
Lógica de predicados 3. Sintaxis Juan Carlos León Universidad de Murcia Esquema del tema 3.1. Fórmulas bien formadas y funciones proposicionales 3.2. Alcance. Variables libres y ligadas 3.3. Teoremas 3.4.
Más detallesTeoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes
FUNCIONES DE VARIABLE COMPLEJA 1 Teoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes Lógica Matemática Una prioridad que tiene la enseñanza de la matemática
Más detallesALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS.
ALGEBRA y ALGEBRA LINEAL 520142 Primer Semestre CAPITULO I LOGICA Y CONJUNTOS. DEPARTAMENTO DE INGENIERIA MATEMATICA Facultad de Ciencias Físicas y Matemáticas Universidad de Concepción 1 La lógica es
Más detallesCoordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo. Contenidos
Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo Complementos Contenidos Clase 1: Elementos de lógica: Conectivos, tablas de verdad, tautologías y contingencias.
Más detallesTema 2: Equivalencias y formas normales
Lógica informática Curso 2003 04 Tema 2: Equivalencias y formas normales José A. Alonso Jiménez Andrés Cordón Franco Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla
Más detallesLógica y Programación
Lógica y Programación Diagramas de Decisión Binarios J.-A. Alonso, F.-J. Martín-Mateos, J.-L. Ruiz-Reina Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla Lógica y Programación
Más detallesLógica informática ( )
1 / 45 Lógica informática (2012 13) Tema 7: Sintaxis y semántica de la lógica de primer orden José A. Alonso Jiménez Andrés Cordón Franco María J. Hidalgo Doblado Grupo de Lógica Computacional Departamento
Más detallesLógica de predicados
Lógica de predicados Cálculo de predicados Hay ciertos argumentos que parecen ser perfectamente lógicos y que no pueden ser especificados usando cálculo proposicional. Ejemplos: Todos los gatos tienen
Más detallesCálculo de predicados. Lógica de predicados. Cálculo de predicados. Cálculo de predicados 08/06/2011
Lógica de predicados Hay ciertos argumentos que parecen ser perfectamente lógicos y que no pueden ser especificados usando cálculo proposicional. Ejemplos: Todos los gatos tienen cola Tomás es un gato
Más detallesUNIDAD I: LÓGICA MATEMÁTICA
UNIDAD I: LÓGICA MATEMÁTICA 1.1. Introducción La Lógica Matemática es la rama de las Matemáticas que nos permite comprender sobre la validez o no de razonamientos y demostraciones que se realizan. La lógica
Más detallesSoluciones del examen de Lógica informática (Grupos 1 y 2) del 23 de Septiembre de José A. Alonso Jiménez
Soluciones del examen de Lógica informática (Grupos 1 y 2) del 23 de Septiembre de 2005 José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación e Inteligencia Artificial
Más detallesLógica de proposiciones
1 Introducción Lenguaje lógico simbólico más sencillo. Permite representar sentencias simples del lenguaje natural mediante formulas atómicas, cuya composición representa sentencias más complejas: p temperatura
Más detallesSistemas deductivos. Lógica Computacional. Curso 2005/2006. Departamento de Matemática Aplicada Universidad de Málaga
Sistemas deductivos Lógica Computacional Departamento de Matemática plicada Universidad de Málaga Curso 2005/2006 Contenido 1 Sistema axiomático de Lukasiewicz Sistema proposicional Extensión a predicados
Más detallesLógica y Programación
Lógica y Programación Cálculo de Secuentes Antonia M. Chávez, Agustín Riscos, Carmen Graciani Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla Definiciones Objetivo: Resolver
Más detallesResumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón.
Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón. 0.1. Elementos de lógica Una proposición es una oración declamativa a la cual se le puede asignar un valor verdad: verdadera (V)
Más detallesLógica Proposicional. Sergio Stive Solano Sabié. Abril de 2013
Lógica Proposicional Sergio Stive Solano Sabié Abril de 2013 Lógica Proposicional Sergio Stive Solano Sabié Abril de 2013 Proposiciones Definición 1.1 Una proposición (o declaración) es una oración declarativa
Más detallesSintaxis LÓGICA COMPUTACIONAL CÁLCULO DE PROPOSICIONES. Funciones boolenas. Semántica
Proposiciones atómicas y compuestas Sintaxis LÓGICA COMPUTACIONAL CÁLCULO DE PROPOSICIONES Francisco Hernández Quiroz Departamento de Matemáticas Facultad de Ciencias, UNAM E-mail: fhq@cienciasunammx Página
Más detallesIntroducción a la Lógica
Tema 0 Introducción a la Lógica En cualquier disciplina científica se necesita distinguir entre argumentos válidos y no válidos. Para ello, se utilizan, a menudo sin saberlo, las reglas de la lógica. Aquí
Más detallesTEMA 1: LÓGICA. p p Operador conjunción. Se lee y y se representa por. Su tabla de verdad es: p q p q
TEMA 1: LÓGICA. Definición. La lógica es la ciencia que estudia el razonamiento formalmente válido. Para ello tiene un simbolismo que evita las imprecisiones del lenguaje humano y permite comprobar la
Más detallesLógicaS Modales. Ricardo Oscar Rodríguez Departamento de Computación, Fac. Ciencias Exactas y Naturales, Universidad de Buenos Aires, Argentina.
Departamento de Computación, Fac. Ciencias Exactas y Naturales, Universidad de Buenos Aires, Argentina. Segunda Clase. 1er. Cuatrimestre, 2016 Outline 1 Repaso clase anterior Sintáxis Lógicas Modales Autocongruentes
Más detallesResolución Proposicional
Resolución Proposicional IIC2213 IIC2213 Resolución Proposicional 1 / 19 Resolución proposicional Sabemos que Σ = ϕ si y sólo si Σ { ϕ} es inconsistente. Cómo verificamos si Σ { ϕ} es inconsistente? El
Más detallesLÓGICA FORMAL TEORIAS DE PRIMER ORDEN. Axiomática
LÓGICA FORMAL TEORIAS DE PRIMER ORDEN Francisco Bueno Pedro López Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Teoría de Primer Orden 1 Formalmente,
Más detallesCIENCIAS FORMALES CIENCIAS FÁCTICAS
UNA CLASIFICACIÓN DE LAS CIENCIAS CIENCIAS FORMALES CIENCIAS FÁCTICAS CIENCIAS FORMALES MATEMÁTICA LÓGICA CIENCIAS FÁCTICAS FÍSICA BIOLOGÍA QUÍMICA CIENCIAS SOCIALES OTRAS CIENCIAS FORMALES VOCABULARIO
Más detallesParadigma lógico Lógica proposicional Resolución. Programación Lógica. Eduardo Bonelli. Departamento de Computación FCEyN UBA. 10 de octubre, 2006
Departamento de Computación FCEyN UBA 10 de octubre, 2006 Prolog Se basa en el uso de la lógica como un lenguaje de programación Se especifican ciertos hechos y reglas de inferencia un objetivo ( goal
Más detallesCurso LÓGICA Examen de recuperación de lógica proposicional
Curso 2013-2014 LÓGICA Examen de recuperación de lógica proposicional 13-01-2014 1.1. Formalizar en el lenguaje de la lógica proposicional el siguiente razonamiento: (2,5 puntos) Es necesario que estudie
Más detallesLÓGICA DE PROPOSICIONAL Y PREDICADOS INGENIERÍA DE SISTEMAS
LÓGICA DE PROPOSICIONAL Y PREDICADOS INGENIERÍA DE SISTEMAS Patricia Zamora Villalobos John Alexander Coral Llanos Josué Maleaño Trejos Prof. Francisco Carrera Fecha de entrega: miércoles de setiembre
Más detallesCurso Extraordinario INTELIGENCIA ARTIFICIAL Y SISTEMAS EXPERTOS
Curso Extraordinario INTELIGENCIA ARTIFICIAL Y SISTEMAS EXPERTOS Contenidos del Curso Introducción a la I.A. Cómo razonamos?. Algunas experiencias con el razonamiento automático El problema de representación
Más detallesTema 3 Repaso de Lógica
II. Razonamiento con conocimiento preciso Tema 3 Repaso de Lógica Sistemas Basados en el Conocimiento Grado en Ingeniería Informática Razonamiento con conocimiento preciso Tema 2. Sistemas Basados en Reglas
Más detallesIntroducción a la Lógica Proposicional Seminario de Matemáticas
Introducción a la Lógica Proposicional Seminario de Matemáticas Julio Ariel Hurtado Alegría ahurtado@unicauca.edu.co 8 de mayo de 2015 Julio A. Hurtado A. Departamento de Sistemas 1 / 34 Agenda Motivación
Más detallesREGLAS Y LEYES LOGICAS
LOGICA II REGLAS Y LEYES LOGICAS Una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada para inferir deductivamente ciertos enunciados a partir de otros.
Más detallesLógica y Programación
Lógica y Programación Sintaxis y semántica de la lógica proposicional Antonia M. Chávez, Carmen Graciani, Agustín Riscos Dpto. Ciencias de la Computacion e Inteligencia Artificial Universidad de Sevilla
Más detallesLógica Proposicional. Significado de una Fórmula Proposicional
Proposicional Semántica Semántica Proposicional - Significado de una Fórmula Proposicional El significado de una proposición está dado por su valor de verdad (o sea, si es Verdadera o Falsa) que se obtiene
Más detallesDemostraciones por resolución
Demostraciones por resolución A lo largo del curso, hemos prometido insistentemente que hay métodos para mecanizar demostraciones En particular, queremos un método, dado una base de conocimiento Σ y una
Más detallesLógica Proposicional
Proposicional Semántica Semántica Proposicional - Significado de una Fórmula Proposicional El significado de una proposición está dado por su valor de verdad (o sea, si es Verdadera o Falsa) que se obtiene
Más detallesProgramación Lógica. rafael ramirez. Ocata 320
Programación Lógica rafael ramirez rafael@iua.upf.es Ocata 320 Logica proposicional Una literal (proposicional) es una variable proposicional o la negacion de una variable proposicional: p, q, r, Una cláusula
Más detallesLICENCIATURA EN MATEMÁTICA. Práctico N 1 Lenguaje de la lógica. proposicional VICTOR GALARZA ROJAS 1 5 / 0 5 /
Práctico N 1 Lenguaje de la lógica LICENCIATURA EN MATEMÁTICA proposicional VICTOR GALARZA ROJAS 1 5 / 0 5 / 2 0 1 0 PRÁCTICO N 1 1. Fundamentación: fundamentar la expresión Por lo tanto del siguiente
Más detalles2.1.- Formalización de enunciados en lenguaje ordinario
2.1.- Formalización de enunciados en lenguaje ordinario Una de las tareas más importantes para poder aplicar la lógica a los diferentes campos del saber humano es la formalización, también conocida como
Más detallesMATEMÁTICAS DISCRETAS. UNIDAD1 Lógica y Demostraciones
MATEMÁTICAS DISCRETAS UNIDAD1 Lógica y Demostraciones Para el estudio de esta unidad debe ubicarse en el Capítulo 1 del texto base, lea atentamente cada uno de los subtemas indicados en el índice de la
Más detallesLógica Proposicional. Cátedra de Matemática
Lógica Proposicional Cátedra de Matemática Abril 2017 Qué es la lógica proposicional? Es la disciplina que estudia métodos de análisis y razonamiento; utilizando el lenguaje de las matemáticas como un
Más detallesTema 9: Modelos de Herbrand
Lógica informática Curso 2003 04 Tema 9: Modelos de Herbrand José A. Alonso Jiménez Andrés Cordón Franco Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla LI 2003 04
Más detallesLógica Proposicional IIC1253. IIC1253 Lógica Proposicional 1/64
Lógica Proposicional IIC1253 IIC1253 Lógica Proposicional 1/64 Inicio de la Lógica Originalmente, la Lógica trataba con argumentos en el lenguaje natural. Ejemplo Es el siguiente argumento válido? Todos
Más detallesLógica Proposicional. Sergio Stive Solano Sabié. Marzo de 2012
Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Proposiciones Definición 1.1 Una proposición (o declaración) es una oración declarativa
Más detallesRESOLUCIÓN DE EJERCICIOS DE LA RECUPERACIÓN DEL PRIMER PARCIAL
Resolución de Problemas y Algoritmos - Ing. en Comp. e Ing. en Inf. Año 2015 RESOLUCIÓN DE EJERCICIOS DE LA RECUPERACIÓN DEL PRIMER PARCIAL Ejercicio 1: 20/05/2015 Dado un número real positivo cualquiera,
Más detallesAmpliación Matemática Discreta. Justo Peralta López
Justo Peralta López UNIVERSIDAD DE ALMERíA DEPARTAMENTO DE ÁGEBRA Y ANÁLISIS MATEMÁTICO 1 Introducción 2 Definición semántica de las proposiciones 3 Diagrama de valores de certeza 4 Evaluación de fórmulas.
Más detallesMatemáticas Dicretas LÓGICA MATEMÁTICA
Matemáticas Dicretas LÓGICA MATEMÁTICA Esta pagina fue diseñada como un auxiliar y herramienta para aquellos que esten interesados en reforzar y tener mas conocimientos sobre las matematicas discretas.
Más detallesLógica. Matemática discreta. Matemática discreta. Lógica
Lógica Matemática discreta Lógica: rama de las matemáticas instrumento para representar el lenguaje natural proporciona un mecanismo de deducción 2 y de predicados Razonamientos Cálculo proposicional Cálculo
Más detallesIntroducción a la Lógica I
Metodología de la Asignatura Índice Introducción a la Lógica I Félix Bou bou@ub.edu 1 Metodología de la Asignatura 2 El objeto de la Lógica 3 16 de diciembre de 2009 4 5 Argumentación Silogística F. Bou
Más detallesLógica proposicional o Lógica de enunciados
Tema 3 Lógica proposicional o Lógica de enunciados 1. Qué es la Lógica? 2. El cálculo de proposiciones 2.1. Las conectivas 2.2. Las tablas de verdad 2.3. La deducción natural Bibliografía Deaño, A.: Introducción
Más detallesDeducción automática y programación lógica
Deducción automática y programación lógica José A. Alonso Jiménez Área de ciencias de la computación e inteligencia artificial Universidad de Sevilla Sevilla, 12 de Septiembre de 1995 Contenido 1 Deducción
Más detallesCapítulo V: CONJUNTOS RECURSIVAMENTE ENUMERABLES
Capítulo V: CONJUNTOS RECURSIVAMENTE ENUMERABLES Mario de J. Pérez Jiménez Grupo de investigación en Computación Natural Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla
Más detallesLÓGICA COMPUTACIONAL
CURSO 2006-2007 OBJETIVOS Y TEMARIO 1. Presentación y objetivos. 2. Temario. Breve descripción. 1. Presentación y objetivos La asignatura «Lógica Computacional» presenta para este año un programa que está
Más detallesLógica y Programación
Lógica y Programación Cláusulas y formas clausales Antonia M. Chávez, Agustín Riscos, Carmen Graciani Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla Cláusulas y formas
Más detallesTÍTULO: MATEMÁTICA DISCRETA Y LÓGICA Disponibilidad
TÍTULO: MATEMÁTICA DISCRETA Y LÓGICA Disponibilidad Calculo proposicional 1 Argumentos y proposiciones lógicas 1 Algunos argumentos lógicos importantes 2 Proposiciones 4 Conexiones lógicas 5 Negación (tabla)
Más detallesIntroducción a ASP (Answer Set Programming - programación con conjuntos respuestos)
Introducción a ASP (Answer Set Programming - programación con conjuntos respuestos) Inteligencia Artificial David Pearce 13 de enero de 2009 ASP y programación declarativa ASP es una forma de programación
Más detallesClase 5 1. Lógica proposicional. Razonamientos
Clase 5 1 Lógica proposicional Razonamientos Clase 5 2 LOGICA - INTRODUCCION!OBJETIVO Uno de los fundamentales objetivos ha sido el estudio de las DEDUCCIONES, RAZONAMIENTOS O ARGUMENTOS LOGICA DEDUCTIVA
Más detallesTema 9: Cálculo Deductivo
Facultad de Informática Grado en Ingeniería Informática Lógica PARTE 2: LÓGICA DE PRIMER ORDEN Tema 9: Cálculo Deductivo Profesor: Javier Bajo jbajo@fi.upm.es Madrid, España 24/10/2012 Introducción a la
Más detallesMATEMÁTICAS BÁSICAS. 23 de febrero de Universidad Nacional de Colombia MATEMÁTICAS BÁSICAS
23 de febrero de 2009 Parte I Lógica Proposiciones Considere las siguientes frases Páseme el lápiz. 2 + 3 = 5 1 2 + 1 3 = 2 5 Qué hora es? En Bogotá todos los días llueve Yo estoy mintiendo Maradona fue
Más detallesTema 3: Demostraciones proposicionales
Razonamiento Automático Curso 2000 200 Tema 3: Demostraciones proposicionales José A. Alonso Jiménez Miguel A. Gutiérrez Naranjo Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad
Más detallesMatemáticas Discretas Lógica
Coordinación de Ciencias Computacionales - INAOE Matemáticas Discretas Lógica Cursos Propedéuticos 2010 Ciencias Computacionales INAOE Lógica undamentos de Lógica Cálculo proposicional Cálculo de predicados
Más detallesProposicional. Curso Mari Carmen Suárez de Figueroa Baonza
Semántica Proposicional Curso 2014 2015 Mari Carmen Suárez de Figueroa Baonza mcsuarez@fi.upm.es Contenidos Introducción Interpretación de FBFs proposicionales Validez Satisfacibilidad Validez y Satisfacibilidad
Más detallesTema 5: Teoría de la Demostración en Predicados
Tema 5: Teoría de la Demostración en Predicados Resumen introducción lógica de predicados Resumen introducción lógica de predicados Conceptos: ahora para lógica de predicados de 1 er orden Estructura deductiva
Más detallesI N T E L I G E N C I A A R T I F I C I A L I
I N T E L I G E N C I A A R T I I C I A L I Ingeniería en Mecatrónica e-mail: srivera @fing.uncu.edu.ar Dra. Ing. SELA S. RIERA P R O E S O R A T I T U L A R AGENTES BASADOS EN CONOCIMIENTO (COMPONENTES)
Más detallesDepartamento de Ingeniería Matemática - Universidad de Chile
1. Lógica Ingeniería Matemática FACULTAD DE CIENCIAS FÍSICAS Y MATEMÁTICAS UNIVERSIDAD DE CHILE Introducción al Álgebra 08-1 Importante: Visita regularmente http://www.dim.uchile.cl/~algebra. Ahí encontrarás
Más detallesUnidad 3. Álgebra Relacional y Cálculo Relacional
Unidad 3 Álgebra Relacional y Cálculo Relacional Álgebra Relacional Definición de Álgebra Álgebra es un sistema matemático que está formado por: Operandos. Valores o variables con los cuáles se pueden
Más detallesAlgebras booleanas. B2) Leyes Distributivas. Cada operación es distributiva con respecto a la otra:
Algebras booleanas AXIOMAS DEL ALGEBRA DE BOOLE Sea B un conjunto en el cual se han definido dos operaciones binarias, + y * (En algunos casos se definen en términos de y respectivamente), y una operación
Más detallesEjercicios de Lógica Proposicional *
Ejercicios de Lógica Proposicional * FernandoRVelazquezQ@gmail.com Notación. El lenguaje proposicional que hemos definido, aquel que utiliza los cinco conectivos,,, y, se denota como L {,,,, }. Los términos
Más detallesRudimentos de lógica
Rudimentos de lógica Eugenio Miranda Palacios 1. El método axiomático Matemáticas es el estudio de las relaciones entre ciertos objetos ideales como números, funciones y figuras geométricas. Estos objetos
Más detallesNotas de Clase para IL
Notas de Clase para IL 5. Deducción en Lógica de Primer Orden Rafel Farré, Robert Nieuwenhuis, Pilar Nivela, Albert Oliveras, Enric Rodríguez, Josefina Sierra 3 de septiembre de 2009 1 1. Formas normales
Más detallesTema 5: Programas Universales
Tema 5: Programas Universales Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla Lógica y Computabilidad Curso 2006 07 LC, 2006 07 Programas universales 5.1 Procedimientos
Más detallesEn general, se considera válido un razonamiento cuando sus premisas ofrecen soporte suficiente a su conclusión.
Se llama razonamiento lógico al proceso mental de realizar una inferencia de una conclusión a partir de un conjunto de premisas. La conclusión puede no ser una consecuencia lógica de las premisas y aun
Más detallesProgramación II Sesión 2: Especificación de problemas
Programación II Sesión 2: Especificación de problemas Diego R. Llanos Ferraris UNED, Centro Asociado de Palencia Nota: Estos apuntes son la guía utilizada por el Profesor Tutor para impartir el seminario
Más detallesAPENDICE REGLAS Y LEYES DE LA LOGICA DE PRIMER ORDEN
LOGICA (FCE-UBA) APENDICE REGLAS Y LEYES DE LA LOGICA DE PRIMER ORDEN Una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada para inferir deductivamente
Más detallesBúsqueda e inferencia lógica. Estrategias de resolución
Búsqueda e inferencia lógica Estrategias de resolución Contenidos 1. Introducción 2. Refutación por resolución 3. Estrategias de resolución 4. Procedimiento de extracción de respuesta 5. Demostradores
Más detallesLógica Matemática. Contenido. Definición. Finalidad de la unidad. Proposicional. Primer orden
Contenido Lógica Matemática M.C. Mireya Tovar Vidal Proposicional Definición Sintaxis Proposición Conectivos lógicos Semántica Primer orden cuantificadores Finalidad de la unidad Definición Traducir enunciados
Más detallesLa Ambigüedad en el Parsing
La en el Parsing Definición y Ejemplos Universidad de Cantabria Outline El Problema 1 El Problema 2 3 El Problema En nuestra busqueda por encontrar la estructura exploraremos como elegir una derivación
Más detallesLógica proposicional. Ivan Olmos Pineda
Lógica proposicional Ivan Olmos Pineda Introducción Originalmente, la lógica trataba con argumentos en el lenguaje natural es el siguiente argumento válido? Todos los hombres son mortales Sócrates es hombre
Más detallesMATRICES Y DETERMINANTES RANGO DE UNA MATRIZ
Índice Presentación... 3 Matrices equivalentes... 4 Ejemplo... 5 Dependencia lineal... 6 Rango de una matriz... 7 Ejemplo... 8 Rango de una matriz a partir de los determinantes... 9 Ejemplo... 10 Propiedades
Más detallesLógica de proposiciones (5)
Lógica de proposiciones (5) Fundamentos de Informática I I..I. Sistemas (2005-06) César Llamas Bello Universidad de Valladolid 1 Lógica Índice Lógica proposicional ecuacional Lógica: semántica Semántica
Más detallesLógica Proposicional
Lógica Proposicional La lógica se define como la ciencia del razonamiento, o como el estudio de los métodos y principios usados para distinguir el razonamiento correcto del incorrecto. La lógica, está
Más detallesSemántica Operacional para la Programación en Lógica Lógica para Ciencias de la Computación
Semántica Operacional para la Programación en Lógica Lógica para Ciencias de la Computación Primer Cuatrimestre de 2009 Material Adicional Semánticas para la Programación n en LógicaL Se han explorado
Más detalles