Está en la página 1de 56

Lógicas

Multivaluadas

Preliminares

Definiciones Breve introducción


Aplicaciones

Deducción
a las lógicas multivaluadas
automática

Prog. Lógica
Multiadjunta
Manuel Ojeda Aciego

Departamento de Matemática Aplicada


Universidad de Málaga

Programa de Doctorado en Computación, 2007


Lógicas
Multivaluadas

Preliminares
Prefiero caminar con una duda
Definiciones
que con un mal axioma
Aplicaciones

Deducción
automática
El Cromosoma
Prog. Lógica
de Javier Krahe
Multiadjunta
Contenido

Lógicas
Multivaluadas
1 Preliminares
En busca del método axiomático: la Geometrı́a
Preliminares
Brevı́sima historia de la lógica multivaluada
Definiciones

Aplicaciones 2 Definiciones
Deducción
automática
Sintaxis
Prog. Lógica Semántica
Multiadjunta
Ejemplos
3 Aplicaciones
4 Deducción automática
5 Prog. Lógica Multiadjunta
Sintaxis
Semántica
Una historia preliminar
El teorema de Pitágoras

Lógicas
Multivaluadas Teorema (de Pitágoras)
Para todo triángulo rectángulo se tiene a2 = b 2 + c 2 , donde
Preliminares
Geometrı́a
Lógica
a
Definiciones b
Aplicaciones

Deducción c
automática

Prog. Lógica Demostración: Partamos de la siguiente teselación del plano


Multiadjunta
usando dos cuadrados diferentes
Una historia preliminar
El teorema de Pitágoras

Lógicas
Multivaluadas

Preliminares
Unamos los centros de los Ahora traslademos los
Geometrı́a
Lógica
cuadrados grandes para cuadrados nuevos de modo
Definiciones construir una retı́cula de que sus vértices coincidan con
Aplicaciones cuadrados aún más grandes. los de la retı́cula previa.
Deducción
automática

Prog. Lógica
Multiadjunta
Una historia preliminar
El teorema de Pitágoras

Lógicas
Multivaluadas
Vemos cómo el cuadrado grande resulta dividido en trozos que
Preliminares permiten reconstruir los dos más pequeños.
Geometrı́a
Lógica

Definiciones

Aplicaciones

Deducción
automática

Prog. Lógica
Multiadjunta

Como querı́amos demostrar.


¿O no?
Repasemos la historia
Sobre la demostración del teorema de Pitágoras

Lógicas
Multivaluadas

Preliminares
Geometrı́a
Lógica

Definiciones
Repasemos los fundamentos de la demostración.
Aplicaciones Hemos partido de una teselación del plano. ¿Cómo
Deducción sabemos que existe?
automática

Prog. Lógica Es más, ¿cómo sabemos que existen los cuadrados?


Multiadjunta
Afortunadamente, Euclides ya proporcionó los ingredientes
formales necesarios para la construcción de (una) geometrı́a.
Repasemos la historia
Los postulados de Euclides

Lógicas
Multivaluadas

La geometrı́a de Euclides está basada en los cinco postulados


Preliminares
Geometrı́a siguientes:
Lógica

Definiciones 1 Dos puntos cualesquiera pueden ser unidos por un


Aplicaciones segmento.
Deducción
automática 2 Todo segmento se puede prolongar indefinidamente y
Prog. Lógica formar una recta.
Multiadjunta
3 Es posible construir un cı́rculo dados su centro y su radio.
4 Todos los ángulos rectos son iguales entre sı́.
5 Por un punto exterior a una recta es posible trazar una
única paralela a dicha recta.
Sobre el quinto postulado de Euclides

Lógicas
Multivaluadas

Preliminares
Geometrı́a
Durante mucho tiempo se intentó probar a partir de los
Lógica
otros postulados.
Definiciones

Aplicaciones
Se observó, finalmente, que era un postulado
Deducción
independiente.
automática
Es más, es posible sustituirlo por otros, tales como
Prog. Lógica
Multiadjunta 1 Por un punto exterior a una recta no es posible trazar una
única paralela a dicha recta.
2 Por un punto exterior a una recta es posible trazar infinitas
paralelas a dicha recta.
y obtener una teorı́a de la geometrı́a sin contradicciones.
Geometrı́as no euclı́deas

