Curso académico 2007/2008 Tema 3: Método de los Árboles Semánticos
|
|
- Alicia María Rosario Rojo Blanco
- hace 5 años
- Vistas:
Transcripción
1 p. 1/? Sistemas Lgicos Computacionales Curso académico 2007/2008 Tema 3: Método de los Árboles Semánticos Guido Sciavicco Universidad Murcia, Espinardo (Murcia) - Spain
2 p. 2/? La Maquina que Piensa Formalizar el razonamiento (el pensamiento) tiene un objetivo especifico, de carácter puramente practico, que va más allá del puro conocimiento; Si un sistema de razonamiento es suficientemente formal como para ser reducido a un conjunto de pasos, entonces puede ser transformado en un programa para ordenador (o sea es un algoritmo); Deber del diseñador de un tal algoritmo es demostrar que se trata de un algoritmo correcto, en un sentido que aclaramos a continuación.
3 p. 3/? La Maquina que Piensa (cont.) Cualquier ordenador pasado, presente, y futuro (en ciertos sentidos) debe contar con dos limitaciones físicas: el tiempo de computación y el espacio de memoria son finitos; Por lo tanto, cualquier algoritmo debe terminar en un tiempo finito y (por lo menos parcialmente) predecible, y utilizar una cantidad de espacio finito y (por lo menos parcialmente) predecible; Un algoritmo con éstas características se denomina terminante;
4 p. 4/? La Maquina que Piensa (cont.) Además, querremos que nuestro algoritmo, siempre que nos de una respuesta, ésta respuesta sea correcta, y denominaremos un tal algoritmo correcto; Finalmente, querremos que nuestro algoritmo no se olvide ninguna posible respuesta correcta, y denominaremos un tal algoritmo completo; En términos de lógica, un algoritmo deductivo es un algoritmo capaz, dada una formula en su lenguaje, decir si la formula es o menos satisfactible (o es una tautologia, o es una contradicción), utilizando, por cada φ, los resultados que ya conocemos: y... φ tautologia φ contradiccion
5 p. 5/? La Maquina que Piensa (cont.)... φ satisfactible φ satisfactible φ contingencia o sea no es ni una tautología ni una contradicción; Pero, es esto posible para cualquier lógica? La respuesta es NO. Para lo que nos concierne, es posible para la Lógica Proposicional, pero no para la Lógica de Primer Orden; En concreto, para éste ultimo caso, todos los algoritmo correctos y completos fallan en la terminación, es decir, el poder expresivo es tan alto que cualquier algoritmo correcto y completo puede necesitar de un tiempo infinito de computación.
6 p. 6/? La Maquina que Piensa (cont.) Un conjunto de símbolos, con una gramática para la generación de las formulas y una semántica bien definida, o sea, una lógica, se denomina decidible si posee por lo menos un algoritmo de deducción correcto, completo y terminante, y no decidible en caso contrario; Ésta definición, en términos más generales, se aplica a cualquier clase de problemas, y la hemos tomada en préstamo desde la teoría de la computabilidad, que tiene sus raíces en Gödel, Turing, Church, a partir de los años 40.
7 p. 7/? Razonando con Proposiciones A nivel de la Lógica Proposicional, formalizar un sistema automático de deducción resulta bastante sencillo; Por el momento, nos centraremos en un sistema basado en la semántica de las formulas, que por lo tanto se llama sistema de los árboles semánticos o tableaux (es decir, tablas); Las reglas de éste sistema se basan una a una en las reglas semánticas que ya hemos visto; Por ejemplo, deduciremos p a partir de p, o deduciremos q a partir de p q y p.
8 p. 8/? Vamos con Juicio Un juicio es un afirmación del tipo V.φ o F.φ, donde φ es una fórmula; En términos prácticos, nosotros nos preguntaremos, dada una fórmula, si V.φ vale, o sea, si φ es una tautología, o, si es conveniente, si F.φ vale, o sea, si φ es una contradicción; La cosa más sencilla para demostrar si es un caso o el otro es encontrar un contra-modelo, o sea una interpretación tal que la formula NO se satisface; Por ejemplo, si quiero demostrar que F.φ (φ es una contradicción), donde φ = p p, es suficiente enseñar la interpretación I = {p = V }, porque evidentemente I = p p.
9 p. 9/? Reglas Vamos a ver las reglas formales: 1. V. φ V. φ F. φ F. φ F.φ V.φ 2. V.φ ψ V.φ ψ V.φ V.ψ 3. F.φ ψ F.φ ψ F.φ F.ψ F.φ ψ F.φ ψ F.φ F.ψ V.φ ψ V.φ ψ V.φ V.ψ
10 p. 10/? Reglas (cont.) 4. F.φ ψ F.φ ψ V.φ F.ψ V.φ ψ V.φ ψ F.φ V.ψ
11 p. 11/? El Algoritmo Se empieza con una formula proposicional φ; Si quiero demostrar que φ ES una tautología, intentaré demostrar que F.φ NO es satisfacible; Aplico las reglas a F.φ, teniendo en cuenta: 1. Se aplica la regla al juicio más arriba que todavia no ha sido considerado; 2. Se aplica la regla a TODAS las ramas ACTIVAS (véase punto siguiente); 3. Si una rama contiene el juicio V.p Y el juicio F.p, entonces es una rama contradictoria y es preciso cerrarla (NO ACTIVA).
12 p. 12/? Un Ejemplo Sencillo Queremos demostrar que la formula (p (p q)) q es una tautología; verifiquemos F.φ: F.(p (p q)) q V.(p (p q)) F.q V.p V.(p q) F.p V.q
13 p. 13/? Conclur desde un Árbol Semántico Al final del desarollo del árbol, cada rama ACTIVA es un modelo para el juicio; Si el juicio de salida era V.φ, entonces una rama ACTIVA es un modelo para la formula φ, mientras si era F.φ es un modelo para la formula φ; Si no hay ramas ACTIVAS, el juicio de salida es insatisfactible; por ejemplo, si se trataba de un juicio del tipo V.φ, entonces φ es insatisfactible, o sea φ es una tautología.
14 p. 14/? Entonces: Si quiero demostrar que φ es satisfactible expando V.φ, y cada rama ACTIVA al final del proceso representa un modelo para φ; Si quiero demostrar que φ es una tautología, expando F.φ y verifico que no hay ninguna rama ACTIVA al final del proceso; Si quiero demostrar que φ es una contradicción, expando V.φ, y verifico que al final del proceso no hay ninguna rama ACTIVA; Como es la formula del ejemplo anterior?
15 p. 15/? Ejercicios Elegir una regla de trasformación cualquiera y demostrar que se trata de una tautología con el método de los árboles semánticos; Demostrar que las siguientes son formulas satisfactibles: φ 1 = p (p (q r)) r; φ 2 = (p q) p (q r) r; Demostrar que las siguientes son tautologías: φ 3 = ( p (q p)) q; φ 4 = ((p q) (q r)) (p r).
16 p. 16/? Extender el Algoritmo al Primer Orden Al Primer Orden la cosa se complica un poco: debemos tener en cuenta: Variables, constantes, símbolos funcionales y términos; Cuantificadores; Debemos tener presente que al Primer Orden NO EXISTE una técnica deductiva terminante, por lo tanto nuestro algoritmo puede ser correcto, completo pero no necesariamente terminará siempre su computación!
17 Qué Podemos Computar? La razón intuitiva de los problemas que tenemos al Primer Orden, es que para demostrar que ciertas fórmulas son satisfactibles, debemos mostrar un modelo infinito y el espacio y el tiempo que tenemos a disposición son finitos; Pero, al Primer Orden es siempre posible demostrar que una formula NO es satisfactible en tiempo y espacio finitos! Por lo tanto, siempre que una formula sea una tautología, podremos demostrarlo (recuerda: φ tautología φ no satisfactible); Para mantener las cosas simples, nos centraremos solo en formulas cerradas. p. 17/?
18 p. 18/? Razonemos Como podemos demostrar que una formula de Primer Orden es insatisfactible? La parte proposicional de la formula se trata como hemos visto anteriormente; Constantes, variables y símbolos funcionales debes ser tratados de forma abstracta ; por ejemplo, para demostrar que la formula xp(x) P(a) no es satisfactible, NO ES SUFICIENTE interpretar, digamos, x y a como numeros naturales (recuerda: no satisfactible = no existe NINGUNA interpretación, dominio,... ).
19 p. 19/? Interpretaciones Abstractas Sabemos que la insatisfactibilidad de una formula depende solamente de su estructura lógica; Utilizaremos por lo tanto interpretaciones abstractas, llamadas de Herbrand (por su inventor) que nos permitiran evitar cualquier hipótesis sobre el dominio y sus propiedades; Éstas interpretaciónes dependen exclusivamente del lenguaje que se utiliza en la formula en cuestión.
20 p. 20/? Interpretaciones Abstractas (cont.) En general, el dominio es el conjunto de las constantes de la formula (o conjunto con una sola constante si la formula no contiene ninguna) + conjunto de todas las aplicaciones posibles de símbolos funcionales del lenguaje (si hay) a elementos del dominio; Ejemplo: el dominio de una interpretación de Herbrand para la formula φ = x(p(x) Q(f(x))) R(a,b) es D H = {a,b,f(a),f(b),f(f(a)),f(f(b)),...} Ahora, simplemente mirando el numero de parámetros de cada símbolo de predicado, obtenemos una interpretación; por ejemplo, en el caso anterior...
21 p. 21/? Interpretaciones Abstractas (cont.)... podríamos tener: I 1 H = (D H,P H =,Q H =,R H = ); I 2 H = (D H,P H = {a},q H =,R H = ); I 3 H = (D H,P H =,Q H = {a},r H = ); I 4 H = (D H,P H = {a},q H =,R H = {(a,b), (a,f(a))}); y muchas otras (son infinitas, en éste caso!); Como cualquier interpretación, una I H puede o no satisfacer la formula; en éste caso tenemos, por ejemplo, que IH 4 = φ.
22 p. 22/? Tomando Confianza con Herbrand Se consideren las siguientes formulas: x,y(p(x,y) Q(x) R(y)); x(p(x) Q(x)) P(a) Q(a); x(p(x) Q(f(x))) P(a) Q(b). Y por cada una de ellas, se encuentre, si es posible, una interpretación de Herbrand que la satisface y una que no la satisface.
23 p. 23/? Para Qué? Las interpretaciones de Herbrand tienen una característica muy importante que nos ayudará a desarrollar una metodología de deducción; Hemos visto que una tal interpretación tiene un dominio bien definido, que se denomina base de Herbrand; Cualquier interpretación de Herbrand que utilize como dominio la base de Herbrand (de su lenguaje) más un conjunto cualquiera de (nuevas) constantes se denomina interpretación extendida de Herbrand; Teorema: cualquier formula de Primer Orden cerrada es satisfactible si y solo si lo es en una interpretación extendida de Herbrand.
24 p. 24/? Reglas El papel jugado en el caso de la logica Proposicional por las letras proposicionales, ahora lo juegan las formulas atómicas; Por lo tanto, no habrá regla para los juicios V.p(t 1,...,t n ) y F.p(t 1,...,t n ); Gracias al teorema que hemos visto, podemos buscar solo en el mundo de las interpretaciones que tienen como dominio la base (extendida) de Herbrand; Si la formula en cuestión no contiene constantes, entonces se empieza con D H = {a}, donde a no aparece en el lenguaje, mientras si contiene por lo menos una constante, D H será la base de Herbrand.
25 p. 25/? Reglas (cont.) Nuevas reglas formales: 5. V. xφ(x) V. xφ(x) V.φ(t) V. xφ(x) 6. F. xφ(x) F. xφ(x) F.φ(t) F. xφ(x) F. xφ(x) F. xφ(x) F.φ(s) V. xφ(x) V. xφ(x) V.φ(s)
26 p. 26/? Reglas (cont.) t es el primer término de la base de Herbrand D H que no aún no ha sido utilizado para la sustitución en la formula xφ(x), y s es el primer término de la base de Herbrand D H que no aún no ha sido utilizado en la rama, o una nueva constante, que se añade a la base actual, si no hay ningún término disponible.
27 p. 27/? Ejemplo φ = ( x(p(x) p(f(x))) p(a)) p(f(a)) es una tautología: F.( x(p(x) p(f(x))) p(a)) p(f(a)) D H = {a,f(a),... V. x(p(x) p(f(x))) V.p(a) F.p(f(a)) V.(p(a) p(f(a))) V. x(p(x) p(f(x))) F.p(a) V.p(f(a))
28 p. 28/?... Y más Ejercicios Elegir una regla de trasformación relativa a los cuantificadores y demostrar que se trata de una tautología con el método de los árboles semánticos; Demostrar que las siguientes son tautologías: φ 1 = ( x,y(p(x,y) zr(z)) x R(x)) P(a,b); φ 2 = (P(a) P(f(a))) x P(x); φ 3 = ( x y(p(x) R(y))) x y(p(x) R(y)).
Formas clausulares Teoría de Herbrand Algoritmo de Herbrand Semidecidibilidad. Teoría de Herbrand. Lógica Computacional
Teoría de Herbrand Lógica Computacional Departamento de Matemática Aplicada Universidad de Málaga Curso 2005/2006 Contenido 1 Formas clausulares Refutación y formas clausulares 2 Teoría de Herbrand Universo
Más detallesTema 8: Teorema de Herbrand. Tableros en lógica de primer orden
Tema 8:. en de primer orden Dpto. Ciencias de la Computación Inteligencia Artificial Universidad de Sevilla Lógica Informática (Tecnologías Informáticas) Curso 2016 17 Contenido Sea Γ un conjunto de fórmulas
Más detallesRecordatorio Basico de Álgebra para Lógica
Recordatorio Basico de Álgebra para Lógica Guido Sciavicco 1 Conjuntos Definición 1 Un conjunto es una colleccion, finita o infinita, de elementos. Ejemplo 2 La colleccion de los elementos a, b, c, denotada
Más detallesTema 6: Teoría Semántica
Tema 6: Teoría Semántica Sintáxis Lenguaje de de las las proposiciones Lenguaje de de los los predicados Semántica Valores Valores de de verdad verdad Tablas Tablas de de verdad verdad Tautologías Satisfacibilidad
Más detallesForma Clausular. Forma Clausular
Forma Clausular Formas Normales: Literal: fórmula atómica o negación de fórmula atómica Un literal se denota con l y su complementario con l C L = P binario, Q unario, f unaria l 1 =
Más detallesTema 8: Teorema de Herbrand. Tableros en lógica de primer orden
Tema 8:. en de primer orden Dpto. Ciencias de la Computación Inteligencia Artificial Universidad de Sevilla Lógica Informática (Tecnologías Informáticas) Curso 2014 15 Contenido Sea Γ un conjunto de 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 detallesEl lenguaje P. Lógica y Computabilidad ( ) símbolos p. Verano convenciones. Lógica Proposicional - clase 1
Lógica y Computabilidad Verano 2011 Departamento de Computación - FCEyN - UBA Lógica Proposicional - clase 1 Lenguaje de lógica proposicional, semántica, tautología, consecuencia semántica, conjunto satisfacible,
Más detallesCOMPACIDAD Y COMPLETITUD: DOS TEOREMAS CLÁSICOS DE LA TEORÍA DE MODELOS
COMPACIDAD Y COMPLETITUD: DOS TEOREMAS CLÁSICOS DE LA TEORÍA DE MODELOS JOEL TORRES DEL VALLE 1 1 Universidad Cartagena Resumen. Se presentan dos teoremas clásicos de la Teoría de Modelos: Teorema de La
Más detallesTeorema de incompletitud de Gödel
Teorema de incompletitud de Gödel Theorem (Gödel) Th(N) es una teoría indecidible. IIC2213 Teorías 79 / 109 Teorema de incompletitud de Gödel Theorem (Gödel) Th(N) es una teoría indecidible. Corolario
Más detallesLógica proposicional. Semántica Lógica 2018
Lógica proposicional. Semántica Lógica 2018 Instituto de Computación 20 de marzo Instituto de Computación (InCo) Lógica proposicional. Semántica Curso 2018 1 / 1 Significado de una fórmula proposicional
Más detallesLógica de Predicados 1!
Lógica de Predicados 1! rafael ramirez rafael.ramirez@upf.edu 55.316 (Tanger) Porqué Lógica de Predicados! La logica proposicional maneja bien afirmaciones compuestas de no, y, o, si entonces En situaciones
Más detallesTema 12: Interpretaciones de Herbrand
Facultad de Informática Grado en Ingeniería Informática Lógica 1/21 PARTE 3: DEMOSTRACIÓN AUTOMÁTICA Tema 12: Interpretaciones de Herbrand Profesor: Javier Bajo jbajo@fi.upm.es Madrid, España 15/11/2012
Más detallesLógica de Primer orden. Sintaxis y Semántica Ejercicios del Tema 2
1 Lógica de Primer orden. Sintaxis y Semántica Ejercicios del Tema 2 1. Para las siguientes fórmulas concluir qué variables son libres y cuáles son ligadas, detallando el carácter de libertad de cada una
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 detallesLÓGICA FORMAL TEORIAS DE PRIMER ORDEN. Sintaxis y semántica
LÓGICA FORMAL TEORIAS DE PRIMER ORDEN Sintaxis y semántica Pedro López Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Lenguajes de primer orden 1 La lógica
Más detallesCentro Asociado Palma de Mallorca. Tutor: Antonio Rivero Cuesta
Centro Asociado Palma de Mallorca Tutor: Antonio Rivero Cuesta Lógica y Estructuras Discretas Febrero 2011, Anticipo 1. Sea el conjunto A = {a,b,c} y P(A) el conjunto potencia de A: a) Tiene 9 elementos
Más detallesTeorías. Una teoría acerca de una base de conocimiento Σ contendrá no sólo a Σ sino que a todo lo que se puede deducir de Σ.
Teorías Qué es una teoría? Ya hemos usado antes la noción de base de conocimiento Este concepto se refiere a un conocimiento, representado a través de axiomas. Una teoría acerca de una base de conocimiento
Más detallesPráctico 3 Semántica de la Lógica Proposicional
Práctico 3 Semántica de la Lógica Proposicional Ejercicio 1 (Valuaciones) Demuestre que toda valuación v cumple que: a. v(ϕ ψ) = v(ϕ).v(ψ) b. v(ϕ ψ) = 1 v(ϕ) v(ψ) c. v(ϕ ψ) = v(ϕ) + v(ψ) v(ϕ).v(ψ) d. v(ϕ
Más detallesDemostración Automática. Tema 2. Procesamiento del conocimiento con la Lógica Matemática
Demostración Automática de Teoremas Tema 2. Procesamiento del conocimiento con la Lógica Matemática Temas Introducción Sistemas de axiomas Teoría de la demostración. Sistema de Kleene Deducción natural
Más detallesProblemas de Decisión
Problemas de Decisión La motivación de este capítulo puede estar dado por lo siguiente: Dado un conjunto Σ de fórmulas proposicionales en L(P ), existe un algoritmo general para determinar si Σ = ϕ Qué
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 detallesPredicados de Primer Orden
Lógica Clásica de Predicados de Primer Orden Lógica y Métodos Avanzados de Razonamiento David Pearce 4 de diciembre de 2008 3 lecciones 1. Lenguaje. Variables libres y ligadas. Sustituciones (NO variable
Más detallesResolució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 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 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 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 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 detallesLenguajes de primer orden. Lógica y Computabilidad. símbolos lógicos y auxiliares: x ( ) Segundo cuatrimestre 2011
Lenguajes de primer orden Lógica y Computabilidad Segundo cuatrimestre 2011 Departamento de Computación - FCEyN - UBA Lógica de Primer Orden - clase 1 Lenguaje de lógica de primer orden, términos, fórmulas,
Más detallesSistema Axiomático para el Cálculo Proposicional
Sistema Axiomático para el Cálculo Proposicional Lógica Matemática José de Jesús Lavalle Martínez 12 de julio de 2011 Resumen Este documento es una traducción de partes de la sección 1.4 AN AXIOM SYSTEM
Más detallesTema 1: Sintaxis y Semántica
Primer Tema 1: y Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla Informática (Tecnologías Informáticas) Curso 2017 18 de Primer Contenido de Primer Primer de Primer Problema
Más detallesProposicionales. Curso Mari Carmen Suárez de Figueroa Baonza
Estandarización de Fórmulas Proposicionales Curso 2014 2015 Mari Carmen Suárez de Figueroa Baonza mcsuarez@fi.upm.es Contenidos Introducción a la demostración automática Estandarización de fórmulas Formas
Más detallesCentro Asociado Palma de Mallorca. Tutor: Antonio Rivero Cuesta
Centro Asociado Palma de Mallorca Lógica y Estructuras Discretas Tutor: Antonio Rivero Cuesta Tema 1 Lógica de Proposiciones y de Predicados de Primer Orden Lógica de Proposiciones Sintaxis Infinitas letras
Más detallesEl sistema deductivo de Hilbert
El sistema deductivo de Hilbert IIC2213 IIC2213 El sistema deductivo de Hilbert 1 / 17 Completidad de resolución proposicional Qué tenemos que agregar a nuestro sistema de deducción para que sea completo?
Más detallesIIC2213. IIC2213 Teorías 1 / 42
Teorías IIC2213 IIC2213 Teorías 1 / 42 Qué es una teoría? Una teoría es un cúmulo de información. Debe estar libre de contradicciones. Debe ser cerrada con respecto a lo que se puede deducir de ella. Inicialmente
Más detallesIntroducción a la Complejidad Computacional
Introducción a la Complejidad Computacional El análisis sobre decidibilidad que hemos hecho nos permite saber qué podemos hacer y qué no podemos hacer. Pero nada sabemos de qué tan difícil resolver los
Más detallesLógica Proposicional. Del conjunto de hipótesis Γ se deduce α?
Proposicional Metateoría: Corrección y Completitud Proposicional - 1 Del conjunto de hipótesis Γ se deduce α? Γ = α? -Tablas de verdad - Equivalencia lógicas Existen métodos que siempre responden SI o
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 detallesCapítulo 1: Fundamentos: Lógica y Demostraciones Clase 2: Lógica de Predicados y Métodos de Demostración
Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 2: Lógica de Predicados y Métodos de Demostración Matemática Discreta - CC3101 Profesor: Pablo Barceló P. Barceló Matemática Discreta - Cap. 1: Fundamentos:
Más detallesEl problema de satisfacción
El problema de satisfacción Definición Un conjunto de fórmulas Σ es satisfacible si existe una valuación σ tal que σ(σ) = 1. En caso contrario, Σ es inconsistente. IIC2213 Lógica Proposicional 33 / 42
Más detallesSoluciones del examen de Lógica informática (Grupo 1) del 10 de Junio de José A. Alonso Jiménez
Soluciones del examen de Lógica informática (Grupo 1) del 10 de Junio de 2008 José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad
Más detallesSistemas Deductivos. Sistemas Deductivos
Sistemas Deductivos Naturaleza sintáctica, combinatoria En general axiomas + reglas de inferencia teorema Demostración o prueba: secuencia finita de pasos, de aplicaciones de reglas de inferencia. Conexión
Más detallesde Primer Orden y los problemas de razonamiento (Cap 1 libro) de proposiciones (Cap 2 libro) de predicados (Cap 2 libro)
Bloque I: El Lenguaje de la Lógica L de Primer Orden. Tema 1: La Lógica L de Primer Orden y los problemas de razonamiento (Cap 1 libro) Tema 2: El lenguaje de la lógica l de proposiciones (Cap 2 libro)
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 detallesRepaso de lógica, lógica modal y lógica temporal
, lógica modal y lógica temporal 1 Sergio Mera 1 1 FormaLex, Departamento de Computación, FCEyN, Universidad de Buenos Aires, Buenos Aires, Argentina Introducción al Análisis Formal de Normas Legales,
Más detallesLógica Clásica de Predicados
Lógica Clásica de Predicados Lógica Computacional Departamento de Matemática Aplicada Universidad de Málaga 10 de enero de 2008 Contenido 1 Sintaxis 2 Variables y Sustituciones 3 Significado y verdad 4
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 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 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 detallesTema 6: Programación Lógica: semántica declarativa. Lenguajes y Paradigmas de Programación
Tema 6: Programación Lógica: semántica declarativa Lenguajes y Paradigmas de Programación Teoría de Modelos Se basa en el concepto de INTERPRETACIÓN, que consiste en: elegir un dominio D (en el que tomarán
Más detallesAxiomas del Cálculo de Predicados
Axiomas del Cálculo de Predicados Si bien el cálculo proposicional nos permitió analizar cierto tipo de razonamientos y resolver acertijos lógicos, su poder expresivo no es suficiente para comprobar la
Más detallesPreguntas de test (20%)
LÓGICA y MATEMÁTICA DISCRETA. (60 27/10/2015 Aellidos y Nombre:... Indicaciones: Tres rimeras letras del rimer aellido: No abandonar el examen durante los rimeros 30 minutos. En las reguntas de test, ara
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 detalles13.3. MT para reconocer lenguajes
13.3. MT para reconocer lenguajes Gramática equivalente a una MT Sea M=(Γ,Σ,,Q,q 0,f,F) una Máquina de Turing. L(M) es el lenguaje aceptado por la máquina M. A partir de M se puede crear una gramática
Más detallesVerificación de Modelos
Verificación de Modelos Dante Zanarini LCC November 5, 2015 Dante Zanarini (LCC) Verificación de Modelos November 5, 2015 1 / 18 Verificación Formal Ingredientes: Un lenguaje para describir sistemas Un
Más detallesLógica de Predicados, Sintaxis
Lógica de Predicados, Sintaxis Dante Zanarini LCC 16 de Septiembre de 2015 Dante Zanarini (LCC) Lógica de Predicados, Sintaxis 16 de Septiembre de 2015 1 / 15 Enriqueciendo el lenguaje Consideremos el
Más detallesLógica Proposicional
Lógica y Computabilidad Julián Dabbah (sobre clases de María Emilia Descotte y Laski) 6 de octubre de 2017 Repaso Sintaxis Variables / símbolos proposicionales (PROP): p, p', p,... (los notamos p, q, r...,
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 detallesLógica de primer orden: Repaso y notación
Lógica de primer orden: Repaso y notación IIC3263 IIC3263 Lógica de primer orden: Repaso y notación 1 / 29 Lógica de primer orden: Vocabulario Una fórmula en lógica de primer orden está definida sobre
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 detallesClase práctica 3: Consecuencia Lógica
Clase práctica 3: Consecuencia Lógica (by Laski) Primer Cuatrimestre 2014 Repaso de la teórica Decimos que una valuación v satisface a una fórmula P si v(p ) = 1, y que satisface a un conjunto de fórmulas
Más detallesLógica Computacional: Estandarización de Fórmulas
LÓGICA - 1º Grado en Ingeniería Informática Facultad de Informática Universidad Politécnica de Madrid Lógica Computacional: Estandarización de Fórmulas Petr Sosík psosik@fi.upm.es http://web3.fi.upm.es/aulavirtual/
Más detalles3 CLÁUSULAS Y PROGRAMAS DEFINITIVOS
3 CLÁUSULAS Y PROGRAMAS DEFINITIVOS La idea central de la Programación Lógica es usar la computadora para obtener conclusiones a partir de descripciones declarativas, como las introducidas en el capítulo
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 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 detallesTeoría de Modelos Finitos: Motivación
Teoría de Modelos Finitos: Motivación IIC3260 IIC3260 Teoría de Modelos Finitos: Motivación 1 / 29 Poder expresivo de una lógica: Caso finito Desde ahora en adelante nos vamos a concentrar en las estructuras
Más detallesTema 4: (Tecnologías Informáticas) Curso Dpto. Ciencias de la Computación Inteligencia Artificial Universidad de Sevilla
Tema 4: Proposicional Dpto. Ciencias de la Computación Inteligencia Artificial Universidad de Sevilla Lógica Informática (Tecnologías Informáticas) Curso 2015 16 Contenido Los tableros semánticos proporcionan
Más detallesSemántica formal para la Lógica de enunciados.
Grupo 2 Semántica formal para la Lógica de enunciados. 55. Cuando decidimos elegir los valores de verdad {V,F} para interpretar las fórmulas de L E, estamos adoptando realmente una decisión capaz de determinar
Más detallesMáquinas de Turing IIC3242. IIC3242 Máquinas de Turing 1 / 42
Máquinas de Turing IIC3242 IIC3242 Máquinas de Turing 1 / 42 Complejidad Computacional Objetivo: Medir la complejidad computacional de un problema. Vale decir: Medir la cantidad de recursos computacionales
Más detallesEJERCICIOS DE EXAMEN DE LÓGICA FORMAL con algunas soluciones CURSO Febrero
EJERCICIOS DE EXAMEN DE LÓGICA FORMAL con algunas soluciones CURSO 2005-2006 Febrero 1. (i) Dada la fórmula x=x Contéstese a las siguientes preguntas justificando brevemente las respuestas en los espacios
Más detallesÍndice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción
Curso 0: Matemáticas y sus Aplicaciones Tema 5. Lógica y Formalismo Matemático Leandro Marín Dpto. de Matemática Aplicada Universidad de Murcia 2012 1 Proposiciones y Conectores Lógicos 2 Tablas de Verdad
Más detallesLógica de Proposiciones y de Predicado
Lógica de Proposiciones y de Predicado Franco D. Menendez LABIA FACET - UNT Contenido de la Materia UNIDAD TEMÁTICA 1: SINTAXIS Y SEMANTICA DEL LENGUAJE FORMAL»SEMÁNTICA: Noción General. Definición Algebraica.
Más detallesTeoría de la Computación puesta en Práctica
Teoría de la Computación puesta en Práctica Marcelo Arenas M. Arenas Teoría de la Computación puesta en Práctica 1 / 24 Problema a resolver WiMAX (Worldwide Interoperability for Microwave Access): estándar
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 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 detallesG e 1,7. LI Examen de Lógica informática (7 de Junio de 2004) 1. Ejercicio 1. Probar (E F ) G = (E G) (F G) (a) Mediante deducción natural.
LI 2003 04 Examen de Lógica informática (7 de Junio de 2004) 1 Ejercicio 1. Probar (E F ) G = (E G) (F G) (a) Mediante deducción natural. (b) Por resolución. Solución del apartado (a): Demostración por
Más detallesLOGICA Y ALGEBRA DISCRETA
LOGICA Y ALGEBRA DISCRETA Franco D. Menendez LABIA FACET - UNT Contenido de la Materia UNIDAD TEMÁTICA 2: DECISION EN EL LENGUAJE FORMAL Sistemas Axiomáticos. Noción General. Decisión Por Formas Normales.
Más detallesBenemérita Universidad Autónoma de Puebla Vicerrectoría de Docencia Dirección General de Educación Superior Facultad de Ciencias de la Computación
PLAN DE ESTUDIOS (PE): Licenciatura en Ciencias de la Computación ÁREA: Ciencias de la Computación ASIGNATURA: Lógica Matemática CÓDIGO: CCOM-012 CRÉDITOS: 5 FECHA: 28 de junio de 2012 1 1. DATOS GENERALES
Más detallesTema 4: Lógicas Informática (Tecnologías Informáticas) Curso Dpto. Ciencias de la Computación Inteligencia Artificial Universidad de Sevilla
Tema 4: Dpto. Ciencias de la Computación Inteligencia Artificial Universidad de Sevilla Lógicas Informática (Tecnologías Informáticas) Curso 2017 18 Contenido Presentaremos un algoritmo más para estudiar
Más detallesLógica proposicional: Lectura única
Lógica proposicional: Lectura única Una fórmula ϕ es atómica si ϕ = p, donde p P. Una fórmula ϕ es compuesta si no es atómica. - Si ϕ = ( α), entonces es un conectivo primario de ϕ y α es una subfórmula
Más detallesPrueba de teoremas Fórmula a. Fórmula b. Chequeo de modelos. Construcción de modelos 20/04/2010. Prueba de teoremas (Theorem provers)
Razonamiento automático Técnicas Prueba de teoremas (Theorem provers) Chequeo de modelos (odel checkers) Constructores de modelos (odel builders) Basado en: Logic in Computer Science, Hunt & Ryan Símbolos
Más detallesTemas. Objetivo. Que el estudiante logre:
0 Temas Objetivo Que el estudiante logre: 1) Formalizar problemas de decisión. 2) Identificar conceptos constructivos de la Teoría de la Computabilidad. 1 2 TEORÍA DE LA COMPLEJIDAD COMPUTACIONAL TEORÍA
Más detallesEJERCICIOS DE EXAMEN DE LÓGICA FORMAL con algunas soluciones Curso
EJERCICIOS DE EXAMEN DE LÓGICA FORMAL con algunas soluciones Curso 2004-2005 Junio. 1. Sea A la fórmula y x (x + y = e), donde e es una constante. Sea M la estructura, para el lenguaje en que está escrita
Más detalles8. Complejidad Computacional
8. Complejidad Computacional Araceli Sanchis de Miguel Agapito Ledezma Espino José A. Iglesias Mar
Más detallesMatemáticas Discretas TC1003
Matemáticas Discretas TC1003 Demostración Automática de Teoremas Departamento de Matemáticas / Centro de Sistema Inteligentes ITESM ATP Matemáticas Discretas - p. 1/30 En lo anterior, hemos visto cómo
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 2006 07 LC, 2006 07 Métodos de Deducción
Más detallesLógica Proposicional (LP)
Lógica Proposicional (LP) Proposición Enunciado del que puede afirmarse si es verdadero o falso Oración declarativa Cuáles de las siguientes son proposiciones? ) Pedro es alto. 2) Juan es estudiante. 3)
Más detallesMÉTODOS DE DEMOSTRACIÓN
2016-1 1 Presentación 2 Métodos de Demostración Sobre métodos de demostración algunas preguntas de interés 1 Qué es una demostración? Sobre métodos de demostración algunas preguntas de interés 1 Qué es
Más detallesCircuitos Lógicos no Clásicos
Circuitos Lógicos no Clásicos Juan Carlos Agudelo Agudelo Grupo de Lógica y Computación Universidad EAFIT 12 de febrero de 2010 Juan C. Agudelo (EAFIT) 12 de febrero de 2010 1 / 15 Contenido 1 Circuitos
Más detallesEnunciados Abiertos y Enunciados Cerrados
I n g. L u z A d r i a n a M o n r o y M a r t í n e z L ó g i c a 1 Unidad II lógica proposicional Es probable que en el siglo IV antes de la Era Común, se iniciara con Aristóteles el estudio de la Lógica;
Más detallesMáquinas de Turing IIC3242. IIC3242 Máquinas de Turing 1 / 45
Máquinas de Turing IIC3242 IIC3242 Máquinas de Turing 1 / 45 Complejidad Computacional Objetivo: Medir la complejidad computacional de un problema. Vale decir: Medir la cantidad de recursos computacionales
Más detallesProblemas recursivamente enumerables
Problemas recursivamente enumerables Definición Un problema L es recursivamente enumerable si existe una máquina de Turing M tal que L = L(M). Nótese que M en la definición no necesariamente se detiene
Más detallesProblemas de decisión y su complejidad computacional
Problema de decisión Problemas de decisión y su complejidad computacional! Los problemas que tienen dos respuestas posibles! Sí o no! Verdad o falso! Posible o imposible Instancia! Existe o no existe!
Más detallesTableaux para la Lógica de Primer Orden
Tableaux para la Lógica de Primer Orden Mara Manzano USAL Curso 2009-2010 Mara Manzano (USAL) Tableaux LPO Curso 2009-2010 1 / 15 Introducción Hemos visto los tableaux para la lógica proposicional. Extenderemos
Más detallesProblemas recursivamente enumerables
Problemas recursivamente enumerables Definición Un problema L es recursivamente enumerable si existe una máquina de Turing M tal que L = L(M). Nótese que M en la definición no necesariamente se detiene
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 detallesIntroducción a la Lógica Modal
Introducción a la Lógica Modal Pedro Cabalar Depto. Computación Universidade da Coruña, SPAIN 4 de mayo de 2006. Cabalar ( Depto. Computación Universidade da Coruña, SPAIN Lógica ) Modal 4 de mayo de 2006
Más detallesRepaso de Lógica de Primer Orden
Repaso de Lógica de Primer Orden IIC3260 IIC3260 Repaso de Lógica de Primer Orden 1 / 29 Lógica de primer orden: Vocabulario Una fórmula en lógica de primer orden está definida sobre algunas constantes
Más detalles