Paradigma lógico Lógica proposicional Resolución. Programación Lógica. Eduardo Bonelli. Departamento de Computación FCEyN UBA. 10 de octubre, 2006
|
|
- Gloria Iglesias Cordero
- hace 6 años
- Vistas:
Transcripción
1 Departamento de Computación FCEyN UBA 10 de octubre, 2006
2 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 ) a probar Un motor de inferencia trata de probar que el objetivo es consecuencia de los hechos y reglas Es declarativo: se especifican hechos, reglas y objetivo sin indicar cómo se obtiene éste último a partir de los primeros
3 Prolog Prolog Lenguaje de programación basado en este esquema que fue introducido a fines de 1971 (cf. The Birth of Prolog, A. Colmerauer y P. Roussel, colmer/) Los programas se escriben en un subconjunto de la lógica de primer orden El mecanismo teórico en el que se basa es el método de resolución Para motivar y comprender este mecanismo primero lo vamos a estudiar en el ámbito de la lógica proposicional
4 Prolog Prolog Ejemplo de programa PROLOG habla(ale,ruso). habla(juan,ingles). habla(maria,ruso). habla(maria,ingles). secomunicacon(x,y):-habla(x,l),habla(y,l),x\=y Ejemplo de goal secomunicacon(x,ale)
5 Nuestro enfoque Prolog 1 (Clase 1/4) 2 Método de resolución para lógica proposicional (Clase 1/4) 3 Método de resolución para lógica de primer orden (Clase 2/4) 4 Cláusulas de Horn y resolución SLD, programación lógica (Clase 3/4) 5 Intérprete para MiniProlog (Clase 4/4)
6 Sintaxis de la lógica proposicional Sintaxis Valuaciones, Satisfactibilidad, Tautologías Forma normal conjuntiva Dado un conjunto V de variables proposicionales, podemos definir inductivamente al conjunto de fórmulas proposicionales (o proposiciones) (Prop) de la siguiente manera: 1 Una variable proposicional P 0, P 1,... es una proposición 2 Si A, B son proposiciones, entonces: A es una proposición A B es una proposición A B es una proposición A B es una proposición A B es una proposición Ejemplos: A B, (A B) (A A)
7 Valuaciones Sintaxis Valuaciones, Satisfactibilidad, Tautologías Forma normal conjuntiva Definición Una valuación es una función v : V {T, F} que asigna valores de verdad a las variables proposicionales Una valuación satisface una proposición A si v = A donde: v = P sii v(p) = T v = A sii v = A v = A B sii v = A o v = B v = A B sii v = A y v = B v = A B sii v = A o v = B v = A B sii (v = A sii v = B)
8 Tautologías y satisfactibilidad Sintaxis Valuaciones, Satisfactibilidad, Tautologías Forma normal conjuntiva Definición Una proposición A es una tautología si v = A para toda valuación v. satisfactible si existe una valuación v tal que v = A insatisfactible si no es satisfactible Un conjunto de proposiciones S es satisfactible si existe una valuación v tal que para todo A S, se tiene v = A insatisfactible si no es satisfactible
9 Ejemplos Sintaxis Valuaciones, Satisfactibilidad, Tautologías Forma normal conjuntiva Tautologías A A A A (A B) ( B A) Proposiciones insatisfactibles ( A B) ( A B) A (A B) A B
10 Tautologías e insatisfactibilidad Sintaxis Valuaciones, Satisfactibilidad, Tautologías Forma normal conjuntiva Teorema Una proposición A es una tautología sii A es insatisfactible. Si A es tautología, para toda valuación v, v = A. Entonces, v = A (ie. v no satisface A).. Si A es insatisfactible, para toda valuación v, v = A. Luego v = A. Notar Este resultado sugiere un método indirecto para probar que una proposición A es una tautología, a saber probar que A es insatisfactible
11 Forma normal conjuntiva (FNC) Sintaxis Valuaciones, Satisfactibilidad, Tautologías Forma normal conjuntiva Un Literal es una variable proposicional P o su negación P Una proposición A está en FNC si es una conjunción C 1... C n donde cada C i (llamado cláusula) es una disyunción y cada B ij es un literal B i1... B ini Una FNC es una conjunción de disyunciones de literales
12 Forma normal conjuntiva Sintaxis Valuaciones, Satisfactibilidad, Tautologías Forma normal conjuntiva Ejemplos (P Q) (P Q) está en FNC (P Q) (P Q) no está en FNC (P Q) P no está en FNC Teorema Para toda proposición A puede hallarse una proposición A en FNC que es lógicamente equivalente a A. Nota A es lógicamente equivalente a B sii A B es una tautología
13 Calculando la FNC Sintaxis Valuaciones, Satisfactibilidad, Tautologías Forma normal conjuntiva Hay muchas técnicas para pasar una fórmula a FNC Una podría ser aplicar los siguiente dos pasos 1 Primero a forma normal negada o FNN (negación sólo aparece aplicada a átomos) A B A B A A (A B) A B (A B) A B (A B) A B 2 Luego pasar la FNN a FNC A (B C) (A B) (A C) (A B) C) (A C) (B C)
14 Notación conjuntista para FNC Sintaxis Valuaciones, Satisfactibilidad, Tautologías Forma normal conjuntiva Dado que tanto como 1 son conmutativos (ie. (A B) (B A)) 2 son asociativos (ie. ((A B) C) (A (B C))) 3 son idempotentes (ie. (A A) A) Podemos asumir que cada cláusula C i 1 es distinta 2 puede verse como un conjunto de literales distintos Consecuentemente podemos usar la notación {C 1,..., C n } donde cada C i es un conjunto de literales {B i1,..., B ini } Por ejemplo, la FNC (P Q) (P Q) se anota {{P, Q}, {P, Q}}
15 Es un método para decidir si una proposición es válida Introducido por Alan Robinson en 1965 Es simple de implementar Se extiende a lógica de primer orden y otras lógicas no funcionales Es bastante popular en el ámbito de demostración automática de teoremas
16 Tiene una única regla de inferencia: la regla de resolución Precio a pagar: Requiere que las proposiciones estén en forma normal conjuntiva La idea del método: mostrar la validez de una proposición estableciendo que la negación de la proposición es insatisfactible Por ello se dice que es un método de refutación
17 Principio fundamental del método de resolución se basa en el hecho de que la siguiente proposición es una tautología (A P) (B P) (A P) (B P) (A B) En efecto, el conjunto de cláusulas es lógicamente equivalente a {C 1,..., C m, {A, P}, {B, P}} {C 1,..., C m, {A, P}, {B, P}, {A, B}}
18 En consecuencia, el conjunto de cláusulas es insatisfactible sii lo es {C 1,..., C m, {A, P}, {B, P}} {C 1,..., C m, {A, P}, {B, P}, {A, B}} La cláusula {A, B} se llama resolvente de las cláusulas {A, P} y {B, P} El resolvente de las cláusulas {P} y { P} es la cláusula vacía y se anota Una FNC conteniendo la cláusula es trivialmente insatisfactible
19 Definición Ejemplo Dado un literal L, el opuesto de L (escrito L) se define como: P si L = P P si L = P Dadas dos cláusulas C 1, C 2, una cláusula C se dice resolvente de C 1 y C 2 sii, para algún literal L, L C 1, L C 2, y C = (C 1 {L}) (C 2 {L}) Las cláusulas {A, B} y { A, B} tienen dos resolventes: {A, A} y {B, B}. Las cláusulas {P} y { P} tienen a la cláusula vacía como resolvente
20 Regla de resolución Regla de resolución {A 1,..., A m, Q} {B 1,..., B n, Q} {A 1,..., A m, B 1,..., B n } Ejemplo El resultado de aplicar la regla de resolución a {{P, Q}, {P, Q}, { P, Q}, { P, Q}} es {{P, Q}, {P, Q}, { P, Q}, { P, Q}, {P}}
21 Definición El proceso de agregar el resolvente de dos cláusulas que pertenecen a un conjunto S a S (ie. de aplicar la regla de resolución a S) se llama un paso de resolución. NB: Pasos de resolución preservan insatisfactibilidad Sea S un conjunto de cláusulas. Si C es la cláusula resolvente de C 1, C 2 S, entonces S es insatisfactible sii S {C} es insatisfactible. O, lo que es lo mismo, S es lógicamente equivalente a S {C}. Definición Un conjunto de cláusulas S se llama una refutación si S contiene a la cláusula vacía.
22 trata de construir una secuencia de conjuntos de cláusulas, obtenidas usando pasos de resolución hasta llegar a una refutación. En ese caso se sabe que el conjunto inicial de cláusulas es insatisfactible dado que 1 cada paso de resolución preserva insatisfactibilidad 2 el último conjunto de cláusulas es insatisfactible dado que contiene la cláusula vacía
23 Método de resolución Terminación de la regla de resolución La aplicación reiterada de la regla de resolución siempre termina (suponiendo que el resolvente que se agrega es nuevo) En efecto, notar que 1 El resolvente (ie. la cláusula nueva que se agrega) se forma con los literales distintos que aparecen en el conjunto de cláusulas de partida S 2 Hay una cantidad finita de literales en el conjunto de cláusulas de partida S En el peor de los casos, la regla de resolución podrá generar una nueva cláusula por cada combinación diferente de literales distintos de S
24 Ejemplo Objetivo: mostrar que el conjunto de cláusulas {{P, Q}, {P, Q}, { P, Q}, { P, Q}} es insatisfactible. 1 {{P, Q}, {P, Q}, { P, Q}, { P, Q}} 2 {{P, Q}, {P, Q}, { P, Q}, { P, Q}, {P}} 3 {{P, Q}, {P, Q}, { P, Q}, { P, Q}, {P}, {Q}} 4 {{P, Q}, {P, Q}, { P, Q}, { P, Q}, {P}, {Q}, { P}} 5 {{P, Q}, {P, Q}, { P, Q}, { P, Q}, {P}, {Q}, { P}, }
25 Ejemplo Objetivo: mostrar que el conjunto de cláusulas {{P, Q}, {P, Q}, { P, Q}, { P, Q}} es insatisfactible. 1 {{P, Q}, {P, Q}, { P, Q}, { P, Q}} 2 {{P, Q}, {P, Q}, { P, Q}, { P, Q}, {P}} 3 {{P, Q}, {P, Q}, { P, Q}, { P, Q}, {P}, {Q}} 4 {{P, Q}, {P, Q}, { P, Q}, { P, Q}, {P}, {Q}, { P}} 5 {{P, Q}, {P, Q}, { P, Q}, { P, Q}, {P}, {Q}, { P}, }
26 Ejemplo Objetivo: mostrar que el conjunto de cláusulas {{P, Q}, {P, Q}, { P, Q}, { P, Q}} es insatisfactible. 1 {{P, Q}, {P, Q}, { P, Q}, { P, Q}} 2 {{P, Q}, {P, Q}, { P, Q}, { P, Q}, {P}} 3 {{P, Q}, {P, Q}, { P, Q}, { P, Q}, {P}, {Q}} 4 {{P, Q}, {P, Q}, { P, Q}, { P, Q}, {P}, {Q}, { P}} 5 {{P, Q}, {P, Q}, { P, Q}, { P, Q}, {P}, {Q}, { P}, }
27 Ejemplo Objetivo: mostrar que el conjunto de cláusulas {{P, Q}, {P, Q}, { P, Q}, { P, Q}} es insatisfactible. 1 {{P, Q}, {P, Q}, { P, Q}, { P, Q}} 2 {{P, Q}, {P, Q}, { P, Q}, { P, Q}, {P}} 3 {{P, Q}, {P, Q}, { P, Q}, { P, Q}, {P}, {Q}} 4 {{P, Q}, {P, Q}, { P, Q}, { P, Q}, {P}, {Q}, { P}} 5 {{P, Q}, {P, Q}, { P, Q}, { P, Q}, {P}, {Q}, { P}, }
28 Ejemplo Objetivo: mostrar que el conjunto de cláusulas {{P, Q}, {P, Q}, { P, Q}, { P, Q}} es insatisfactible. 1 {{P, Q}, {P, Q}, { P, Q}, { P, Q}} 2 {{P, Q}, {P, Q}, { P, Q}, { P, Q}, {P}} 3 {{P, Q}, {P, Q}, { P, Q}, { P, Q}, {P}, {Q}} 4 {{P, Q}, {P, Q}, { P, Q}, { P, Q}, {P}, {Q}, { P}} 5 {{P, Q}, {P, Q}, { P, Q}, { P, Q}, {P}, {Q}, { P}, }
29 Ejemplo Objetivo: mostrar que el conjunto de cláusulas {{A, B, C}, {A, B, C}, {A, B}, { A}} es insatisfactible. 1 {{A, B, C}, {A, B, C}, {A, B}, { A}} 2 {{A, B, C}, {A, B, C}, {A, B}, { A}, {A, B}} 3 {{A, B, C}, {A, B, C}, {A, B}, { A}, {A, B}, {A}} 4 {{A, B, C}, {A, B, C}, {A, B}, { A}, {A, B}, {A}, }
30 Ejemplo Objetivo: mostrar que el conjunto de cláusulas {{A, B, C}, {A, B, C}, {A, B}, { A}} es insatisfactible. 1 {{A, B, C}, {A, B, C}, {A, B}, { A}} 2 {{A, B, C}, {A, B, C}, {A, B}, { A}, {A, B}} 3 {{A, B, C}, {A, B, C}, {A, B}, { A}, {A, B}, {A}} 4 {{A, B, C}, {A, B, C}, {A, B}, { A}, {A, B}, {A}, }
31 Ejemplo Objetivo: mostrar que el conjunto de cláusulas {{A, B, C}, {A, B, C}, {A, B}, { A}} es insatisfactible. 1 {{A, B, C}, {A, B, C}, {A, B}, { A}} 2 {{A, B, C}, {A, B, C}, {A, B}, { A}, {A, B}} 3 {{A, B, C}, {A, B, C}, {A, B}, { A}, {A, B}, {A}} 4 {{A, B, C}, {A, B, C}, {A, B}, { A}, {A, B}, {A}, }
32 Ejemplo Objetivo: mostrar que el conjunto de cláusulas {{A, B, C}, {A, B, C}, {A, B}, { A}} es insatisfactible. 1 {{A, B, C}, {A, B, C}, {A, B}, { A}} 2 {{A, B, C}, {A, B, C}, {A, B}, { A}, {A, B}} 3 {{A, B, C}, {A, B, C}, {A, B}, { A}, {A, B}, {A}} 4 {{A, B, C}, {A, B, C}, {A, B}, { A}, {A, B}, {A}, }
33 Ejemplo Objetivo: mostrar que el conjunto de cláusulas S = {{A, B, C}, {A}, {B}} es insatisfactible. No podemos aplicar ningún paso de resolución a S Por lo tanto, no puede llegarse a una refutación a partir S S debe ser satisfactible En efecto, tomar por ejemplo v(a) = v(b) = T
34 Correctitud y completitud El siguiente resultado establece la correctitud y completitud del método de resolución Teorema Dado un conjunto finito S de cláusulas, S es insatisfactible sii tiene una refutación
35 Método de resolución Recapitulando Para probar que A es una tautología hacemos lo siguiente: 1 Calculamos la forma normal conjuntiva de A 2 Aplicamos el método de resolución 3 Si hallamos una refutación: A es insatisfactible, Y, por lo tanto, A es una tautología 4 Si no hallamos ninguna refutación: A es satisfactible, Y, por lo tanto, A no es una tautología
Ejercicios 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 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 detallesCapítulo 4. Lógica matemática. Continuar
Capítulo 4. Lógica matemática Continuar Introducción La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un teorema es falso o verdadero, además
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 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 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 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 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 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 detallesBases 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 detallesAlgoritmos y programas. Algoritmos y Estructuras de Datos I
Algoritmos y programas Algoritmos y Estructuras de Datos I Primer cuatrimestre de 2012 Departamento de Computación - FCEyN - UBA Programación funcional - clase 1 Funciones Simples - Recursión - Tipos de
Más detallesIntrod. al Pens. Científico Nociones básicas de la lógica ClasesATodaHora.com.ar
ClasesATodaHora.com.ar > Exámenes > UBA - UBA XXI > Introd. al Pensamiento Científico Introd. al Pens. Científico Nociones básicas de la lógica ClasesATodaHora.com.ar Razonamientos: Conjunto de propiedades
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 detallesLOGICA DE ENUNCIADOS
Lógica - FCE LOGICA DE ENUNCIADOS 1. El lenguaje de enunciados Si se restringe el lenguaje de primer orden (o lenguaje de predicados) eliminando los cuantificadores y se toma como ultima unidad de análisis
Más detallesMatemáticas Discretas TC1003
Matemáticas Discretas TC1003 Módulo I: s Válidos Departamento de Matemáticas ITESM Módulo I: s Válidos Matemáticas Discretas - p. 1/50 En matemáticas y en lógica un argumento no es una disputa. Más bien,
Más detallesObjetivos formativos de Matemática Discreta. Tema 1: Conjuntos, aplicaciones y relaciones
Objetivos formativos de Matemática Discreta Para cada uno de los temas el alumno debe ser capaz de hacer lo que se indica en cada bloque. Además de los objetivos que se señalan en cada tema, se considera
Más detallesMaterial diseñado para los estudiantes del NUTULA, alumnos del profesor Álvaro Moreno.01/10/2010 Lógica Proposicional
Lógica Proposicional INTRODUCCIÓN El humano se comunica con sus semejantes a través de un lenguaje determinado (oral, simbólico, escrito, etc.) construido por frases y oraciones. Estas pueden tener diferentes
Más detallesDefiniciones Una relación R en un conjunto A es una relación de orden si verifica las propiedades reflexiva, antisimétrica y transitiva.
RELACIONES DE ORDEN Definiciones Una relación R en un conjunto A es una relación de orden si verifica las propiedades reflexiva, antisimétrica y transitiva. Un conjunto parcialmente ordenado ( A, R ) es
Más detallesConjuntos, relaciones y funciones Susana Puddu
Susana Puddu 1. Repaso sobre la teoría de conjuntos. Denotaremos por IN al conjunto de los números naturales y por ZZ al de los enteros. Dados dos conjuntos A y B decimos que A está contenido en B o también
Más detallesCálculo Proposicional
Universidad Técnica ederico Santa María Departamento de Informática undamentos de Informática 1 Cálculo Proposicional Dr. Gonzalo Hernández Oliva Dr. Gonzalo Hernández USM I-1 Cálculo Proposicional 1 1)
Más detallesMatemáticas Discretas TC1003
Matemáticas Discretas TC1003 Lógica : Proposiciones, Conectivos, Tablas de Verdad y Departamento de Matemáticas / Centro de Sistema Inteligentes ITESM Lógica Matemáticas Discretas - p. 1/43 En esta lectura
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 detallesEspacios Vectoriales
Espacios Vectoriales Espacios Vectoriales Verónica Briceño V. noviembre 2013 Verónica Briceño V. () Espacios Vectoriales noviembre 2013 1 / 47 En esta Presentación... En esta Presentación veremos: Espacios
Más detallesRelaciones. Estructuras Discretas. Relaciones. Relaciones en un Conjunto. Propiedades de Relaciones en A Reflexividad
Estructuras Discretas Relaciones Definición: relación Relaciones Claudio Lobos, Jocelyn Simmonds clobos,jsimmond@inf.utfsm.cl Universidad Técnica Federico Santa María Estructuras Discretas INF 152 Sean
Más detallesTema 12: Teorema de Herbrand
Facultad de Informática Grado en Ingeniería Informática Lógica 1/12 PARTE 3: DEMOSTRACIÓN AUTOMÁTICA Tema 12: Teorema de Herbrand Profesor: Javier Bajo jbajo@fi.upm.es Madrid, España 26/11/2012 Introducción.
Más detallesSemana02[1/23] Conjuntos. 9 de marzo de Conjuntos
Semana02[1/23] 9 de marzo de 2007 Introducción Semana02[2/23] La teoría de conjuntos gira en torno a la función proposicional x A. Los valores que hacen verdadera la función proposicional x A son aquellos
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 detallesLÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA
LÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA La lógica formal o simbólica, a diferencia de la lógica clásica, utiliza un lenguaje artificial, es decir, está rigurosamente construido, no admite cambios en el
Más detalles(TALF- ITIS- C) Clase 3 5 de Octubre de 2010
(TALF- ITIS- C) Clase 3 5 de Octubre de 2010 Ac=vidades de par=cipación de alumnos 2 Alumnos : Blog de la Asignatura: hip://talf.blogspot.es/ 1 Alumno: BiograMa relacionada con la asignatura ACTIVIDADES
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 detallesencontramos dos enunciados. El primero (p) nos afirma que Pitágoras era griego y el segundo (q) que Pitágoras era geómetra.
Álgebra proposicional Introducción El ser humano, a través de su vida diaria, se comunica con sus semejantes a través de un lenguaje determinado (oral, escrito, etc.) por medio de frases u oraciones. Estas
Más detallesTerminaremos el capítulo con una breve referencia a la teoría de cardinales.
TEMA 5. CARDINALES 241 Tema 5. Cardinales Terminaremos el capítulo con una breve referencia a la teoría de cardinales. Definición A.5.1. Diremos que el conjunto X tiene el mismo cardinal que el conjunto
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 detallesHoras Trabajo Estudiante: 128
PROGRAMAS DE:: CIIENCIIAS BÁSIICAS E IINGENIIERÍÍAS DEPARTAMENTO DE MATEMÁTIICAS Y ESTADÍÍSTIICA CONTENIIDOSS PPROGRAMÁTIICOSS PPOR UNIIDADESS DE APPRENDIIZAJJE Curso: Créditos: 3 Lógica Matemática Horas
Más detallesTEMA 3 (parte 2). Representación del Conocimiento
TEMA 3 (parte 2). Representación del Conocimiento Francisco José Ribadas Pena INTELIGENCIA ARTIFICIAL 5 Informática ribadas@uvigo.es 13 de noviembre de 2009 FJRP ccia [Inteligencia Artificial] 3.2.2 Lógica
Más detallesMatemáticas Básicas para Computación
Matemáticas Básicas para Computación MATEMÁTICAS BÁSICAS PARA COMPUTACIÓN 1 Sesión No. 5 Nombre: Tablas de verdad Objetivo Al término de la sesión el participante aplicará los conceptos de lógica a través
Más detallesBenemérita Universidad Autónoma de Puebla
Tarea No. 1 Matemáticas Elementales Profesor Fco. Javier Robles Mendoza Benemérita Universidad Autónoma de Puebla Facultad de Ciencias de la Computación Lógica y Conjuntos 1. Considere las proposiciones
Más detallesApuntes de Lógica Proposicional
Apuntes de Lógica Proposicional La lógica proposicional trabaja con expresiones u oraciones a las cuales se les puede asociar un valor de verdad (verdadero o falso); estas sentencias se conocen como sentencias
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 detalles3.1 Reglas de equivalencia
3.1 Reglas de equivalencia En esta sección estudiarás y aplicarás algunas reglas de equivalencia de proposiciones lógicas. Es decir, vamos a empezar a aplicar algunas reglas que nos permitirán transformar
Más detallesOperaciones con conjuntos (ejercicios)
Operaciones con conjuntos (ejercicios) Ejemplo: Definición de la diferencia de conjuntos. Sean y conjuntos. Entonces \ := { x: x x / }. Esto significa que para todo x tenemos la siguiente equivalencia:
Más detallesESCUELA MILITAR DE INGENIERÍA MISCELÁNEAS DE PROBLEMAS 2013 ÁLGEBRA I
ESCUELA MILITAR DE INGENIERÍA Elaborado por: Lic. Bismar Choque Nina MISCELÁNEAS DE PROBLEMAS 2013 ÁLGEBRA I A pesar de que la refutación por ejemplo del contrario es un procedimiento válido, los teoremas
Más detallesDefinición 1. Dado un conjunto C una aplicación definida por : C C C
ESTRUCTURAS ALGEBRAICAS. En matemáticas aparecen distintos conjuntos cuyos elementos podemos operar de alguna manera. Los conjuntos de números usuales: N, Z, Q, y R son unos ejemplos claros. Otros ejemplos
Más detallesTipos de datos en S. Lógica y Computabilidad. Codificación de variables y etiquetas de S. Codificación de programas en S
Tipos de datos en S Lógica y Computabilidad Verano 2011 Departamento de Computación - FCEyN - UBA Computabilidad - clase 5 Codificación de programas, Halting problem, diagonalización, tesis de Church,
Más detallesTEMA 1: NÚMEROS NATURALES. SISTEMA DE NUMERACIÓN
1 TEMA 1: NÚMEROS NATURALES. SISTEMA DE NUMERACIÓN 1. INTRODUCCIÓN Los números naturales aparecen debido a la necesidad que tiene el hombre para contar. Para poder construir este conjunto N, podemos seguir
Más detallesEscenas de episodios anteriores
Clase 16/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 detallesTipos algebraicos y abstractos. Algoritmos y Estructuras de Datos I. Tipos algebraicos
Algoritmos y Estructuras de Datos I 1 cuatrimestre de 009 Departamento de Computación - FCEyN - UBA Programación funcional - clase Tipos algebraicos Tipos algebraicos y abstractos ya vimos los tipos básicos
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 detallesTeoremas de Convergencia
Capítulo 24 Teoremas de Convergencia El teorema de la convergencia monótona (Lema 21.3) establece ciertas condiciones sobre una sucesión de funciones medibles para que se puedan permutar los símbolos y
Más detallesCon esta definición de grupo, es directo que el neutro es único, al igual que el inverso de. , donde es conmutativo, se denomina Abeliano.
Teoría de Grupos Definiciones Básicas Definición 5 (Grupo) Sea una estructura algebraica con una ley de composición interna. Decimos que es un grupo si: 1. es asociativa. 2. tiene neutro. 3. toda tiene
Más detallesELEMENTOS DE LA TEORÍA DE CONJUNTOS
ELEMENTOS DE LA TEORÍA DE CONJUNTOS 1 CONJUNTO EJEMPLOS NOTACIÓN NOTACIÓN TABULAR O POR EXTENSIÓN DE UN CONJUNTO Cuando se define el conjunto por la efectiva enumeración de sus elementos separándolos por
Más detallesGrupos y Subgrupos El concepto de grupo Sea G un conjunto no vacío y sea G G G
Capítulo 1 Grupos y Subgrupos 001. El concepto de grupo Sea G un conjunto no vacío y sea G G G una operación interna en G para la cual denotaremos a la imagen de un par (x, y) mediante xy. Supongamos que
Más detallesJohn Venn Matemático y filósofo británico creador de los diagramas de Venn
Georg Cantor Matemático Alemán creador de la teoría de conjuntos John Venn Matemático y filósofo británico creador de los diagramas de Venn August De Morgan Matemático ingles creador de leyes que llevan
Más detallesCONJUNTOS FINITOS. Teoría de Conjuntos I
CONJUNTOS FINITOS Definición. CANTOR, G. (1845-1918). En 1872 acepta el Infinito (Actual) de Facto, en contra de la idea que el Infinito es en Potencia. a es Finito syss n n a. a es Infinito syss a no
Más detallesMatemáticas Discretas. Oscar Bedoya
Matemáticas Discretas Oscar Bedoya oscar.bedoya@correounivalle.edu.co http://eisc.univalle.edu.co/~oscarbed/md/ * Lógica proposicional * Concepto de proposición * Valores de verdad * Operadores lógicos
Más detallesNOT. Ejemplo: Circuito C1
Métodos de diseño de circuitos digitales Sistemas combinacionales En un circuito combinacional los valores de las salidas dependen únicamente de los valores que tienen las entradas en el presente. Se construen
Más detallesUna proposición es una afirmación que debe ser cierta o falsa (aunque no lo sepamos).
Lógica intuitiva Una proposición es una afirmación que debe ser cierta o falsa (aunque no lo sepamos). A : Las águilas vuelan B : El cielo es rosa C : No existe vida extraterrestre D : 5 < 3 E : Algunos
Más detallesMatemáticas Básicas para Computación
Matemáticas Básicas para Computación MATEMÁTICAS BÁSICAS PARA COMPUTACIÓN 1 Sesión No. 6 Nombre: Álgebra Booleana Objetivo Durante la sesión el participante identificará las principales características
Más detallesLic. Manuel de Jesús Campos Boc
UNIVERSIDAD MARIANO GÁLVEZ DE GUATEMALA FACULTAD DE CIENCIAS DE LA ADMINISTRACIÓN DIRECCIÓN GENERAL DE CENTRO UNIVERSITARIOS CENTRO UNIVERSITARIO DE VILLA NUEVA CURSO MATEMÁTICAS APLICADA I 2015 Lic. Manuel
Más detallesAsignatura: Matemática Fundamental [405036M-02] Taller 1 Lenguaje Simbólico y lógica proposicional
Asignatura: Matemática Fundamental [405036M-02] Taller 1 Lenguaje Simbólico y lógica proposicional 1. Responda las siguientes preguntas: a) Qué es un lenguaje formal? b) Qué es lenguaje matemático? c)
Más detallesTEMA 3 ÁLGEBRA DE CONMUTACIÓN
TEMA 3 ÁLGEBRA DE CONMUTACIÓN TEMA 3: Álgebra de Boole ÍNDICE. POSTULADOS DEL ÁLGEBRA DE CONMUTACIÓN 2. ÁLGEBRA DE BOOLE BIVALENTE O ÁLGEBRA DE CONMUTACIÓN 2. Teoremas del álgebra de conmutación 3. VARIABLES
Más detallesAlgebra lineal y conjuntos convexos
Apéndice A Algebra lineal y conjuntos convexos El método simplex que se describirá en el Tema 2 es de naturaleza algebraica y consiste en calcular soluciones de sistemas de ecuaciones lineales y determinar
Más detalles5.2 Introducción a Prolog. Lenguaje Prolog. Características de Prolog. Su nombre viene de Programación en Lógica, creado a comienzos de los 70:
5.2 Introducción a Prolog 1 Lenguaje Prolog Su nombre viene de Programación en Lógica, creado a comienzos de los 70: Robert Kowalski (Edimburgo): lado teórico Maarten van Emden (Edimburgo): demostración
Más detallesAnálisis Matemático I: Numeros Reales y Complejos
Contents : Numeros Reales y Complejos Universidad de Murcia Curso 2008-2009 Contents 1 Definición axiomática de R Objetivos Definición axiomática de R Objetivos 1 Definir (y entender) R introducido axiomáticamente.
Más detallesInducción Matemática Conjuntos Funciones. Matemática Discreta. Agustín G. Bonifacio UNSL. Repaso de Inducción, Conjuntos y Funciones
UNSL Repaso de Inducción, y Inducción Matemática (Sección 1.7 del libro) Supongamos que queremos demostrar enunciados del siguiente tipo: P(n) : La suma de los primeros n números naturales es n(n+1)
Más detallesRazonamientos. Premisas Conclusión Premisas Conclusión V V V V V F F V F V F F F F
2.3.1.1 Validez e invalidez. Verdad y falsedad es una propiedad de las proposiciones o enunciados. Con las proposiciones o enunciados se pueden construir razonamientos. Pero los razonamientos no son ni
Más detallesUNIDAD 5 : ESTRUCTURAS ALGEBRAICAS
UNIVERSIDAD DON BOSCO - DEPARTAMENTO DE CIENCIAS BÁSICAS UNIDAD 5 : ESTRUCTURAS ALGEBRAICAS ÁLGEBRA LINEAL - GUIÓN DE CLASE - SEMANA 10 y 11 - CICLO 01-2015 Estudiante: Grupo: 1. Estructuras Algebraicas
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 detallesEspacios Vectoriales Asturias: Red de Universidades Virtuales Iberoamericanas 1
Espacios Vectoriales 201 6Asturias: Red de Universidades Virtuales Iberoamericanas 1 Índice 1 Espacios Vectoriales... 4 1.1 Definición de espacio vectorial... 4 1.2 Definición de subespacio vectorial...
Más detallesIsabelle como un lenguaje funcional
Capítulo 1 Isabelle como un lenguaje funcional 1.1 Introducción Nota 1.1.1. Esta notas son una introducción a la demostración asistida utilizando el sistema Isabelle/HOL/Isar. La versión de Isabelle utilizada
Más detallesCapítulo 2 Conjuntos. 2.1 Introducción. 2.2 Determinación de conjuntos. Definición:
Capítulo 2 Conjuntos 2.1 Introducción El concepto de conjunto, de singular importancia en la ciencia matemática y objeto de estudio de una de sus disciplinas más recientes, está presente, aunque en forma
Más detallesÁlgebra Booleana y Circuitos Lógicos. UCR ECCI CI-1204 Matemáticas Discretas Prof. Kryscia Daviana Ramírez Benavides
Álgebra Booleana y Circuitos Lógicos UCR ECCI CI-1204 Matemáticas Discretas Prof. Kryscia Daviana Ramírez Benavides Álgebra Booleana Tanto los conjuntos como las proposiciones tienen propiedades similares.
Más detalles1. Sucesiones y redes.
1. Sucesiones y redes. PRACTICO 7. REDES. Se ha visto que el concepto de sucesión no permite caracterizar algunas nociones topológicas, salvo en espacios métricos. Esto empieza con algunas definiciones
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 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 detallesCIRCUITOS LÓGICOS. Lógica FCE 1. ALGEBRA DE BOOLE
Lógica FE IRUITOS LÓGIOS 1. LGER DE OOLE 1.1 Introducción Tanto la teoría de conjuntos como la lógica de enunciados tienen propiedades similares. Tales propiedades se utilizan para definir una estructura
Más detallesComplejidad computacional (Análisis de Algoritmos)
Definición. Complejidad computacional (Análisis de Algoritmos) Es la rama de las ciencias de la computación que estudia, de manera teórica, la optimización de los recursos requeridos durante la ejecución
Más detallesSISTEMAS INFORMÁTICOS PROGRAMACION I - Contenidos Analíticos Ing. Alejandro Guzmán M. TEMA 2. Diseño de Algoritmos
TEMA 2 Diseño de Algoritmos 7 2. DISEÑO DE ALGORITMOS 2.1. Concepto de Algoritmo En matemáticas, ciencias de la computación y disciplinas relacionadas, un algoritmo (del griego y latín, dixit algorithmus
Más detallesDiagnóstico de fallas en circuitos digitales
Diagnóstico de fallas en circuitos digitales Circuito digital: Construido usando las siguientes compuertas. NOT: OR: AND: 1 Ejemplo: Sumador binario Un sumador binario recibe como entrada dos bits a y
Más detallesSOBRE LOGICA MATEMATICA. Sandra M. Perilla-Monroy. Departamento de Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia.
SOBRE LOGICA MATEMATICA Sandra M. Perilla-Monroy Departamento de Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia. Resumen. sandraperilla@usantotomas.edu.co Carrera 9 No 51-11 Bogotá Colombia
Más detallesTeoría de la Probabilidad Tema 2: Teorema de Extensión
Teoría de la Probabilidad Tema 2: Teorema de Extensión Alberto Rodríguez Casal 25 de septiembre de 2015 Definición Una clase (no vacía) A de subconjuntos de Ω se dice que es un álgebra si A es cerrada
Más detallesTÉCNICO SUPERIOR UNIVERSITARIO EN TECNOLOGÍAS DE LA INFORMACIÓN Y COMUNICACIÓN
TÉCNICO SUPERIOR UNIVERSITARIO EN TECNOLOGÍAS DE LA INFORMACIÓN Y COMUNICACIÓN HOJA DE ASIGNATURA CON DESGLOSE DE UNIDADES TEMÁTICAS 1. Nombre de la asignatura Desarrollo de Habilidades De Pensamiento
Más detallesFormalismos de Representación de Conocimientos
Formalismos de Representación de Conocimientos Oscar Corcho García ocorcho@fi.upm.es Despacho 2107 Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Campus
Más detalles10.4 Sistemas de ecuaciones lineales
Programa Inmersión, Verano 2016 Notas escritas por Dr. M Notas del cursos. Basadas en los prontuarios de MATE 001 y MATE 02 Clase #11: martes, 14 de junio de 2016. 10.4 Sistemas de ecuaciones lineales
Más detallespersonal.us.es/elisacamol Elisa Cañete Molero Curso 2011/12
Teoría de conjuntos. Teoría de Conjuntos. personal.us.es/elisacamol Curso 2011/12 Teoría de Conjuntos. Teoría de conjuntos. Noción intuitiva de conjunto. Propiedades. Un conjunto es la reunión en un todo
Más detallesInteligencia artificial
Inteligencia artificial Proceso de Lenguaje Natural Qué es el Lenguaje? Qué es el Lenguaje Natural? Procesamiento del lenguaje Natural (PLN) Aplicaciones PLN Niveles del Lenguaje Arquitectura de un sistema
Más detallesRAZONAMIENTO MATEMÁTICO
RAZONAMIENTO MATEMÁTICO I. LÓGICA PROPOSICIONAL A. Proposiciones B. Conectivos proposicionales B.. Negación B.2. Conjunción B.3. Disyunción B.4. Condicional B.5. Bicondicional B.6. Otros conectivos C.
Más detallesANOTACIONES BÁSICAS SOBRE LÓGICA PROPOSICIONAL FILOSOFÍA 1º BACHILLERATO
Pág. 1 Lógica Proposicional La lógica proposicional es la más antigua y simple de las formas de lógica. Utilizando una representación primitiva del lenguaje, permite representar y manipular aserciones
Más detallesMODELOS DE COMPUTACION I Preguntas Tipo Test. 1. El lema de bombeo puede usarse para demostrar que un lenguaje determinado es regular.
MODELOS DE COMPUTACION I Preguntas Tipo Test Indicar si son verdaderas o falsas las siguientes afirmaciones: 1. El lema de bombeo puede usarse para demostrar que un lenguaje determinado es regular. 2.
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 detallesConjunto R 3 y operaciones lineales en R 3
Conjunto R 3 y operaciones lineales en R 3 Objetivos. Definir el conjunto R 3 y operaciones lineales en R 3. Requisitos. Conjunto de los números reales R, propiedades de las operaciones aritméticas en
Más detallesCapítulo 1 Lógica Proposicional
Capítulo 1 Lógica Proposicional 1.1 Introducción El ser humano, a través de su vida diaria, se comunica con sus semejantes a través de un lenguaje determinado (oral, escrito, etc.) por medio de frases
Más detalles2. Si P; Q; R son verdaderas y S; T son falsas, determine el valor de verdad de la proposición: [P =) (R =) T )] () [(:P ^ S) =) (Q =) :T )]
Instituto Tecnológico de Costa Rica Escuela de Matemática I semestre 2012 Cálculo Diferencial e Integral. Prof. Juan José fallas. 1 Leyes de la lógica y reglas de inferencia 2 Ejercicios 1 Leyes de la
Más detallesPregunta 1 Es correcta esta definición? Por qué?
TEORÍA DE CONJUNTOS. En un libro de COU de 1975 puede leerse la siguiente definición de conjunto: Un conjunto es una colección de objetos, cualquiera que sea su naturaleza. Pregunta 1 Es correcta esta
Más detallesDerivadas de Orden superior
Derivadas de Orden superior Para una función cualquiera f, al tomar la derivada, obtenemos una nueva función f y podemos aplicar la derivada a f. La función f se suele escrbir f y recibe el nombre de derivada
Más detallesLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL QUE ES LA LÓGICA? El sentido ordinario de la palabra lógica se refiere a lo que es congruente, ordenado, bien estructurado. Lo ilógico es lo mismo que incongruente, desordenado, incoherente.
Más detalles1.1.1 Conectivos lógicos, formas proposicionales y tablas de verdad.
Tema 1 Lógica. 1.1 Cálculo proposicional. Definición 1.1 Una proposición es una frase o sentencia declarativa que es verdadera o falsa pero no ambas cosas a la vez. Los dos posibles valores de verdad que
Más detallesIntroducción. Lógica de proposiciones: introducción. Lógica de proposiciones. P (a) x. Conceptos
Introducción César Ignacio García Osorio Lógica y sistemas axiomáticos 1 La lógica ha sido históricamente uno de los primeros lenguajes utilizados para representar el conocimiento. Además es frecuente
Más detalles