Repaso de lógica, lógica modal y lógica temporal
|
|
- Belén Soledad Rivas Roldán
- hace 5 años
- Vistas:
Transcripción
1 , 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, segundo cuatrimestre de 2014
2 Parte I - Lógica
3 (3) La Lógica? Solemos hablar de La Lógica. En general nos referimos a lógica de primer orden (también conocida como PO o FOL). x.madruga(x) y.dios(y) ayuda(y, x) Aunque también hemos escuchado hablar de lógica proposicional. comerchicle cruzarlacalle Podemos pensar que PROP es una lógica que no permite cuantificar, mientras que PO ya permite hablar de conjuntos de individuos. Cuántas lógicas hay entonces? En qué se diferencian?
4 (4) Qué es una lógica? La definición más simple es que una lógica es un conjunto de fórmulas. Pero entonces... Qué es una fórmula? Cómo construimos conjuntos de esas cosas? Para definir qué es una fórmula necesitamos entender primero qué es un lenguaje.
5 (5) Qué es un lenguaje? Podríamos pensar que una vez fijado el alfabeto, cualquier secuencia de los símbolos del alfabeto es una palabra válida de un lenguaje. Sin embargo... perro dog = = 6 Entonces, un lenguaje es un conjunto de palabras que se puede escribir con el alfabeto dado. Tenemos dos formas de definir ese conjunto: Por enumeración: dando el Diccionario de la Real Academia de Nuestro Lenguaje, que contenga a todas las palabras. Mediante reglas: damos una serie de reglas que permitan construir todas las combinaciones posibles.
6 (6) Un ejemplo Un ejemplo: el lenguaje de los palitos llamado P. Regla 1: 0 pertenece a P. Regla 2: I pertenece a P. Regla 3: si α es una expresión de P que sólo contiene palitos, entonces αi también pertenece a P. Regla 4: si α y β son dos expresiones de P que sólo contienen palitos o 0, entonces α β también está en P. Notemos que en el lenguaje P hay fórmulas que tienen más sentido que otras. Fórmulas que nos gustaría pensar como verdaderas y otras como fórmulas falsas. Notemos que verdadero y falso es otro nivel de corrección, por encima de bien escrito. Por ejemplo, 0III II 0 no es ni verdadero ni falso, simplemente no pertenece a P.
7 (7) Identificando lo verdadero Los lenguajes lógicos se construyen para tener una forma rigurosa de razonar. Por ende, nos interesa tener una forma de caracterizar a los razonamientos válidos y a los inválidos. Es ahí donde surge la noción de axioma, regla de inferencia y teorema. Los teoremas generalmente son aquellas fórmulas de lenguaje que queremos caracterizar como verdaderas. La definición formal es que los axiomas ya son teoremas, y que las reglas de inferencia permiten construir teoremas a partir de otros. Ejemplo en P: AX1: 0 0 AX2: I I INF: ϕ ψ entonces I ϕ I ψ
8 (8) Identificando lo verdadero (cont.) Ejemplo en PO: PRED1: ( x.ϕ(x)) ϕ(t) PRED2: ϕ(t) ( x.ϕ(x)) PRED3: ( x.(ψ ϕ(x))) (ψ x.ϕ(x)) PRED4: ( x.(ϕ(x) ψ)) ( x.ϕ(x) ψ) GEN: ϕ entonces x.ϕ
9 (9) Identificando lo verdadero (cont.) IMPORTANTE: La lógica sólo nos permite identificar teoremas. La carga de verdadero, la ponemos nosotros. Por ejemplo, si P tuviera como regla: INF: ϕ ψ entonces I ϕ II ψ La expresión I II sería un teorema por más que a nosotros intuitivamente nos parezca falsa. Es decir, los teoremas son puramente formales, sin significado alguno. Y eso es razonable, porque hasta ahora vimos la parte sintáctica de las lógicas. Para construir lógicas donde los teoremas coincidan con nuestra noción de verdad hay que empezar a hablar de semántica.
10 (10) Semántica Para darle sentido a las fórmulas hay que empezar a hablar de modelos. Un modelo es un objeto matemático, típicamente un conjunto de elementos y de relaciones entre ellos (detalle formal). Por ejemplo, en el caso de P, podríamos asignarle como modelo el conjunto de los números naturales y al símbolo la relación de igualdad entre números naturales. Llamémoslo (IN, =). En ese modelo todos nuestros teoremas son válidos. Ahora, si tomamos como modelo a (IN, <), dejan de serlo. Lo interesante es la noción de satisfacibilidad.
11 (11) Satisfacibilidad Una fórmula ϕ es satisfacible en un modelo M (escrito M = ϕ), si una vez interpretada es verdadera en M. Ejemplo: En (IN, =), la fórmula II II se interpreta como 2 = 2, que es verdadera, y por ende (IN, =) = II II. En (IN, <), la misma fórmula se interpreta como 2 < 2, que es falsa y por ende (IN, <) = II II. Una fórmula ϕ es satisfacible si existe un modelo M tal que M = ϕ. Es insatisfacible cuando no existe ningún modelo que la satisfaga. Una fórmula es válida cuando es verdadera en todo modelo. Una lógica es correcta si todos sus teoremas son válidos. Una lógica es completa si todas sus fórmulas válidas son teoremas.
12 (12) Satisfacibilidad (cont.) IMPORTANTE: dada una fórmula ϕ y una clase de modelos, nos suele interesar saber: Es satisfactible? x.pelado(x) Es satisfactible, porque hay modelos en los que es cierta. Ie, esta sala. Es valida? x.pelado(x) pelado(x) Es válida, porque en cualquier modelo una propiedad booleana es cierta o no para un elemento dado. Es insatisfactible? x.pelado(x) pelado(x) Es insatisfactible, porque en ningún modelo una propiedad booleana puede ser cierta y falsa a la vez.
13 (13) Satisfacibilidad (cont.) Una fórmula es válida cuando es verdadera en todo modelo. Una lógica es correcta si todos sus teoremas son válidos. Una lógica es completa si todas sus fórmulas válidas son teoremas. Por ende, si una lógica es correcta y completa, aquéllo que es deducible mediante los axiomas es todo lo que es verdadero en todos sus modelos......y si algo es verdadero en todos sus modelos, entonces va a poder demostrarse. PROP y PO son correctas y completas, pero no todas las lógicas lo son. Ahora bien, si tenemos una lógica correcta y completa, qué tan fácil es darse cuenta si algo es verdad o no?
14 (14) Clase de complejidad El estudio de algoritmos es un área muy rica con resultados muy interesantes. Por ejemplo, nos permite saber que ciertos algoritmos son mejores que otros. Pero también que para ciertos tipos de problema, aún el mejor algoritmo va a requerir como mínimo cierta cantidad de pasos. Más aún, también sabemos que para ciertos problemas no existe algoritmo que nos de una respuesta en una cantidad finita de pasos. Esos problemas se llaman indecidibles. El problema de decidir la satisfacibilidad de una fórmula de PROP se puede hacer en una cantidad de pasos exponencial (algo así como k n ). La satisfacibilidad de PO es indecidible.
15 (15) Clase de complejidad (cont.) Entendamos bien: Para casos puntuales sí es decidible (hasta 2 variables, por ejemplo). Lo que nos dice el resultado es que no existe ni existirá ningún algoritmo que pueda tomar como entrada una fórmula arbitraria de PO y que luego de una cantidad finita de tiempo pueda decirnos si es satisfactible o no. Sí existen algoritmos que a veces responden y a veces se cuelgan (no son muy útiles). Sí existen algoritmos con respuestas probabiĺısticas.
16 (16) Balanceando Repasemos: PROP es menos poderosa que PO, pero es decidible. PO es mucho más poderosa que PROP, pero es indecidible. En general, el trabajo en lógica se trata de buscar aquélla que tiene el balance correcto entre expresividad y complejidad. Surgen entonces las lógicas modales, que son una familia de lógicas, algunas de ellas correctas y completas, y que tienen una complejidad y expresividad intermedia. En particular, una subfamilia, que son las lógicas temporales, que permiten hablar del tiempo.
17 Parte III - Lógicas modales, lógica temporal
18 (18) Lógicas modales Suele convenir pensar en las lógicas modales empezando por sus modelos. Estos modelos se llaman modelos de Kripke: un conjunto de puntitos unidos por flechas. Los puntitos tienen marquitas. puntitos = mundos flechas = relaciones de accesibilidad marquitas = fórmulas proposicionales que valen en el mundo Cada configuraciones de mundos y relaciones es un modelo de Kripke en particular.
19 (19) Modelos de Kripke Ejemplos:
20 (20) Lógicas modales (cont.) Las lógicas modales permiten hablar de relaciones entre los mundos. Ejemplos: Desde el mundo w se puede llegar en un paso a un mundo donde vale la fórmula ϕ. Desde el mundo w, todos los mundos conectados en un paso cumplen con la fórmula ψ. Y estas cosas se pueden combinar: llamemos ψ a la primer fórmula y analicemos de nuevo la segunda. Para qué sirve esto? Los mundos pueden ser esquinas y las relaciones las calles que las unen. Los mundos pueden ser días de la semana. Los mundos pueden ser personas y las relaciones los distintos tipos de relaciones entre ellos. Fórmula interesante: Es cierto que existe un mundo que está unido por la relación llamada matrimonio a otros dos mundos?
21 (21) Kripke Saúl Kripke
22 (22) Hablemos del tiempo Es particularmente interesante poder hablar sobre el paso del tiempo. OJO A = B no contiene ninguna noción de temporalidad Pienso, luego existo significa... Pienso, y en consecuencia existo : pienso existo Pienso, y más tarde existo : no podemos representarlo con una implicación. La implicación lógica (A B) tampoco conlleva ninguna noción de temporalidad. Captura la noción de necesariedad. Si A B, significa que A no puede ser verdadero sin que B lo sea a la vez. Aunque a veces lo usemos con cierto sentido temporal en el lenguaje coloquial ( si llueve entonces me mojo ). Por ende, necesitamos alguna otra construcción para hablar de la noción de sucesión temporal.
23 (23) Hablemos del tiempo (cont.) Existen varias lógicas temporales, con distinto nivel de expresividad y distinta complejidad. Una de las más populares: LTL, Linear Temporal Logic. Es una lógica modal que se interpreta sobre modelos de Kripke con las siguientes características. Los mundos representan instantes en el tiempo. Existe una única relación notada que es la de pasaje de una cantidad indeterminada de tiempo. Es decir, si w 1 w 2 significa que w 2 es un instante posterior a w 1. Además, los modelos son irreflexivos (nunca w w), antisimétricos (si w 1 w 2, entonces w 2 w 1 ) y transitivos (w 1 w 2, w 2 w 3 entonces w 1 w 3 ). Por eso se dice que los modelos de LTL son lineales.
24 (24) Hablemos del tiempo (cont.) Las fórmulas de LTL son: Las proposicionales. Until: ϕ U ψ (se interpreta vale ϕ hasta que empieza a valer ψ ) ϕ (se interpreta hay un instante posterior donde vale ϕ ) ϕ (se interpreta en todos los instantes posteriores vale ϕ ) Combinaciones proposicionales de las anteriores.
25 (25) Evaluando fórmulas LTL Cómo se evalúa una fórmula LTL en un modelo de Kripke M? Para empezar, debemos entender que las fórmulas modales se evalúan en un mundo en particular. Entonces, la pregunta a realizarse es si ϕ es satisfacible en un mundo w de un modelo M. Es decir, si M, w = ϕ.
26 (26) Evaluando fórmulas LTL (cont.) Entonces, para saber si M, w = ϕ: Si ϕ es una fórmula proposicional pura, alcanza con ver si w = ϕ, en el sentido de ver si las variables proposicionales de w satisfacen o no a ϕ. Si ϕ es ψ, deberemos ver que no sea cierto que M, w = ψ. Si ϕ es ψ 1 ψ 2, deberemos ver si M, w = ψ 1 o si M, w = ψ 2. Si ϕ es ψ 1 ψ 2, deberemos ver si M, w = ψ 1 y si M, w = ψ 2. (Recordemos que p q p q) Si ϕ es ψ, deberemos ver si existe un w 2 posterior a w (es decir, w w 2 ), tal que M, w 2 = ψ. Si ϕ es ψ, deberemos ver que en todos los w i posteriores a w (es decir, todos los que cumplan que w w i ), valga que M, w i = ψ. Si ϕ es ψ 1 U ψ 2, deberemos ver que M, w = ψ 1 (ψ 1 vale al comienzo) existan w 1... w n tal que w w 1 w 2... w n 1 w n tales que 1 i n 1.M, w i = ψ 1 (existe una secuencia de mundos en los que vale ψ 1) M, w n = ψ 2 (al final vale ψ 2)
27 (27) Evaluando fórmulas LTL (cont.) Vamos a usar eventualmente en el sentido del inglés eventually : indefectiblemente en algún momento indeterminado del futuro. Notar que ϕ es true U ϕ ( eventualmente ϕ se vuelve verdadera). Notar que ϕ es ϕ. Notar que y son de alguna manera los cuantificadores de LTL. Se los llama modalidades.
28 (28) Evaluando fórmulas LTL (cont.) Ejemplo: M, w 1 = p U q M, w 1 = p M, w 1 = q M, w 1 = p M, w 1 = (p q) M, w 3 = (p q) M, w 4 = p M, w 1 = ( (p q))
29 (29) Por qué es interesante LTL para el mundo legal? Podemos pensar que de lo que se trata toda norma es de separar a los hechos del mundo en dos, los que la cumplen y los que no. En realidad, no hechos: más bien secuencias de hechos. A estas secuencias de hechos las llamamos trazas. Las trazas son secuencias de instantes donde en cada uno de ellos hay ciertas proposiciones que son verdaderas y otras falsas. Por ejemplo JuanEstabaVivo U PedroDisparó. Está prohibido robar: robar Está permitido fumar: fumar. Prohibido hablar cuando se enciende la luz: luzencendida (prohibidohablar U luzencendida)
Bases Formales de la Computación
Modal Bases Formales de la Computación Pontificia Universidad Javeriana 3 de abril de 2009 Modal LÓGICAS MODALES Contenido Modal 1 Modal 2 3 Qué es la lógica Modal? Modal Variedad de diferentes sistemas
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 detallesLógica Modal Computacional. Usos de Bisimulaciones
Lógica Modal Computacional Usos de Bisimulaciones Daniel Gorín & Sergio Mera 1er Cuatrimestre 2010, Buenos Aires, Argentina Temario Propiedad de tree model. n-bisimulación. Propiedad de modelo finito vía
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 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 detallesHerramientas. 1 FormaLex, Departamento de Computación, FCEyN, Universidad de Buenos Aires, Buenos Aires, Argentina
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, segundo cuatrimestre de 2014 (2)
Más detallesLógicas Modales. Usos de Bisimulaciones
Lógicas Modales Usos de Bisimulaciones Carlos Areces 1er Cuatrimestre 2012, Córdoba, Argentina Temario Propiedad de tree model. n-bisimulación. Propiedad de modelo finito vía selección. Propiedad de modelo
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 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 detallesCurso académico 2007/2008 Tema 3: Método de los Árboles Semánticos
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 p. 2/? La Maquina que Piensa Formalizar
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 detallesGeneralidades. Lógicas Modales. De qué se trata esta materia? Qué es lo que vamos a ver? Organización de la materia. Carlos Areces & Raul Fervari
Generalidades Lógicas Modales De qué se trata esta materia? Carlos Areces & Raul Fervari 1er Cuatrimestre 2017, Córdoba, Argentina En esta materia vamos a hablar de lógicas modales. La materia va a ser
Más detallesLógica Modal Computacional. De qué se trata esta materia?
Lógica Modal Computacional De qué se trata esta materia? Daniel Gorín & Sergio Mera 1er Cuatrimestre 2010, Buenos Aires, Argentina Generalidades En esta materia vamos a hablar de lógicas modales. La materia
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 detallesIntrodución a la Lógica Proposicional
Introdución a la Lógica Proposicional Pablo Barceló P. Barceló Lógica Proposicional - CC52A 1 / 24 Lógica proposicional: Sintaxis Tenemos los siguientes elementos: - Variables proposicionales (P): p, q,
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 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 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 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 detallesSemántica topológica para lógicas no clásicas p.1/37
Semántica topológica para lógicas no clásicas David Fernández Duque Universidad de Sevilla Grupo de Investigación en Lógica, Lenguaje e Información Semántica topológica para lógicas no clásicas p.1/37
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 detallesLógica modal, topología y sistemas dinámicos p.1/37
Lógica modal, topología y sistemas dinámicos David Fernández Duque Universidad de Sevilla Grupo de Lógica, Lenguaje e Información Lógica modal, topología y sistemas dinámicos p.1/37 Introducción La interpretación
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 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: 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 detallesAnálisis lógico Cálculo de proposiciones
Sintaxis Semántica Sistemas de demostración Análisis lógico Cálculo de proposiciones Departamento de Matemáticas Facultad de Ciencias, UNAM E-mail: fhq@ciencias.unam.mx Página Web: www.matematicas.unam.mx/fhq
Más detallesLógica Proposicional: Deducciones formales
Lógica Proposicional: Deducciones formales Pablo Barceló P. Barceló Resolución Proposicional - CC52A 1 / 24 La noción de consecuencia lógica La noción de consecuencia es fundamental para cualquier lenguaje,
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 detallesConsecuencia Lógica. Desde un punto de vista lógico, un argumento no es más que una sucesión (finita) de premisas o hipótesis y una conclusión.
Desde un punto de vista lógico, un argumento no es más que una sucesión (finita) de premisas o hipótesis y una conclusión. 1,, n Un argumento es correcto si la conclusión es consecuencia, si se sigue,
Más detallesLa lógica de segundo orden: Sintaxis
La lógica de segundo orden: Sintaxis Dado: Vocabulario L Definición La lógica de segundo orden (LSO) sobre L es definida como la extensión de LPO que incluye las siguientes reglas: Si t 1,..., t k son
Más detallesTema de la clase: Lógica Matemática. Introducción
Tema de la clase: Lógica Matemática Instructor: Marcos Villagra Clase # 01 Escriba: Sergio Mercado Fecha 30/10/2017 Introducción Una de las características principales que distinguen a las matemáticas
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 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 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. 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 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 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. 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 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 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 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 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 detallesLógica modal computacional
Lógica modal computacional Decidibilidad y complejidad Daniel Gorín y Sergio Mera 1er cuatrimestre de 2010 Cómputos determinísticos Programa Usaremos un modelo de cómputo imperativo (RAM) Podríamos haber
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 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 detallesLógicas Modales Computacionales Clase # 5: Usos de Bisimulaciones
Lógicas Modales Computacionales Clase # 5: Usos de Bisimulaciones Carlos Areces / Daniel Gorín / Sergio Mera 2do Cuatrimestre 2006, Buenos Aires, Argentina Temario Propiedad de tree model. n-bisimulación.
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 detallesClase 02/10/2013 Tomado y editado de los apuntes de Pedro Sánchez Terraf
Clase 02/10/2013 Tomado y editado de los apuntes de Pedro Sánchez Terraf Escenas de episodios anteriores objetivo: estudiar formalmente el concepto de demostración matemática. caso de estudio: lenguaje
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 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 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 detallesUna Introducción a las Lógicas Híbridas
carlos.areces@gmail.com FaMAF - UNC Córdoba - Argentina 28 de Octubre, Rosario, Argentina Qué son HL? PE y Complejidad Ejemplo Conclusiones Estructura de la Charla 1 Qué son las Lógicas Híbridas? Lógicas
Más detallesIntroducción. El uso de los símbolos en matemáticas.
Introducción El uso de los símbolos en matemáticas. En el estudio de las matemáticas lo primero que necesitamos es conocer su lenguaje y, en particular, sus símbolos. Algunos símbolos, que reciben el nombre
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 detallesConjuntos computables y Teorema de Rice
Lógica y Computabilidad Julián Dabbah (Robado de una clase de Franco Frizzo basada en una clase de María Emilia Descotte) 20 de septiembre de 2017 Repaso Conjuntos computables La función característica
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 detallesLa clase de hoy. 22 de abril de 2017
La clase de hoy 22 de abril de 2017 1. Satisfacibilidad 1.1. Vamos a extender ahora nuestra noción de verdad bajo una interpretación de enunciados a fórmulas. Por supuesto, el tema es cómo interpretar
Más detallesInteligencia Artificial
Inteligencia Artificial Conocimiento y razonamiento 2. Lógica proposicional Dr. Edgard Iván Benítez Guerrero 1 Lenguajes lógicos Los hechos forman parte del mundo, mientras que las sentencias son la representación
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 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 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 detallesLógica modal básica. Luis Sierra. Octubre, 2009
Lógica modal básica Luis Sierra Octubre, 2009 1. Un nuevo lenguaje El lenguaje BML de la lógica modal básica extiende el alfabeto de la lógica proposicional con dos nuevas marcas o letras, y. La definición
Más detalleslogica computacional Tema 1: Introducción al Cálculo de Proposiciones
Tema 1: Introducción al Cálculo de Proposiciones Introducción al concepto de cálculo Un cálculo es una estructura pura; un sistema de relaciones. Un cálculo se compone de lo siguiente: Un conjunto de elementos
Más detallesLógica Proposicional
Proposicional Disciplina matemática Disciplina formal Se razona sobre la estructura de las cosas Se quiere estudiar el razonamiento, y no las verdades contingentes Se quiere estudiar la noción de consecuencia
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 detallesLógica Proposicional IIC2213. IIC2213 Lógica Proposicional 1/42
Lógica Proposicional IIC2213 IIC2213 Lógica Proposicional 1/42 Por qué necesitamos la lógica? Necesitamos un lenguaje con una sintaxis precisa y una semántica bien definida. Queremos usar este lenguaje
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 detallesLógica Proposicional IIC2213. IIC2213 Lógica Proposicional 1/42
Lógica Proposicional IIC2213 IIC2213 Lógica Proposicional 1/42 Por qué necesitamos la lógica? Necesitamos un lenguaje con una sintaxis precisa y una semántica bien definida. Queremos usar este lenguaje
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 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 detallesClase Práctica 1 - Inducción estructural, conectivos adecuados y consecuencia - Viernes 23 de marzo de 2012
Lógica y Computabilidad Primer Cuatrimestre 2012 Clase Práctica 1 - Inducción estructural, conectivos adecuados y consecuencia - Viernes 23 de marzo de 2012 Definición 1. Notaremos con Form al conjunto
Más detallesSobre el teorema de la deducción
Sobre el teorema de la deducción José Alfredo Amor Montaño La teoría formal L para la lógica de proposiciones tiene como conjunto de símbolos primitivos al conjunto S = {, } {(, )} {P i } i N, de conectivos
Más detallesLógica Proposicional 1:! Semántica!
Lógica Proposicional 1:! Semántica! rafael ramirez rafael.ramirez@upf.edu 55.316 (Tanger) Lógica proposicional! Un conjunto de variables p, q, r, que representan afirmaciones tales como Esta caja es roja
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 detallesLógicas no clásicas: Introducción a la lógica modal
Lógicas no clásicas: Introducción a la lógica modal Pedro Arturo Góngora Luna pedro.gongora@gmail.com Índice 1. Repaso 1 1.1. Relaciones binarias............................... 1 1.2. Relaciones binarias
Más detallesPragmática es el estudio de la relación entre los signos y los sujetos que los emplean.
Lógica Sólo en el caso de enunciar hechos o situaciones, las afirmaciones pueden ser calificadas de verdaderas o falsas, sólo en este caso el lenguaje tiene un determinado valor de verdad. Se le puede
Más detallesLa Representación de las Gramáticas
La Representación de las Gramáticas El Generador del Lenguaje Universidad de Cantabria Esquema 1 Introducción 2 3 4 Introducción Las gramáticas libres de contexto son más generales que las gramáticas regulares.
Más detallesMaterial para el curso de Lógica (primavera 2016)
Material para el curso de Lógica (primavera 2016) Facultad de Filosofía, Universidad de Sevilla Última modificación: 18 Junio 2016. Detalles prácticos Curso impartido por Fernando R. Velázquez Quesada.
Más detallesTema 2: Teoría de la Demostración
Tema 2: Teoría de la Demostración Conceptos: Estructura deductiva Teoría de la Demostración Sistemas axiomáticos: Kleene Fórmulas válidas Teorema de la Deducción Introducción a la T. de la Demostración
Más detallesMaterial para el curso Teoría de la Argumentación, Otoño 2012
Material para el curso Teoría de la Argumentación, Otoño 2012 Algunos archivos enlazados desde esta página han sido eliminados. Quien desee consultarlos puede enviarme un correo (FRVelazquezQuesada "at"
Más detallesCompletitud en Lógica de Predicados
Completitud en de Predicados Predicados - Completitud 1 Corrección. Significa que las derivaciones expresan una consecuencia lógica. Establece una correspondencia tal que partiendo de nociones sintácticas
Más detallesLógica Matemática. Tema: Argumentos
Lógica Matemática Tema: Argumentos Argumentos Definición y propósito de los argumentos Un argumento es un conjunto de una o más oraciones. La última de ellas se denomina conclusión, las anteriores se llaman
Más detallesEl conectivo XOR y la diferencia simétrica de conjuntos
El conectivo OR y la diferencia simétrica de conjuntos Memo Garro Enero 2018 Resumen Definimos la diferencia simétrica usual de conjuntos mediante el conectivo OR Y. También conocido comunmente como disyunción
Más detallesLenguajes Formales y Monoides
Universidad de Cantabria Esquema 1 2 3 La operación esencial sobre Σ es la concatenación o adjunción de palabras: : Σ Σ Σ (x, y) x y es decir, si x = x 1 x n e y = y 1 y m, entonces x y = x 1 x n y 1 y
Más detallesLógica Matemática, Sistemas Formales, Cláusulas de Horn
Lógica Matemática, Sistemas Formales, Cláusulas de Horn Lic. José Manuel Alvarado La lógica se ocupa de las argumentaciones válidas. Las argumentaciones ocurren cuando se quiere justificar una proposición
Más detallesIntroducción a la Lógica y la Computación
Introducción a la Lógica y la Computación Parte III: Lenguajes y Autómatas Clase del 4 de Noviembre de 2015 Parte III: Lenguajes y Autómatas Introducción a la Lógica y la Computación 1/21 Lenguajes Formales
Más detallesTeorema de Compacidad
Teorema de Compacidad Seminario de Teoría de Modelos - FCEyN - UBA 1 de septiembre de 2011 Teorema 1 (Compacidad). Una L-teoría T es satisfacible si y solo si todo subconjunto finito de T es satisfacible.
Más detallesProgramación imperativa. Algoritmos y Estructuras de Datos I. Ciclos
Programación imperativa Algoritmos y Estructuras de Datos I Segundo cuatrimestre de 2014 Departamento de Computación - FCEyN - UBA Programación imperativa - clase 6 Ciclos y arreglos Entidad fundamental:
Más detallesMatemáticas Discretas TC1003
Matemáticas Discretas TC1003 Módulo I: Descripción Departamento de Matemáticas ITESM Módulo I: Descripción Matemáticas Discretas - p. 1/15 En esta sección veremos un poco de la historia de la Lógica: desde
Más detallesAlgoritmos y Estructura de Datos I
Algoritmos y Estructura de Datos I Lógica proposicional Agustín Martinez Lunes 27 de marzo de 2017 Menú del día Formulas y valores de verdad Relación de fuerza entre formulas Razonamientos del mundo real
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. 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 detallesDepartamento de Matemáticas Facultad de Química UNAM. Febrero de 2011
Lógica Matemática. El sistema M-I César Rincón Orta Departamento de Matemáticas Facultad de Química UNAM Febrero de 2011 La lógica matemática puede considerarse como una teoría analítica del arte de razonar,
Más detallesLógica Proposicional (LP)
Lógica Proosicional (LP) Proosición Enunciado del ue uede afirmarse si es verdadero o falso Oración declarativa Cuáles de las siguientes son roosiciones? ) Pedro es alto. 2) Juan es estudiante. 3) Vayan
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 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 predicados
Matemática Discreta y Lógica 2 Lógica de predicados 1 Cuantificadores El lenguaje de la lógica proposicional que ya vimos, no es suficiente para representar todo el lenguaje matemático. Por ejemplo, la
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 detalles