Lógicas
Multivaluadas

Preliminares
Geometrı́a
Lógica
Consecuencias
Definiciones
Existen distintas definiciones de geometrı́a.
Aplicaciones

Deducción Todas son igualmente válidas desde un punto de vista


automática
formal.
Prog. Lógica
Multiadjunta ¡¡Incluso parece ser que el mundo real no se corresponde
con la geometrı́a euclı́dea, sino con alguna de sus parientes
raras!!
Geometrı́as no euclı́deas
Cuadrados hiperbólicos en un cuadro de Escher

Lógicas
Multivaluadas

Preliminares
Geometrı́a
Lógica

Definiciones

Aplicaciones

Deducción
automática

Prog. Lógica
Multiadjunta
Hablemos de Lógica

Lógicas
Multivaluadas

Preliminares
Geometrı́a
Lógica Originalmente, la lógica trataba de formalizar
Definiciones razonamientos en lenguaje natural.
Aplicaciones
Porque el lenguaje natural es ambiguo, y posibilita la
Deducción
automática existencia de paradojas:
Prog. Lógica Uno de ellos, profeta suyo, dijo: “Los cretenses son
Multiadjunta
siempre mentirosos, malas bestias, vientres
perezosos.” Este testimonio es verdadero.
(Tito 1, 12-13)
El comienzo de la Lógica Formal
Seguimos con la antigüedad

Lógicas
Multivaluadas

Preliminares
Geometrı́a
Lógica Aristóteles desarrolló el primer sistema formal para
Definiciones “todos” y “algunos”
Aplicaciones
Su Silogı́stica puede describirse como un conjunto de
Deducción
automática reglas de inferencia para las proposiciones categóricas
Prog. Lógica
Multiadjunta (A) Todo P es Q
(E) Ningún P es Q
(I) Algún P es Q
(O) Algún P no es Q
Por fin: la lógica multivaluada
Hitos importantes

Lógicas
Multivaluadas

Preliminares
Geometrı́a Aristóteles, Ockham Los futuros contingentes.
Lógica

Definiciones Lukasiewicz’20 Lógica trivaluada de la “posibilidad”.


Aplicaciones Post’20 Lógicas multivaluadas con completitud funcional.
Deducción
automática Heyting’30 Lógica trivaluada para el intuicionismo.
Prog. Lógica
Multiadjunta
Gödel’32Lógicas finito valuadas como aproximación de la
lógica intuicionista.
Bočvar’38 Lógica de las paradojas.
Kleene’52 Lógica de lo “indefinido.”
La lógica multivaluada
Hitos importantes

Lógicas
Multivaluadas

Preliminares
Geometrı́a
Lógica
Zadeh’65 Lógica difusa (en sentido amplio).
Definiciones

Aplicaciones
Pavelka’79 Lógica difusa proposicional (en sentido estricto).
Deducción Novák’90 Lógica difusa de primer orden.
automática

Prog. Lógica Hájek’95 Lógica difusa racional.


Multiadjunta

No se debe buscar la única lógica verdadera, sino


aquella que mejor se adapte a nuestro problema.
Aspectos comunes a toda Lógica

Lógicas
Multivaluadas

Preliminares
Geometrı́a
Lógica

Definiciones

Aplicaciones
Sintaxis
Deducción Semántica
automática

Prog. Lógica
Teorı́a de la Demostración
Multiadjunta
¿Deducción automatizable?
Lenguaje formal

Lógicas
Multivaluadas

