Tema 6: Programación Lógica: semántica declarativa. Lenguajes y Paradigmas de Programación
|
|
- Juan Luis Maldonado Carrizo
- hace 8 años
- Vistas:
Transcripción
1 Tema 6: Programación Lógica: semántica declarativa Lenguajes y Paradigmas de Programación
2 Teoría de Modelos Se basa en el concepto de INTERPRETACIÓN, que consiste en: elegir un dominio D (en el que tomarán valor las constantes -y variables- de la fórmula) fijar una aplicación que: a cada constante del alfabeto de las fórmulas: le asigna un elemento de D a cada símbolo de función n-ario: le asigna una función de D n a D a cada símbolo de predicado n-ario: le asigna una función de D n a {T, F} (cierto/falso) Un MODELO de un conjunto de fórmulas: es cualquier interpretación en las que las fórmulas se evalúan a cierto
3 Teoría de Modelos Una fórmula G es SATISFACIBLE (o CONSISTENTE) si y sólo si existe una interpretación I tal que G se evalúa a T en I (es decir, si I es modelo de G). Una fórmula G es INSATISFACIBLE (o INCONSISTENTE) si y sólo si no existe una interpretación I que sea modelo de G. Una fórmula G es VALIDA (en símbolos, = G) si y sólo si cada interpretación I de G es modelo de G. Una fórmula G es CONSECUENCIA SEMANTICA (o CONSECUENCIA LOGICA) de un conjunto de fórmulas {G1,..., Gn} (en símbolos, G1,...,Gn = G) si y sólo si cada interpretación I que es modelo de la conjunción (G1... Gn),, es también modelo de G
4 Respuestas Correctas Sea P un conjunto de cláusulas de Horn definidas Sea G A 1,...,A k un objetivo Sea una respuesta para G en P. Entonces, es una respuesta correcta para P { G } sii P = [(A 1... A k ) ]
5 Ejemplo Consideremos el programa: p(x,y) q(x). q(f(a)). con el objetivo: p(z1,z2). Entonces: es respuesta correcta ={Z1/f(a)} no es respuesta correcta ={Z1/a} es respuesta correcta ={Z1/f(a),Z2/a} es respuesta correcta ={Z1/f(a), Z2/f(f(a))} no es respuesta correcta ={Z1/f(a), Z2/b} % ni siquiera es % una respuesta no es respuesta correcta ={Z1/f(a), Z3/a} % idem
6 * si el objetivo es: p(z,z). es respuesta correcta: ={Z/f(a)} no es respuesta correcta ={Z/a} * si el objetivo es: q(f(a)). es respuesta correcta: ={ } no es respuesta correcta ={X/a} % idem, ni siquiera es * si el objetivo es: q (a). no existe respuesta correcta ya que P { q(a}} es satisfacible. % una respuesta
7 Corrección y Completitud (i) TEOREMA DE CORRECCION Y COMPLETITUD DE LA RESOLUCION SLD (i) * CORRECCION: TODA respuesta COMPUTADA para P {G} es una respuesta CORRECTA para P {G}. COMPLETITUD: PARA TODA respuesta CORRECTA para P {G}, EXISTE una respuesta COMPUTADA para P {G} que es MÁS GENERAL que (en lo que respecta a las variables de G). En símbolos: es decir: [Var(G)]. = ( ) [Var(G)]
8 Atención, la relación no se cumple si se elimina la restricción a las variables de G. Es decir, no se cumple. = ( ) [Var(G)] EJEMPLO: P {p(x). q(a)} G p(y). * respuesta computada: ={Y/X} * respuesta correcta: ={Y/a} %(también lo sería ) * existe una sustitución = {X/a} tal que =( ) [Var(G)]= ({Y/X}{X/a}) [{Y}] = {Y/a,X/a} [{Y}] = {Y/a} pero no se cumple que =( )={Y/a,X/a}
9 Teoría de Modelos De acuerdo a la Tesis de Church, la validez de una fórmula es indecidible (no existe un procedimiento finito para decidir si una fórmula es válida o no). Sin embargo, si la fórmula realmente es válida, hay procedimientos de prueba que pueden verificarlo. Estos procedimientos, en general, no terminan si la fórmula no es válida (son procedimientos de semidecisión) Uno de estos algoritmos fué definido por Herbrand en La idea básica es fijar un dominio sintáctico de interpretación especial, llamado Universo de Herbrand, que se puede construir mecánicamente y que tiene la propiedad de que las interpretaciones sobre este dominio son suficientes para caracterizar la validez de la fórmula (si realmente lo es) y pueden ser generadas de forma mecánica también (es decir, automatizable).
10 Teoría de Modelos El dominio: Universo de Herbrand Dado un conjunto de fórmulas L, el Universo de Herbrand H asociado a L es el conjunto de todos los términos bien formados sin variables que se pueden construir con los simbolos del alfabeto de L. Si no hay constantes en este alfabeto, se añade una constante artificial "a". EJEMPLO: L: {p(g(x),f(y)).} C = {a} V = {x,y} = {f/1,g/1} = {p/2} H ={a,f(a),g(a),f(g(a)),g(f(a)),f 2 (a),g 2 (a),...,f n (a),g n (a)}
11 Teoría de Modelos Base de Herbrand La Base de Herbrand B asociada a un conjunto de fórmulas L es el conjunto de todos los átomos básicos que se pueden formar con los símbolos de predicado del alfabeto de L y los términos sin variables del universo de Herbrand de L. EJEMPLO: L: {p(x) q(f(x))} C = {a} V = {x} = {f/1} = {p/1,q/1} B = {p(a), q(a), p(f(a)), q(f(a)),..., p(f n (a)), q(f n (a))}
12 Teoría de Modelos Intepretación de Herbrand I Una Interpretación de Herbrand I de un conjunto de fórmulas L es cualquier subconjunto de la base de Herbrand de L. Todos los átomos que están en la interpretación I se evalúan a verdad y todos los átomos que no están en el conjunto, no son verdad. EJEMPLO: L: {( x)(p(f(x)) q(b))} H = {b, f(b),..., f n (b) B = {p(b), q(b),..., p(f n (b)), q(f n (b))} I 1 = {p(b)} I 2 = {p(f n (b))} I 3 = {q(b), p(f(b)),..., p(f n (b))}
13 Teoría de Modelos Modelo de Herbrand M Un Modelo de Herbrand M para un conjunto L de fórmulas es una interpretación de Herbrand de L que es modelo de todas las fórmulas del conjunto. EJEMPLO: En el ejemplo anterior, I 1, I 2 e I 3 son modelos de L.
14 Teoría de Modelos: cláusulas Horn PROPOSICION: Todo conjunto de cláusulas de Horn definidas tiene al menos un modelo de Herbrand. PROPOSICION: MODELO MINIMO DE HERBRAND y PROPIEDAD DE INTERSECCION DE MODELOS Sea P un conjunto de cláusulas de Horn definidas y sea {M i } i I el conjunto (no vacío) de los modelos de Herbrand de P. Entonces, M P = i I M i es un modelo de Herbrand de P (conocido como el modelo mínimo).
15 Teoría de Modelos: cláusulas Horn NOTA: La propiedad de intersección de modelos sólo se cumple para cláusulas de Horn definidas. Por ejemplo, la cláusula S p V q tiene tres modelos de Herbrand M 1 = {p} M 2 = {q} M 3 = {p, q} cuya intersección es el conjunto vacío, que no es modelo de S. TEOREMA: M P {A B P P = A}
16 Teoría del Punto Fijo Retículo de Interpretaciones Dado un conjunto de cláusulas de Horn definidas P, se define 2 B P = conjunto de todas las interpretaciones posibles de P = {(subconjuntos de B P )} Operador de Consecuencias Lógicas Inmediatas Sea P un conjunto de cláusulas de Horn definidas. Definimos el operador de consecuencias lógicas inmediatas T P como una aplicación T P : 2 B P 2B P definida como: T P (I) = {A B P A A 1,..., A n es una instancia básica de una cláusula de P y {A 1,..., A n } I} donde I es una interpretación de Herbrand para P
17 Teoría del Punto Fijo Se puede demostrar que 2 B P es un retículo completo (conjunto parcialmente ordenado con supremo e ínfimo) bajo el orden parcial (reflexivo, antisimétrico y transitivo) de la inclusión de conjuntos Knaster y Tarski demostraron que toda función continua y monótona sobre un retículo completo tiene un menor punto fijo T P es continua sobre su dominio 2 B P
18 Teoría del Punto Fijo LEMA Sea P un conjunto de cláusulas Horn definidas. Entonces M P lfp(t P ) (M P coincide con el menor punto fijo de T P )
19 Teoría del Punto Fijo POTENCIAS ORDINALES DE T: Definimos la siguiente sucesión de conjuntos de átomos: T 0 = T = T(T ( - 1)) T = < T TEOREMA (Caracterización por punto fijo de M P ) M P lfp(t) = T P Informalmente, dado P un conjunto de cláusulas Horn definidas. Para obtener el modelo mínimo: se aplican las reglas a los hechos para generar nuevos hechos se repite la operación hasta que no se obtengan hechos nuevos.
20 Teoría del Punto Fijo EJEMPLO: P={p(a). p(b). r(x) p(x). t(x,y) p(x), r(y). s(c).} T P 0 = Ø T P 1 = T P (Ø) = {p(a), p(b), s(c)} T P 2 = T P (T P 1 ) = {r(a), r(b), p(a), p(b), s(c)} T P 3 = T P (T P 2 )={t(a,a),t(a,b),t(b,a),t(b,b),r(a),r(b),p(a),p(b), s(c)} T P 4 = T P (T P 3 ) (pto. fijo!)
21 Teoría del Punto Fijo EJERCICIO: Calcular el menor punto fijo de: P={p(a). p(f(x)) p(x).} P={p(X). q(f(x)) p(x).}
22 Corrección y Completitud (ii) TEOREMA DE CORRECCION Y COMPLETITUD DE LA RESOLUCION SLD (ii) Sea P un conjunto de cláusulas de Horn definidas. Entonces, se cumple que: M P = i I M i = lfp(t P ) = T P = {A B P P = A} (COMPLETITUD) = {A B P P { A} * SLD } (CORRECCIÓN) = SS(P) (conjunto de éxitos básicos de P)
23 Programación Lógica SEMANTICA DECLARATIVA TEORIA DE MODELOS El significado M P de un programa lógico P es el conjunto de átomos básicos tales que son consecuencia lógica del programa (i.e., el modelo mínimo de Herbrand M P de P): M P = {A B P P = A} PUNTO FIJO El significado M P de un programa lógico P es el punto fijo de una transformación continua T P asociada a P, definida como: T P : 2 B P 2B P T P (I) = {A B P A A 1,...,A n es una instancia básica de una cláusula de P y {A 1,..., A n } I} y para la que se cumple que M P = lfp(t P ) = T P
24 Programación Lógica SEMANTICA OPERACIONAL El significado operacional de un programa lógico P se define en términos de resolución SLD: SS(P) = {A B P P { A} * SLD } = conjunto de éxitos básicos de P EQUIVALENCIA ENTRE SEMANTICAS SS(P) Semántica Operacional M P Semántica Declarativa Teoría de Modelos T P Semántica Declarativa Punto Fijo
25 Interpretación Procedural CLAUSULA DE PROGRAMA DEFINICION DE PROCEDIMIENTO A A 1,..., A n procedure A call A 1... call A n LITERAL DE UN OBJETIVO LLAMADA A SUBPROGRAMA C 1,..., C k call C 1... call C k UN PASO DE RESOLUCION UN PASO DE EJECUCION UNIFICACION MECANISMO PARA Paso Parámetros Selección y Construcción de datos
Significado de las f.b.f (fórmulas bien formadas) en términos de objetos, propiedades y relaciones en el mundo
Significado de las f.b.f (fórmulas bien formadas) en términos de objetos, propiedades y relaciones en el mundo Semánticas del cálculo de predicados proporcionan las bases formales para determinar el valor
Más detallesSemántica de Primer Orden. Semántica de Primer Orden
Para interpretar una fórmula de la lógica de predicados de primer orden: determinar qué objetos representan los términos (Dominio) definir las funciones y qué propiedades/relaciones representan los predicados
Más detallesMLM 1000 - Matemática Discreta
MLM 1000 - Matemática Discreta L. Dissett Clase 04 Resolución. Lógica de predicados c Luis Dissett V. P.U.C. Chile, 2003 Aspectos administrativos Sobre el tema vacantes: 26 personas solicitaron ingreso
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 detallesLenguajes y Compiladores
2015 Estructura de la materia a grandes rasgos: Primera Parte: Lenguaje imperativo Segunda Parte: Lenguaje aplicativo puro, y lenguaje aplicativo con referencias y asignación Ejes de contenidos de la primer
Más detallesUNIDAD I: LÓGICA PROPOSICIONAL
UNIDAD I: LÓGICA PROPOSICIONAL ASIGNATURA: INTRODUCCIÓN A LA COMPUTACIÓN CARRERAS: LICENCIATURA Y PROFESORADO EN CIENCIAS DE LA COMPUTACIÓN DEPARTAMENTO DE INFORMÁTICA FACULTAD DE CIENCIAS FÍSICO MATEMÁTICA
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 detallesÁlgebras de Boole. Juan Medina Molina. 25 de noviembre de 2003
Álgebras de Boole Juan Medina Molina 25 de noviembre de 2003 Introducción Abordamos en este tema el estudio de las álgebras de Boole. Este tema tiene una aplicación directa a la electrónica digital ya
Más detallesDepartamento de Cs. e Ingeniería de la Computación Universidad Nacional del Sur
Departamento de Cs. e Ingeniería de la Computación Universidad Nacional del Sur Lógica para Ciencias de la Computación Trabajo Práctico N 4 Cálculo de Predicados Primer Cuatrimestre de 2009 Observación
Más detallesIIC 2252 - Matemática Discreta
IIC 2252 - Matemática Discreta L. Dissett Clase 04 Lógica de predicados. Reglas de inferencia en lógica de predicados. Lógica de predicados Definiciones básicas: Un predicado es una afirmación que depende
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 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 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 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 detallesLógica de Predicados 1
Lógica de Predicados 1 rafael ramirez rafael@iua.upf.es Ocata 320 Porqué Lógica de Predicados La logica proposicional maneja bien afirmaciones compuestas de no, y, o, si entonces En situaciones con un
Más detallesSeminario: Expresividad semántica y lógica de segundo orden:
Seminario: Expresividad semántica y lógica de segundo orden: Eduardo Barrio Javier Castro Albano UBA 1er cuatrimestre de 2008 1.- Definiciones: L: Lenguaje: conjunto de expresiones. LP: Lenguaje de primer
Más detallesNÚMERO REAL. 1. Axiomas de cuerpo y propiedades operatorias. Axioma 2 La suma es asociativa:
NÚMERO REAL El conjunto de los números racionales se nos hace insuficiente a la hora de representar con exactitud magnitudes tan reales como la diagonal de un cuadrado cuyo lado mida 1, por ejemplo, o
Más detallesCONJUNTOS Y RELACIONES BINARIAS
UNIVERSIDAD CATÓLICA ANDRÉS BELLO FACULTAD DE INGENIERÍA ESCUELA DE INGENIERÍA INFORMÁTICA CÁTEDRA DE LÓGICA COMPUTACIONAL CONJUNTOS Y RELACIONES BINARIAS INTRODUCCIÓN Intuitivamente, un conjunto es una
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 detallesPara representar los conjuntos, los elementos y la relación de pertenencia, mediante símbolos, tendremos en cuenta las siguientes convenciones:
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 informal,
Más detallesComplejidad - Problemas NP-Completos. Algoritmos y Estructuras de Datos III
Complejidad - Problemas NP-Completos Algoritmos y Estructuras de Datos III Teoría de Complejidad Un algoritmo eficiente es un algoritmo de complejidad polinomial. Un problema está bien resuelto si se conocen
Más detallesNúmeros Reales. MathCon c 2007-2009
Números Reales z x y MathCon c 2007-2009 Contenido 1. Introducción 2 1.1. Propiedades básicas de los números naturales....................... 2 1.2. Propiedades básicas de los números enteros........................
Más detallesRelaciones binarias. ( a, b) = ( c, d) si y solamente si a = c y b = d
Relaciones binarias En esta sección estudiaremos formalmente las parejas de objetos que comparten algunas características o propiedades en común. La estructura matemática para agrupar estas parejas en
Más detallesTEMA 8.- DISEÑO TEORICO DE BASES DE DATOS RELACIONALES. 1. TEORÍA DE LAS DEPENDENCIAS FUNCIONALES
TEMA 8.- DISEÑO TEORICO DE BASES DE DATOS RELACIONALES. Teoría de las Dependencias Funcionales. Teoría de la Normalización. Formas Normales. Conclusiones. 1. TEORÍA DE LAS DEPENDENCIAS FUNCIONALES Las
Más detallesTema 3. Espacios vectoriales
Tema 3. Espacios vectoriales Estructura del tema. Definición y propiedades. Ejemplos. Dependencia e independencia lineal. Conceptos de base y dimensión. Coordenadas Subespacios vectoriales. 0.1. Definición
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 detallesApuntes de Matemática Discreta 7. Relaciones de Orden
Apuntes de Matemática Discreta 7. Relaciones de Orden Francisco José González Gutiérrez Cádiz, Octubre de 2004 Universidad de Cádiz Departamento de Matemáticas ii Lección 7 Relaciones de Orden Contenido
Más detalles2.3.- Modelo relacional de datos (aproximación lógica) 2.3.1.- La lógica de 1er orden. 2.3.1.- La lógica de 1er orden. 2.3.1.- La lógica de 1er orden
2.3.- Modelo relacional de datos (aproximación lógica). Existen dos lenguajes lógicos de manipulación para el modelo relacional: El Cálculo Relacional de Tuplas. El Cálculo Relacional de Dominios. La perspectiva
Más detallesMódulo 9 Sistema matemático y operaciones binarias
Módulo 9 Sistema matemático y operaciones binarias OBJETIVO: Identificar los conjuntos de números naturales, enteros, racionales e irracionales; resolver una operación binaria, representar un número racional
Más detallesFormas 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 detallesIntroducción a la Teoría de Grafos
Introducción a la Teoría de Grafos Flavia Bonomo fbonomo@dc.uba.ar do. Cuatrimestre 009 Árboles Un árbol es un grafo conexo y acíclico (sin ciclos). Un bosque es un grafo acíclico, o sea, una unión disjunta
Más detallesApuntes de Matemática Discreta 6. Relaciones
Apuntes de Matemática Discreta 6. Relaciones Francisco José González Gutiérrez Cádiz, Octubre de 2004 Universidad de Cádiz Departamento de Matemáticas ii Lección 6 Relaciones Contenido 6.1 Generalidades.....................................
Más detallesApuntes de Matemática Discreta 1. Conjuntos y Subconjuntos
Apuntes de Matemática Discreta 1. Conjuntos y Subconjuntos Francisco José González Gutiérrez Cádiz, Octubre de 2004 Universidad de Cádiz Departamento de Matemáticas ii Lección 1 Conjuntos y Subconjuntos
Más detallesGrupos. Subgrupos. Teorema de Lagrange. Operaciones.
1 Tema 1.-. Grupos. Subgrupos. Teorema de Lagrange. Operaciones. 1.1. Primeras definiciones Definición 1.1.1. Una operación binaria en un conjunto A es una aplicación α : A A A. En un lenguaje más coloquial
Más detallesVII. Estructuras Algebraicas
VII. Estructuras Algebraicas Objetivo Se analizarán las operaciones binarias y sus propiedades dentro de una estructura algebraica. Definición de operación binaria Operaciones como la suma, resta, multiplicación
Más detallesEspacios generados, dependencia lineal y bases
Espacios generados dependencia lineal y bases Departamento de Matemáticas CCIR/ITESM 14 de enero de 2011 Índice 14.1. Introducción............................................... 1 14.2. Espacio Generado............................................
Más detallesMarch 25, 2010 CAPÍTULO 2: LÍMITES Y CONTINUIDAD DE FUNCIONES EN EL ESPACIO EUCLÍDEO
March 25, 2010 CAPÍTULO 2: LÍMITE Y CONTINUIDAD DE FUNCIONE EN EL EPACIO EUCLÍDEO 1. Producto Escalar en R n Definición 1.1. Dado x = (x 1,..., x n ), y = (y 1,..., y n ) R n, su producto escalar está
Más detallesTema 2. Espacios Vectoriales. 2.1. Introducción
Tema 2 Espacios Vectoriales 2.1. Introducción Estamos habituados en diferentes cursos a trabajar con el concepto de vector. Concretamente sabemos que un vector es un segmento orientado caracterizado por
Más detallesLógica Proposicional IIC2212. IIC2212 Lógica Proposicional 1 / 56
Lógica Proposicional IIC2212 IIC2212 Lógica Proposicional 1 / 56 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 detalles2.3.- Modelo relacional de datos (aproximación lógica)
2.3.- Modelo relacional de datos (aproximación lógica) Existen dos lenguajes lógicos de manipulación para el modelo relacional: El Cálculo Relacional de Tuplas. El Cálculo Relacional de Dominios. La perspectiva
Más detallesObjetivos. Contenidos. Revisar los principales conceptos de la lógica de primer orden
Especificación TEMA 1 formal de problemas Objetivos Revisar los principales conceptos de la lógica de primer orden Entender el concepto de estado de cómputo y cómo se modela con predicados lógicos Familiarizarse
Más detalles1. Producto escalar, métrica y norma asociada
1. asociada Consideramos el espacio vectorial R n sobre el cuerpo R; escribimos los vectores o puntos de R n, indistintamente, como x = (x 1,..., x n ) = n x i e i i=1 donde e i son los vectores de la
Más detallesProyecto Unico Interpretador de SetCalc
Universidad Simón Bolívar Dpto. de Computación y Tecnología de la Información CI3721 - Traductores e Interpretadores Abril-Julio 2008 Proyecto Unico Interpretador de SetCalc A continuación se describe
Más detallesTema 7. Lógicas de descripciones. Año académico 2014/15. Profesores: Sascha Ossowski, Alberto Fernández y Holger Billhardt
Tema 7 Lógicas de descripciones Año académico 2014/15 Profesores: Sascha Ossowski, Alberto Fernández y Holger Billhardt 1 Referencias Reasoning in Description Logics: Basics, Extensions, and Relatives.
Más detallesLógica de Predicados de Primer Orden
Lógica de Predicados de Primer Orden La lógica proposicional puede ser no apropiada para expresar ciertos tipos de conocimiento. Por ejemplo: Algunas manzanas son rojas Esta afirmación no se refiere específicamente
Más detallesPROLOG Inteligencia Artificial Universidad de Talca, II Semestre 2005. Jorge Pérez R.
PROLOG Inteligencia Artificial Universidad de Talca, II Semestre 2005 Jorge Pérez R. 1 Introducción a PROLOG PROLOG es un lenguaje interpretado basado en la lógica de predicados de primer orden. Puede
Más detalles9.1 Primeras definiciones
Tema 9- Grupos Subgrupos Teorema de Lagrange Operaciones 91 Primeras definiciones Definición 911 Una operación binaria en un conjunto A es una aplicación α : A A A En un lenguaje más coloquial una operación
Más detallesNotas de Clase para IL
Notas de Clase para IL 5. Deducción en Lógica de Primer Orden Rafel Farré, Robert Nieuwenhuis, Pilar Nivela, Albert Oliveras, Enric Rodríguez, Josefina Sierra 3 de septiembre de 2009 1 1. Formas normales
Más detallesEcuaciones Diferenciales Tema 2. Trasformada de Laplace
Ecuaciones Diferenciales Tema 2. Trasformada de Laplace Ester Simó Mezquita Matemática Aplicada IV 1 1. Transformada de Laplace de una función admisible 2. Propiedades básicas de la transformada de Laplace
Más detallesEJERCICIOS DEL CAPÍTULO I
EJERCICIOS DEL CAPÍTULO I 1. Un grupo es una tipo particular de Ω estructura cuando Ω es el tipo Ω = { } siendo una operación de aridad dos. Pero un grupo también es una Ω -estructura siendo Ω = {e, i,
Más detallesSubespacios vectoriales en R n
Subespacios vectoriales en R n Víctor Domínguez Octubre 2011 1. Introducción Con estas notas resumimos los conceptos fundamentales del tema 3 que, en pocas palabras, se puede resumir en técnicas de manejo
Más detallesTema 7: ESPACIOS VECTORIALES AFINES
Tema 7: ESPACIOS VECTORIALES AFINES Prof. Rafael López Camino Departamento de Geometría y Topología Universidad de Granada Material docente para el alumno Asignatura: Geometría I. Curso 2003/04 Licenciatura:
Más detallesEstructuras de Control - Diagrama de Flujo
RESOLUCIÓN DE PROBLEMAS Y ALGORITMOS Ingeniería en Computación Ingeniería en Informática UNIVERSIDAD NACIONAL DE SAN LUIS DEPARTAMENTO DE INFORMÁTICA AÑO 2015 Índice 1. Programación estructurada 2 1.1.
Más detallesEspacios Vectoriales
Espacios Vectoriales Departamento de Matemáticas, CCIR/ITESM 4 de enero de 2 Índice 3.. Objetivos................................................ 3.2. Motivación...............................................
Más detallesEjemplos: Sean los conjuntos: A = { aves} B = { peces } C = { anfibios }
La Teoría de Conjuntos es una teoría matemática, que estudia básicamente a un cierto tipo de objetos llamados conjuntos y algunas veces, a otros objetos denominados no conjuntos, así como a los problemas
Más detallesINDICE. XVII Prólogo a la edición en español. XXI 1. Calculo proporcional 1.1. Argumentos y proporciones lógicas
INDICE Prologo XVII Prólogo a la edición en español XXI 1. Calculo proporcional 1.1. Argumentos y proporciones lógicas 1 1.1.1. Introducción 1.1.2. Algunos argumentos lógicos importantes 2 1.1.3. Proposiciones
Más detallesDescomposición factorial de polinomios
Descomposición factorial de polinomios Contenidos del tema Introducción Sacar factor común Productos notables Fórmula de la ecuación de segundo grado Método de Ruffini y Teorema del Resto Combinación de
Más detallesIntroducción a los Autómatas Finitos
Teoría de Introducción a los Un modelo de Computación. Universidad de Cantabria Esquema Introducción Teoría de 1 Introducción 2 Teoría de 3 4 5 El Problema Introducción Teoría de Nuestro objetivo en este
Más detallesFactorización de polinomios
ExMa-MA0125. Factorización de polinomios W. Poveda 1 Factorización de polinomios Objetivos 1. Factorizar completamente polinomios mediante los métodos de factor común, diferencia de cuadrados, diferencia
Más detallesPolinomios: Definición: Se llama polinomio en "x" de grado "n" a una expresión del tipo
Polinomios: Definición: Se llama polinomio en "x" de grado "n" a una expresión del tipo P (x) = a 0 x n + a 1 x n 1 +... + a n Donde n N (número natural) ; a 0, a 1, a 2,..., a n son coeficientes reales
Más detallesUn problema sobre repetidas apuestas al azar
Un problema sobre repetidas apuestas al azar Eleonora Catsigeras 1 10 de marzo de 2003. Resumen En estas notas se da el enunciado y una demostración de un conocido resultado sobre la probabilidad de éxito
Más detallesCapítulo 1: Fundamentos: Lógica y Demostraciones Clase 1: Lógica Proposicional
Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 1: Lógica Proposicional Matemática Discreta - CC3101 Profesor: Pablo Barceló P. Barceló Matemática Discreta - Cap. 1: Fundamentos: Lógica y Demostraciones
Más detalles{} representa al conjunto vacío, es decir, aquel que no contiene elementos. También se representa por.
2. Nociones sobre Teoría de Conjuntos y Lógica Para llevar a cabo nuestro propósito de especificar formalmente los problemas y demostrar rigurosamente la correctitud de nuestro programas, introduciremos
Más detallesDominios de factorización única
CAPíTULO 3 Dominios de factorización única 1. Dominios euclídeos En la sección dedicada a los números enteros hemos descrito todos los ideales de Z. En este apartado introducimos una familia de anillos
Más detallesApuntes de Matemática Discreta 9. Funciones
Apuntes de Matemática Discreta 9. Funciones Francisco José González Gutiérrez Cádiz, Octubre de 004 Universidad de Cádiz Departamento de Matemáticas ii Lección 9 Funciones Contenido 9.1 Definiciones y
Más detalles1. Objetivos. 2. Idea Principal. Teoría de Autómatas y Lenguajes Formales. Boletín de Autoevaluación 3: Cómo se minimiza un AFD?.
Teoría de Autómatas y Lenguajes Formales Boletín de Autoevaluación 3: Cómo se minimiza un AFD?.. Objetivos. El objetivo de este boletín es ilustrar uno de los métodos ue permiten obtener el Autómata Finito
Más detallesCadenas de Markov y Perron-Frobenius
Cadenas de Markov y Perron-Frobenius Pablo Lessa 10 de octubre de 2014 1. Cadenas de Markov En 1996 Larry Page y Sergey Brin, en ese momento en Stanford, inventaron una manera de asignar un ranking de
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 detalles1. Números Reales 1.1 Clasificación y propiedades
1. Números Reales 1.1 Clasificación y propiedades 1.1.1 Definición Número real, cualquier número racional o irracional. Los números reales pueden expresarse en forma decimal mediante un número entero,
Más detallesUna (muy) breve introducción a la teoría de la computación
Una (muy) breve introducción a la teoría de la computación Marcelo Arenas M. Arenas Una (muy) breve introducción a la teoría de la computación 1 / 48 Ciencia de la computación Cuál es el objeto de estudio
Más detallesTema 2 ESPACIOS VECTORIALES
Tema 2 ESPACIOS VECTORIALES Prof. Rafael López Camino Universidad de Granada 1 Espacio vectorial Definición 1.1 Un espacio vectorial es una terna (V, +, ), donde V es un conjunto no vacío y +, son dos
Más detallesCómo?: Resolviendo el sistema lineal homógeneo que satisfacen las componentes de cualquier vector de S. x4 = x 1 x 3 = x 2 x 1
. ESPACIOS VECTORIALES Consideremos el siguiente subconjunto de R 4 : S = {(x, x 2, x 3, x 4 )/x x 4 = 0 x 2 x 4 = x 3 a. Comprobar que S es subespacio vectorial de R 4. Para demostrar que S es un subespacio
Más detalles4.1 El espacio dual de un espacio vectorial
Capítulo 4 Espacio dual Una de las situaciones en donde se aplica la teoría de espacios vectoriales es cuando se trabaja con espacios de funciones, como vimos al final del capítulo anterior. En este capítulo
Más detallesEL TEOREMA DE CANTOR-BERNSTEIN Y LA COMPARABILIDAD PARA LOS CONJUNTOS BIEN ORDENADOS
EL TEOREMA DE CANTOR-BERNSTEIN Y LA COMPARABILIDAD PARA LOS CONJUNTOS BIEN ORDENADOS J. CLIMENT VIDAL Resumen. Una vez definidas las nociones y establecidas las proposiciones necesarias de la teoría de
Más detallesEstructuras de Control - Diagrama de Flujo
Introducción a la Programación - Introducción a la Computación - Fundamentos de la Informática Ing. Electrónica - T.U.G. - T.U.E. - T.U.R. - T.U.W.- Prof. Tec. Elect. - T.U.T - T.U.M Área de Servicios
Más detallesTablas. Estas serán las tablas que usaremos en la mayoría de ejemplos. Empleado
Álgebra Relacional Un álgebra es un sistema matemático constituido por Operandos: objetos (valores o variables) desde los cuales nuevos objetos pueden ser construidos. Operadores: símbolos que denotan
Más detallesCriterio de Sylvester
Criterio de Sylvester Objetivos. Aprender a aplicar el criterio de Sylvester para analizar cuándo una forma cuadrática es positiva definida, usando los menores principales de su matriz asociada. También
Más detallesANÁLISIS DE DATOS NO NUMERICOS
ANÁLISIS DE DATOS NO NUMERICOS ESCALAS DE MEDIDA CATEGORICAS Jorge Galbiati Riesco Los datos categóricos son datos que provienen de resultados de experimentos en que sus resultados se miden en escalas
Más detallesINTRODUCCIÓN A LA PROGRAMACIÓN MATEMÁTICA
INTRODUCCIÓN A LA PROGRAMACIÓN MATEMÁTICA Dentro del campo general de la teoría de la optimización, también conocida como programación matemática conviene distinguir diferentes modelos de optimización.
Más detallesNota 2. Luis Sierra. Marzo del 2010
Nota 2 Luis Sierra Marzo del 2010 Cada mecanismo de definición de conjuntos que hemos comentado sugiere mecanismos para definir funciones y probar propiedades. Recordemos brevemente qué son las funciones
Más detallesFUNCIONES EN R. Agosto 2007
FUNCIONES EN R Alexis Vera Pérez Instituto de Estadística & Sistemas Computarizados de Información Universidad de Puerto Rico, Recinto de Río Piedras Agosto 2007 1 Definición y notación Definición 1 Una
Más detallesLógica de Primer Orden
Capítulo 2 Lógica de Primer Orden Resumen En términos generales, la Programación Lógica concierne al uso de la lógica para representar y resolver problemas. Más adelante precisaremos que, en realidad,
Más detallesIngeniería en Informática
Departamento de Informática Universidad Carlos III de Madrid Ingeniería en Informática Aprendizaje Automático Junio 2007 Normas generales del examen El tiempo para realizar el examen es de 3 horas No se
Más detallesSubconjuntos destacados en la
2 Subconjuntos destacados en la topología métrica En este capítulo, introducimos una serie de conceptos ligados a los puntos y a conjuntos que por el importante papel que juegan en la topología métrica,
Más detallesProblemas indecidibles
Capítulo 7 Problemas indecidibles 71 Codificación de máquinas de Turing Toda MT se puede codificar como una secuencia finita de ceros y unos En esta sección presentaremos una codificación válida para todas
Más detallesCurso: Teoría de la Computación. Unidad 2, Sesión 8: Complejidad computacional (2)
Curso: Teoría de la Computación. Unidad 2, Sesión 8: Complejidad computacional (2) Instituto de Computación, Facultad de Ingeniería Universidad de la República, Montevideo, Uruguay dictado semestre 2-2009
Más detallesTipos Abstractos de Datos
Objetivos Repasar los conceptos de abstracción de datos y (TAD) Diferenciar adecuadamente los conceptos de especificación e implementación de TAD Presentar la especificación algebraica como método formal
Más detallesLógica informática ( )
1 / 25 Lógica informática (2007 08) Tema 9: José A. Alonso Jiménez María J. Hidalgo Doblado Grupo de Lógica Computacional Departamento de Ciencias de la Computación e I.A. Universidad de Sevilla 2 / 25
Más detallesPOLINOMIOS. División. Regla de Ruffini.
POLINOMIOS. División. Regla de Ruffini. Recuerda: Un monomio en x es una expresión algebraica de la forma a x tal que a es un número real y n es un número natural. El real a se llama coeficiente y n se
Más detallesINSTITUTO SUPERIOR TECNOLÓGICO NORBERT WIENER
INSTITUTO SUPERIOR TECNOLÓGICO NORBERT WIENER Manual del Alumno ASIGNATURA: Matemática I PROGRAMA: S3C Lima-Perú SESION 1 SISTEMAS DE NUMERACION DEFINICION : Es un conjunto de reglas y principios que nos
Más detalles((X A Y ) = A ) si y solo si X = Y, A = B, A X = X, (X A Y ) = X Y, (X A Y ) = X Y
El examen de Lógica y fundamentos del 11-02-2005 resuelto por cortesía de Alberto Castellón 1) Sea A = P(B) el conjunto de los subconjuntos de un conjunto B. a) Pruébese que A es un modelo de la teoría
Más detallesEspacios vectoriales y Aplicaciones lineales
Espacios vectoriales y Aplicaciones lineales Espacios vectoriales. Subespacios vectoriales Espacios vectoriales Definición Sea V un conjunto dotado de una operación interna + que llamaremos suma, y sea
Más detallesFundamentos algebraicos
Fundamentos algebraicos 1. Grupos Sea S un conjunto. Se denota con S S el conjunto de los pares ordenados (s, t) con s, t en S. Un mapeo de S S en S se llama operación binaria en S. Esta definición requiere
Más detallesHaydee Jiménez Tafur Grupo de Algebra. Universidad Pedagógica Nacional Estudiante de maestría en Matemáticas. Universidad Nacional de Colombia.
"Otras Alternativas Para La Definición De Relación En Teoría De Conjuntos" Carlos Julio Luque Arias Profesor Universidad Pedagógica Nacional Grupo de Algebra. Universidad Pedagógica Nacional Haydee Jiménez
Más detallesCÁLCULO RELACIONAL. Cálculo y Algebra Relacional? Cálculo y Algebra Relacional?
CÁLCULO RELACIONAL Andrés Moreno S. 1 Cálculo y Algebra Relacional? El cálculo y el algebra relacional son alternativos entre si para manipular el modelo relacional. El Álgebra es prescriptiva o procedural,
Más detallesJuegos estáticos y juegos estocásticos
Capítulo 1 Juegos estáticos y juegos estocásticos La teoría de juegos estudia modelos matemáticos de situaciones de cooperación o de conflicto en el que participan dos o más entidades (personas, empresas,
Más detalles, o más abreviadamente: f ( x)
TEMA 5: 1. CONCEPTO DE FUNCIÓN Observa los siguientes ejemplos: El precio de una llamada telefónica depende de su duración. El consumo de gasolina de un coche depende de la velocidad del mismo. La factura
Más detallesAnexo 1: Demostraciones
75 Matemáticas I : Álgebra Lineal Anexo 1: Demostraciones Espacios vectoriales Demostración de: Propiedades 89 de la página 41 Propiedades 89- Algunas propiedades que se deducen de las anteriores son:
Más detalles