Definición
Preliminares
Un lenguaje L sobre un conjunto numerable A que
Definiciones
Sintaxis
llamaremos alfabeto, es un subconjunto no vacı́o del
Semántica
Ejemplos
lenguaje universal sobre A:
Aplicaciones [
Deducción L ⊆ A∗ = An
automática
n∈N
Prog. Lógica
Multiadjunta
Equivalentemente:
Un conjunto de sı́mbolos, llamado alfabeto del lenguaje.
Un conjunto de reglas de formación que determinan
qué cadenas de sı́mbolos son fbfs y que constituyen la
gramática del lenguaje.
Sintaxis de la Lógica Proposicional
Alfabeto

Lógicas
Multivaluadas

Preliminares

Definiciones Definición
Sintaxis
Semántica El alfabeto está formado por los siguientes conjuntos:
Ejemplos

Aplicaciones 1 Un conjunto numerable de sı́mbolos de proposición:


Deducción
automática
Π = {p, q, r , . . . , p1 , q1 , r1 , . . . , pn , qn , rn , . . . }
Prog. Lógica
Multiadjunta
2 Operadores lógicos: ¬, ∨, ∧, → y ↔.
3 Sı́mbolos de puntuación: “(”, “)”.
Sintaxis de la Lógica Proposicional
Fórmulas bien formadas

Lógicas
Multivaluadas
Definición
Preliminares El conjunto de las fórmulas bien formadas (fbfs)
Definiciones está determinado por las siguientes reglas de formación:
Sintaxis
Semántica 1 Los elementos de Π son fbfs: las fórmulas atómicas.
Ejemplos

Aplicaciones 2 Si A es una fbf , ¬A es una fbf.


Deducción
automática
3 Si A y B son fbfs entonces (A ∧ B), (A ∨ B), (A → B) y
Prog. Lógica (A ↔ B) son fbfs.
Multiadjunta

Los sı́mbolos A y B usados en la definición no son


sı́mbolos del lenguaje sino metası́mbolos.
El único convenio para la simplificación de fórmulas que
utilizaremos es la eliminación de los paréntesis inicial y
final de una fórmula si los tuviera.
¿Semántica?

Lógicas
Multivaluadas

Preliminares

Definiciones
Sintaxis
Semántica
Ejemplos

Aplicaciones

Deducción
automática

Prog. Lógica
Multiadjunta
La Semántica
para un lenguaje general

Lógicas
Multivaluadas

Preliminares Definiciones
Definiciones Valores semánticos, valores destacados
Sintaxis
Semántica
Ejemplos
Interpretación: Una función que asocia un significado
Aplicaciones (valor semántico) a cada fbf
Deducción
automática
Modelo para A: Una interpretación que asigna a A un
Prog. Lógica
valor destacado
Multiadjunta
Fórmula válida: aquélla para la que toda interpretación es
un modelo
Inferencia: De un conjunto S se infiere A si todo modelo
de S también lo es de A
La Semántica
para un lenguaje trivaluado

Lógicas
Multivaluadas

Preliminares

Definiciones
Sintaxis
Semántica Definiciones
Ejemplos

Aplicaciones Valores semánticos {0, t, 1}.


Deducción
automática
Valores destacados (generalmente {1}, o también {t, 1}).
Prog. Lógica Habitualmente, las interpretaciones se dan en términos de
Multiadjunta
funciones de verdad
Algunos sistemas trivaluados

Lógicas
Multivaluadas

Preliminares

Definiciones
Sintaxis
Semántica
Se consideran tres valores de verdad.
Ejemplos
Veremos los sistemas de Kleene, Bočvar, Heyting y
Aplicaciones

Deducción
Lukasiewicz.
automática
Cada sistema tiene una motivación subyacente.
Prog. Lógica
Multiadjunta Aunque todos coinciden en considerar los valores 0, 1
como la contrapartida de los booleanos ⊥, >.
La lógica trivaluada de Kleene

Lógicas
Multivaluadas El problema subyacente a esta lógica está relacionado con
las relaciones recursivas parciales.
Preliminares
Tales relaciones a veces pueden no estar definidas.
Definiciones
Sintaxis La interpretación del tercer valor de verdad es “indefinido.”
Semántica
Ejemplos Con D = {1} el sistema no tiene tautologı́as.
Aplicaciones
Con D = {i, 1} se obtienen exactamente las tautologı́as
Deducción
automática clásicas.
Prog. Lógica ¬ ∧ 0 i 1 ∨ 0 i 1
Multiadjunta
0 1 0 0 0 0 0 0 i 1
i i i 0 i i i i i 1
1 0 1 0 i 1 1 1 1 1
→ 0 i 1 ↔ 0 i 1
0 1 1 1 0 1 i 0
i i i 1 i i i i
1 0 i 1 1 0 i 1
La lógica trivaluada de Bočvar

Lógicas
Multivaluadas

El problema que pretende formalizar Bočvar es el de las


Preliminares paradojas semánticas, o antinomias.
Definiciones
Sintaxis
La interpretación del tercer valor de verdad es “sin
Semántica
Ejemplos
sentido” o “paradójico.”
Aplicaciones

Deducción ¬ ∧ 0 u 1 ∨ 0 u 1
automática
0 1 0 0 u 0 0 0 u 1
Prog. Lógica
Multiadjunta u u u u u u u u u u
1 0 1 0 u 1 1 1 u 1
→ 0 u 1 ↔ 0 u 1
0 1 u 1 0 1 u 0
u u u u u u u u
1 0 u 1 1 0 u 1
La lógica trivaluada de Heyting

Lógicas
Multivaluadas

Preliminares
Con esta lógica se pretendı́a formalizar el razonamiento
Definiciones
Sintaxis intuicionista, que no coincide con el clásico.
Semántica
Ejemplos
Por ejemplo, el intuicionismo no acepta la validez de la
Aplicaciones
fórmula ¬¬A −→ A.
Deducción
automática Sus conectivas son las siguientes
Prog. Lógica
Multiadjunta ¬ ∧ 0 i 1 ∨ 0 i 1 → 0 i 1
0 1 0 0 0 0 0 0 i 1 0 1 1 1
i 0 i 0 i i i i i 1 i 0 1 1
1 0 1 0 i 1 1 1 1 1 1 0 i 1
La lógica trivaluada de Lukasiewicz

Lógicas
Multivaluadas
Su idea corresponde a la de formalizar la verdad como
Preliminares posibilidad.
Definiciones El tercer valor de verdad se interpreta como “neutralidad.”
Sintaxis
Semántica
Ejemplos Sus conectivas primitivas son la negación y la implicación.
Aplicaciones
¬ → 0 n 1
Deducción
automática 0 1 0 1 1 1
Prog. Lógica u u n n 1 1
Multiadjunta
1 0 1 0 n 1
∨ 0 n 1 ∧ 0 n 1 ↔ 0 n 1
0 0 n 1 0 0 0 0 0 1 n 0
n n n 1 n 0 n n n n 1 n
1 1 1 1 1 0 n 1 1 0 n 1
Sistemas con más valores de verdad
El sistema tetravaluado de Dunn y Belnap

Lógicas
Multivaluadas
Este sistema surgió en relación con el estudio de la lógica
Preliminares de la relevancia, pero también tiene importancia en ciertas
Definiciones aplicaciones computacionales.
Sintaxis
Semántica
Ejemplos
Está basado en un conjunto con cuatro valores de verdad,
Aplicaciones W = {0, f , t, 1} que se interpretan como
Deducción

automática

Prog. Lógica
Multiadjunta
Ausencia de información
Información negativa F T

Información afirmativa
Información conflictiva

Sistemas con más valores de verdad
El sistema tetravaluado de Dunn y Belnap

Lógicas
Multivaluadas

Preliminares

Definiciones
Sintaxis
El diamante tiene dos órdenes naturales
Semántica
Ejemplos
1 El orden de información (el de la figura)
Aplicaciones 2 El orden de verdad (de izqda. a dcha.)
Deducción
automática
El ı́nfimo y supremo en el orden de verdad se corresponden
Prog. Lógica
con la conjunción y disyunción. La negación deja fijos a 0
Multiadjunta
y 1, e intercambia t y f .
No hay una interpretación estándar para la implicación
Lógicas basadas en normas triangulares
Definición de t-norma

Lógicas
Multivaluadas

Preliminares
La influencia de los conjuntos difusos ha sido fundamental
Definiciones
Sintaxis en el desarrollo de lógicas valuadas sobre el intervalo
Semántica
Ejemplos unidad [0, 1].
Aplicaciones
Están basadas sobre la abstracción de la conjunción que
Deducción
automática proporcionan las normas triangulares (o t-normas)
Prog. Lógica
Multiadjunta
Definición
Una t-norma es una operación binaria sobre [0, 1] asociativa,
conmutativa, no decreciente y con elemento neutro 1.
Lógicas basadas en normas triangulares
Implicación residuada y propiedad de adjunción

Lógicas
Multivaluadas
Dada una t-norma continua T , existe una forma estándar de
Preliminares definir su implicación residuada
Definiciones
Sintaxis Definición (Implicación residuada)
Semántica
Ejemplos

Aplicaciones u → v = sup{z | T (u, z) ≤ v }


Deducción
automática Esta implicación está relacionada con T mediante el siguiente
Prog. Lógica
Multiadjunta
Teorema (Propiedad de adjunción)
Cada t-norma continua tiene una única implicación residuada,
puesto que se cumple

T (u, v ) ≤ w si y solo si u ≤ (v → w ),
Lógicas basadas en normas triangulares
La lógica básica BL

Lógicas
Multivaluadas

Toda t-norma determina la función de verdad de una


Preliminares
conjunción.
Definiciones
Sintaxis
Semántica
Su residuo determina la función de verdad de una
Ejemplos
implicación.
Aplicaciones

Deducción
El lenguaje se puede dotar de una negación haciendo
automática

Prog. Lógica ¬u = u → 0
Multiadjunta

Por lo tanto, una t-norma permite definir la semántica de


una lógica difusa.
Veamos el sistema axiomático fundamental de las t-normas: la
lógica básica BL.
Lógicas basadas en normas triangulares
Axiomática de BL

Lógicas
Multivaluadas
El siguiente conjunto de axiomas es completo para la
Preliminares
lógica proposicional básica de una t-norma dada.
Definiciones Se entiende que & tiene como función de verdad a la
Sintaxis
Semántica t-norma, y → tiene como función de verdad a su residuo.
Ejemplos

Aplicaciones A1 (A → B) → ((B → C ) → (A → C ))
Deducción
automática A2 (A&B) → A
Prog. Lógica A3 (A&B) → (B&A)
Multiadjunta
A4 (A&(A → B)) → (B&(B → A))
A5a (A → (B → C )) → ((A&B) → C )
A5b ((A&B) → C ) → (A → (B → C ))
A6 ((A → B) → C ) → (((B → A) → C ) → C )
A7 0 → A
Lógicas basadas en normas triangulares
Principales sistemas: Lukasiewicz, Gödel

Lógicas
Multivaluadas
Lukasiewicz Basada en x ∗ y = máx{0, x + y − 1}
Preliminares
Residuo x ← y = mı́n{x − y + 1, 1}
Definiciones
Sintaxis
Semántica
Su sistema axiomático es BL + el axioma
Ejemplos

Aplicaciones ¬¬A → A
Deducción
automática
Gödel Basada en x ∗ y =(mı́n{x, y }
Prog. Lógica
Multiadjunta 1 si y ≤ x
Residuo x ← y =
x en otro caso

Su sistema axiomático es BL + el axioma

A → (A&A)
Lógicas basadas en normas triangulares
Principales sistemas: producto

Lógicas
Multivaluadas

Preliminares

Definiciones
Sintaxis
Producto Basada en x ∗ y = x · y
Semántica
Ejemplos
Residuo x ← y = mı́n(1, x/y )
Aplicaciones

Deducción Su sistema axiomático es BL + los axiomas


automática

Prog. Lógica
Multiadjunta
¬¬C → ((A&C ) → (B&C )) → (A → B))

(A&(A → ¬A)) → ⊥
Lógicas basadas en normas triangulares
¿Por qué son los sistemas principales?

Lógicas
Multivaluadas

Preliminares

Definiciones Teorema (de representación)


Sintaxis
Semántica
Ejemplos
Toda t-norma arquimediana es suma ordinal de las tres
Aplicaciones t-normas anteriores.
Deducción
automática Problemas abiertos:
Prog. Lógica
Multiadjunta
1 Incremento de expresividad permitiendo varias t-normas
2 Uso de retı́culos residuados
3 Uso de otras extensiones de la conjunción: cópulas, etc
¿Para qué sirven estas lógicas tan raras?

Lógicas
Multivaluadas

Preliminares
Se han encontrado aplicaciones de las lógicas multivaluadas en
Definiciones
áreas muy diversas:
Aplicaciones

Deducción 1 Lingüı́stica
automática

Prog. Lógica
2 Filosofı́a
Multiadjunta
3 Diseño de hardware
4 Lógica
5 Inteligencia Artificial
6 Matemáticas
Aplicaciones en Lingüı́stica

Lógicas
Multivaluadas

Preliminares Tratamiento de los supuestos. Por ejemplo, al decir


Definiciones “El actual rey de España nació en Roma”
Aplicaciones

Deducción
se está dando por supuesto que España tiene un rey.
automática
No se ve claramente qué tratamiento han de tener tales
Prog. Lógica
Multiadjunta enunciados, en particular para establecer su negación o dar
condiciones de verdad de las implicaciones.
Se han propuesto sistemas trivaluados.
Otra posible solución hace uso de sistemas producto, con
pares ordenados como valores de verdad, y evaluando cada
componente por separado.
Aplicaciones en Filosofı́a

Lógicas
Multivaluadas

Preliminares Explicación de paradojas


Definiciones
Sorites Un grano de arena no es un montón.
Aplicaciones
Añadir un grano no hace un montón.
Deducción
automática Luego, no importa cuántos granos añadamos,
Prog. Lógica nunca tendremos un montón de arena
Multiadjunta
Falakros Si un hombre no es calvo, y le quitamos un pelo,
sigue sin ser calvo
Luego, podemos quitar tantos pelos como
queramos y no lo dejaremos calvo.
Lenguajes con un predicado de “verdad”
Aplicaciones al Diseño de Hardware

Lógicas
Multivaluadas

Preliminares

Definiciones

Aplicaciones La lógica clásica proposicional se usa como herramienta


Deducción para el análisis y sı́ntesis de algunos tipos de circuitos
automática

Prog. Lógica
eléctricos construidos a partir de puertas lógicas con dos
Multiadjunta estados estables.
Una generalización directa permite el uso de lógica
n-valuada para diseñar y verificar circuitos con n estados.
Aplicaciones en Lógica

Lógicas
Multivaluadas

Preliminares

Definiciones 1 Para comprender mejor otras lógicas:


Aplicaciones
Los sistemas de Gödel se introdujeron para intentar
Deducción aproximarse a la lógica intuicionista
automática

Prog. Lógica
La lógica trivaluada de Lukasiewicz pretendı́a capturar la
Multiadjunta noción modal de posibilidad
2 Modelización de predicados parciales en los que hay
“huecos de verdad”, en el supuesto de que los huecos
respeten las funciones de verdad
Aplicaciones a la Inteligencia Artificial

Lógicas
Multivaluadas

Preliminares
1 Razonamiento bajo incertidumbre y con nociones
Definiciones imprecisas.
Aplicaciones En general mediante la lógica difusa.
Deducción
automática
2 En gestión de bases de datos y sistema basados en
Prog. Lógica
conocimiento, cuando se sepa que la información puede
Multiadjunta
ser imprecisa.
3 Automatización de las técnicas de prospección de datos.
Estas técnicas suelen estar ligadas a conjuntos difusos o
multivaluados.
En este contexto también interesa disponer de métodos de
razonamiento automático para estas lógicas.
Aplicaciones en Matemáticas

Lógicas
Multivaluadas

Preliminares

Definiciones

Aplicaciones
1 Teorı́a matemática de los conjuntos difusos, y el análisis
Deducción matemático del razonamiento aproximado.
automática

Prog. Lógica
2 Distintos enfoques para probar la consistencia de la teorı́a
Multiadjunta
de conjuntos.
3 Como herramienta técnica para la demostración de
resultados de independencia de axiomas.
Deducción automática en lógica multivaluada
Distintos enfoques existentes

Lógicas
Multivaluadas

Preliminares

Definiciones

Aplicaciones

Deducción
Tablas semánticas (Surma’77, Carnielli’87, Hähnle’94)
automática
Resolución (Baaz-Fermüller’95)
Prog. Lógica
Multiadjunta TAS (Valverde’98)
Programación lógica
Programación lógica multivaluada

Lógicas
Multivaluadas

Preliminares
Se han desarrollado distintas extensiones de paradigma de la
Definiciones programación lógica:
Aplicaciones
Paraconsistente (Blair & Subrahmanian’89)
Deducción
automática Basado en birretı́culos (Fitting’91)
Prog. Lógica
Multiadjunta Anotado (Kifer & Subrahmanian’92)
Signado (Lu’96)
Probabilista (T Lukasiewicz’98)
Difusa (Vojtáš’00)
Multi-adjunta (Medina et al’01)
Programación Lógica Multiadjunta
Pasito a pasito

Lógicas
Multivaluadas

Programación Lógica Clásica [Kowalski & van Emden]:


Preliminares

Definiciones
paper accepted ← good work, good referees
Aplicaciones

Deducción
automática
Programación cuantitativa [van Emden]:
Prog. Lógica
0,9
Multiadjunta
Sintaxis
paper accepted ←− good work & good referees
Semántica

Programación Lógica Difusa [Vojtáš & Paulı́k]:


0,9
paper accepted ←−L mı́n(good work, good referees)
Programación Lógica Multiadjunta
Pasito a pasito

Lógicas
Multivaluadas

Preliminares
Bases de Datos Probabilistas Deductivas [Lakshmanan & Sadri]:
Definiciones
h[0,7,0,95],[0,03,0,2]i
Aplicaciones (paper accepted ←−−−−−−−−−−−−−−−− good work,good referees
Deducción
automática
; ind, pc)
Prog. Lógica
Multiadjunta Programas Lógicos Hı́bridos Probabilistas [Dekhtyar & Subrahm.]:
Sintaxis
Semántica

(paper accepted ∨pc go conference) : [0,85, 0,98] ←−


(good work ∧ind good referees) : [0,7, 0,9] &
have money : [0,9, 1,0]
Programación Lógica Multiadjunta
Caracterı́sticas comunes a los enfoques previos

Lógicas
Multivaluadas

Preliminares

Definiciones
Distintos tipos de pesos, valores de confianza, valores de
Aplicaciones

Deducción
verdad, o grados
automática
Sı́mbolos de implicación con pesos asociados a las reglas
Prog. Lógica
Multiadjunta Cuerpos construidos con funciones monótonas
Sintaxis
Semántica
El paradigma de programación lógica multiadjunta abstrae los
detalles particulares de cada uno de los enfoques anteriores, y
mantiene únicamente el motor deductivo
Retı́culos multiadjuntos

Lógicas
Multivaluadas
Definición
Preliminares Un retı́culo residuado es una tupla hL, , &, →, >i tal que:
Definiciones
1 hL, i es un retı́culo acotado y > es su máximo
Aplicaciones

Deducción
2 hL, &, >i es un monoide conmutativo
automática 3 El par h&, →i es un par adjunto en L, es decir:
Prog. Lógica
Multiadjunta La conjunción es creciente en ambos argumentos
Sintaxis
Semántica
La implicación decrece en el primero y crece en el segundo
Para todo x, y , z ∈ L, se tiene

x  (z → y ) ⇔ (x & z)  y

La consideración de un entorno más general, en el que convivan


distintos tipos de implicaciones nos lleva a permitir la
coexistencia de distintos pares adjuntos en un retı́culo.
Retı́culos multiadjuntos

Lógicas
Multivaluadas

Preliminares

Definiciones

Aplicaciones
Definición
Deducción Es una tupla (L, , ←1 , &1 , . . . , ←n , &n ) que satisface las
automática
siguientes condiciones:
Prog. Lógica
Multiadjunta 1 hL, i es un retı́culo acotado;
Sintaxis
Semántica 2 (←i , &i ) es un par adjunto en hL, i para i = 1, . . . , n;
3 > &i ϑ = ϑ &i > = ϑ para todo ϑ ∈ L y todo i = 1, . . . , n.
Programas Lógicos Multiadjuntos
Sintaxis

Lógicas
Multivaluadas

Definición
Preliminares
Un programa lógico multiadjunto es un conjunto P de reglas de
Definiciones

Aplicaciones
la forma h(A ←i B), ϑi tal que:
Deducción 1 El peso ϑ es un elemento de L (un valor de verdad);
automática

Prog. Lógica
2 La cabeza de la regla A es un sı́mbolo proposicional de Π.
Multiadjunta
Sintaxis
3 El cuerpo B es una fórmula construida a partir de
Semántica
sı́mbolos proposicionales B1 , . . . , Bn (n ≥ 0) mediante el
uso de operadores monótonos.
4 Los hechos son reglas con cuerpo >.
5 Una meta es un sı́mbolo proposicional ?A, entendido como
un pregunta que se le hace al sistema.
Programas Lógicos Multiadjuntos
Semántica

Lógicas
Multivaluadas

Preliminares Definición
Definiciones
Una interpretación es una aplicación I : Π → L.
Aplicaciones
Cada una de estas interpretaciones se extiende de manera única
Deducción
automática a todas las fórmulas del lenguaje.
Prog. Lógica
Multiadjunta A continuación damos el concepto de modelo de un programa.
Sintaxis
Semántica
Definición
Una interpretación I ∈ IL satisface una regla hA ←i B, ϑi si y
solo si ϑ  Î (A ←i B). Una interpretación I ∈ IL es un modelo
de un programa P si y solo si satisface todas las reglas de P.
Semántica de punto fijo

Lógicas
Multivaluadas El operador de consecuencias de van Emden y Kowalski, se
generaliza al contexto multi-adjunto como sigue:
Preliminares

Definiciones Definición
Aplicaciones Sea P un programa multi-adjunto. El operador de
Deducción consecuencias inmediatas TP : I → I se define, dada una
automática

Prog. Lógica
interpretación y un átomo, como se indica
Multiadjunta
Sintaxis ϑ
Semántica TP (I )(A) = sup{ϑ & Î (B) | A ←i B ∈ P}
i

Todos los supremos existen al trabajar sobre un retı́culo


completo.
Lema
El operador TP es monótono creciente.
Modelos y puntos fijos

Lógicas
Multivaluadas

Preliminares

Definiciones

Aplicaciones Teorema
Deducción
automática
Una interpretación I es un modelo de un programa
Prog. Lógica
multi-adjunto P si y solo si TP (I ) v I .
Multiadjunta
Sintaxis
Semántica El teorema de Tarski-Knaster, junto con el anterior, nos dice
que todo programa tiene un modelo mı́nimo que se puede
obtener mediante iteración transfinita.
Computabilidad de los modelos
Continuidad del operador de consecuencias

Lógicas
Multivaluadas

Preliminares
Definición
Definiciones Sea L un retı́culo completo. Decimos que f : L −→ L es
Aplicaciones continua si conserva los supremos de conjuntos dirigidos, esto
Deducción es, si dado un conjunto dirigido X se tiene
automática

Prog. Lógica
Multiadjunta f (sup X ) = sup{f (x) | x ∈ X }
Sintaxis
Semántica

Teorema
Si todos los operadores que aparecen en los cuerpos de la reglas
de un programa P son continuos, y las conjunciones adjuntas lo
son en su segundo argumento, entonces TP es continuo.
Computabilidad de los modelos
¿Cómo calcular los modelos?

Lógicas
Multivaluadas

Preliminares

Definiciones

Aplicaciones
Esencialmente, existen dos formas de calcular modelos:
Deducción 1 De abajo a arriba (bottom-up), a partir del operador de
automática
consecuencias.
Prog. Lógica
Multiadjunta
Sintaxis
2 De arriba a abajo (top-down), a partir de la meta dada.
Semántica
Nos centraremos en describir un método de tabulación para
obtener respuestas