L

ogicas
Multivaluadas

Preliminares
Definiciones
Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

Breve introducci
on
a las l
ogicas multivaluadas
Manuel Ojeda Aciego
Departamento de Matem
atica Aplicada
Universidad de M
alaga

Programa de Doctorado en Computacion, 2007

L
ogicas
Multivaluadas

Preliminares
Definiciones

Prefiero caminar con una duda

que con un mal axioma

Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

El Cromosoma
de Javier Krahe

Contenido
L
ogicas
Multivaluadas

Preliminares
En busca del metodo axiomatico: la Geometra
Brevsima historia de la logica multivaluada

Definiciones
Sintaxis
Semantica
Ejemplos

Aplicaciones

Deducci
on autom
atica

Prog. L
ogica Multiadjunta
Sintaxis
Semantica

Preliminares
Definiciones
Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

Una historia preliminar

El teorema de Pit
agoras
L
ogicas
Multivaluadas

Teorema (de Pit

agoras)
Para todo triangulo rectangulo se tiene a2 = b 2 + c 2 , donde

Preliminares
Geometra
L
ogica

Definiciones

Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

Demostraci
on: Partamos de la siguiente teselacion del plano
usando dos cuadrados diferentes

Una historia preliminar

El teorema de Pit
agoras
L
ogicas
Multivaluadas

Preliminares
Geometra
L
ogica

Definiciones
Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

Unamos los centros de los

cuadrados grandes para
construir una retcula de
cuadrados a
un mas grandes.

Ahora traslademos los

cuadrados nuevos de modo
que sus vertices coincidan con
los de la retcula previa.

Una historia preliminar

El teorema de Pit
agoras
L
ogicas
Multivaluadas

Preliminares

Vemos como el cuadrado grande resulta dividido en trozos que

permiten reconstruir los dos mas peque
nos.

Geometra
L
ogica

Definiciones
Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

Como queramos demostrar.

O no?

Repasemos la historia
Sobre la demostraci
on del teorema de Pit
agoras
L
ogicas
Multivaluadas

Preliminares
Geometra
L
ogica

Definiciones
Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

Repasemos los fundamentos de la demostracion.

Hemos partido de una teselacion del plano. Como
sabemos que existe?
Es mas, como sabemos que existen los cuadrados?
Afortunadamente, Euclides ya proporciono los ingredientes
formales necesarios para la construccion de (una) geometra.

Repasemos la historia
Los postulados de Euclides
L
ogicas
Multivaluadas

Preliminares
Geometra
L
ogica

Definiciones

La geometra de Euclides esta basada en los cinco postulados

siguientes:
1

Dos puntos cualesquiera pueden ser unidos por un

segmento.

Todo segmento se puede prolongar indefinidamente y

formar una recta.

Es posible construir un crculo dados su centro y su radio.

Todos los angulos rectos son iguales entre s.

Por un punto exterior a una recta es posible trazar una

u
nica paralela a dicha recta.

Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

Sobre el quinto postulado de Euclides

L
ogicas
Multivaluadas

Preliminares
Geometra
L
ogica

Definiciones
Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

Durante mucho tiempo se intento probar a partir de los

otros postulados.
Se observo, finalmente, que era un postulado
independiente.
Es mas, es posible sustituirlo por otros, tales como
1

Por un punto exterior a una recta no es posible trazar una

u
nica paralela a dicha recta.
Por un punto exterior a una recta es posible trazar infinitas
paralelas a dicha recta.

y obtener una teora de la geometra sin contradicciones.

Geometras no eucldeas
L
ogicas
Multivaluadas

Preliminares
Geometra
L
ogica

Definiciones
Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

Consecuencias
Existen distintas definiciones de geometra.
Todas son igualmente validas desde un punto de vista
formal.
Incluso parece ser que el mundo real no se corresponde
con la geometra eucldea, sino con alguna de sus parientes
raras!!

Geometras no eucldeas
Cuadrados hiperb
olicos en un cuadro de Escher
L
ogicas
Multivaluadas

Preliminares
Geometra
L
ogica

Definiciones
Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

Hablemos de L
ogica
L
ogicas
Multivaluadas

Preliminares
Geometra
L
ogica

Definiciones
Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

Originalmente, la logica trataba de formalizar

razonamientos en lenguaje natural.
Porque el lenguaje natural es ambiguo, y posibilita la
existencia de paradojas:
Uno de ellos, profeta suyo, dijo: Los cretenses son
siempre mentirosos, malas bestias, vientres
perezosos. Este testimonio es verdadero.
(Tito 1, 12-13)

El comienzo de la L
ogica Formal
Seguimos con la antig
uedad
L
ogicas
Multivaluadas

Preliminares
Geometra
L
ogica

Definiciones
Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

Aristoteles desarrollo el primer sistema formal para

todos y algunos
Su Silogstica puede describirse como un conjunto de
reglas de inferencia para las proposiciones categoricas
(A)
(E)
(I)
(O)

Todo P es Q
Ning
un P es Q
Alg
un P es Q
Alg
un P no es Q

Por fin: la l
ogica multivaluada
Hitos importantes
L
ogicas
Multivaluadas

Preliminares
Geometra
L
ogica

Arist
oteles, Ockham

Definiciones

Lukasiewicz20

Aplicaciones

Post20

Deducci
on
autom
atica

Heyting30

Prog. L
ogica
Multiadjunta

G
odel32

Los futuros contingentes.

Logica trivaluada de la posibilidad.

Logicas multivaluadas con completitud funcional.

Logica trivaluada para el intuicionismo.

Logicas finito valuadas como aproximacion de la

logica intuicionista.
Bo
cvar38

Logica de las paradojas.

Kleene52

Logica de lo indefinido.

La l
ogica multivaluada
Hitos importantes
L
ogicas
Multivaluadas

Preliminares
Geometra
L
ogica

Zadeh65

Logica difusa (en sentido amplio).

Definiciones
Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

Pavelka79

Logica difusa proposicional (en sentido estricto).

Nov
ak90

Logica difusa de primer orden.

H
ajek95

Logica difusa racional.

No se debe buscar la u
nica logica verdadera, sino
aquella que mejor se adapte a nuestro problema.

Aspectos comunes a toda L

ogica
L
ogicas
Multivaluadas

Preliminares
Geometra
L
ogica

Definiciones
Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

Sintaxis
Semantica
Teora de la Demostracion
Deduccion automatizable?

Lenguaje formal
L
ogicas
Multivaluadas

Preliminares
Definiciones
Sintaxis
Sem
antica
Ejemplos

Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

Definici
on
Un lenguaje L sobre un conjunto numerable A que
llamaremos alfabeto, es un subconjunto no vaco del
lenguaje universal sobre A:
[
L A =
An
nN

Equivalentemente:
Un conjunto de smbolos, llamado alfabeto del lenguaje.
Un conjunto de reglas de formacion que determinan
que cadenas de smbolos son fbfs y que constituyen la
gramatica del lenguaje.

Sintaxis de la L
ogica Proposicional
Alfabeto
L
ogicas
Multivaluadas

Preliminares
Definiciones
Sintaxis
Sem
antica
Ejemplos

Aplicaciones

Definici
on
El alfabeto esta formado por los siguientes conjuntos:
1

Deducci
on
autom
atica

Un conjunto numerable de smbolos de proposicion:

= {p, q, r , . . . , p1 , q1 , r1 , . . . , pn , qn , rn , . . . }

Prog. L
ogica
Multiadjunta
2

Operadores logicos: , , , y .

Smbolos de puntuacion: (, ).

Sintaxis de la L
ogica Proposicional
F
ormulas bien formadas
L
ogicas
Multivaluadas

Preliminares
Definiciones
Sintaxis
Sem
antica
Ejemplos

Definici
on
El conjunto de las formulas bien formadas (fbfs)
esta determinado por las siguientes reglas de formacion:
1

Los elementos de son fbfs: las formulas atomicas.

Aplicaciones

Si A es una fbf , A es una fbf.

Deducci
on
autom
atica

Si A y B son fbfs entonces (A B), (A B), (A B) y

(A B) son fbfs.

Prog. L
ogica
Multiadjunta

Los smbolos A y B usados en la definicion no son

smbolos del lenguaje sino metasmbolos.
El u
nico convenio para la simplificacion de formulas que
utilizaremos es la eliminacion de los parentesis inicial y
final de una formula si los tuviera.

Sem
antica?
L
ogicas
Multivaluadas

Preliminares
Definiciones
Sintaxis
Sem
antica
Ejemplos

Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

La Sem
antica
para un lenguaje general
L
ogicas
Multivaluadas

Preliminares
Definiciones
Sintaxis
Sem
antica
Ejemplos

Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

Definiciones
Valores semanticos, valores destacados
Interpretaci
on: Una funcion que asocia un significado
(valor semantico) a cada fbf
Modelo para A: Una interpretacion que asigna a A un
valor destacado
Formula v
alida: aquella para la que toda interpretacion es
un modelo
Inferencia: De un conjunto S se infiere A si todo modelo
de S tambien lo es de A

La Sem
antica
para un lenguaje trivaluado
L
ogicas
Multivaluadas

Preliminares
Definiciones
Sintaxis
Sem
antica
Ejemplos

Aplicaciones

Definiciones
Valores semanticos {0, t, 1}.

Deducci
on
autom
atica

Valores destacados (generalmente {1}, o tambien {t, 1}).

Prog. L
ogica
Multiadjunta

Habitualmente, las interpretaciones se dan en terminos de

funciones de verdad

Algunos sistemas trivaluados

L
ogicas
Multivaluadas

Preliminares
Definiciones
Sintaxis
Sem
antica
Ejemplos

Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

Se consideran tres valores de verdad.

Veremos los sistemas de Kleene, Bocvar, Heyting y
Lukasiewicz.
Cada sistema tiene una motivacion subyacente.
Aunque todos coinciden en considerar los valores 0, 1
como la contrapartida de los booleanos , >.

La l
ogica trivaluada de Kleene
L
ogicas
Multivaluadas

Preliminares
Definiciones
Sintaxis
Sem
antica
Ejemplos

Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

El problema subyacente a esta logica esta relacionado con

las relaciones recursivas parciales.
Tales relaciones a veces pueden no estar definidas.
La interpretacion del tercer valor de verdad es indefinido.
Con D = {1} el sistema no tiene tautologas.
Con D = {i, 1} se obtienen exactamente las tautologas
clasicas.
0
i
1

1
i
0

0
i
1

0
i
1

0
1
i
0

0
0
0
0

i 1
1 1
i 1
i 1

i 1
0 0
i i
i 1

0
0 0
i i
1 1
0 i
0 1 i
i
i i
1 0 i

i 1
i 1
i 1
1 1
1
0
i
1

La l
ogica trivaluada de Bo
cvar
L
ogicas
Multivaluadas

Preliminares
Definiciones
Sintaxis
Sem
antica
Ejemplos

El problema que pretende formalizar Bocvar es el de las

paradojas semanticas, o antinomias.
La interpretacion del tercer valor de verdad es sin
sentido o paradojico.

Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

0
u
1

0
0 0
u u
1 0

1
u
0
0
0 1
u u
1 0

u
u
u
u

1
1
u
1

u
u
u
u

0
0 0
u u
1 1

1
0
u
1
0
0 1
u u
1 0

u
u
u
u

u
u
u
u
1
0
u
1

1
1
u
1

La l
ogica trivaluada de Heyting
L
ogicas
Multivaluadas

Preliminares
Definiciones
Sintaxis
Sem
antica
Ejemplos

Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

Con esta logica se pretenda formalizar el razonamiento

intuicionista, que no coincide con el clasico.
Por ejemplo, el intuicionismo no acepta la validez de la
formula A A.
Sus conectivas son las siguientes

0 1
i 0
1 0

0
i
1

0
0
0
0

i 1
0 0
i i
i 1

0
0 0
i i
1 1

i 1
i 1
i 1
1 1

0
i
1

0
1
0
0

i 1
1 1
1 1
i 1

La l
ogica trivaluada de Lukasiewicz
L
ogicas
Multivaluadas

Preliminares
Definiciones
Sintaxis
Sem
antica
Ejemplos

Su idea corresponde a la de formalizar la verdad como

posibilidad.
El tercer valor de verdad se interpreta como neutralidad.
Sus conectivas primitivas son la negacion y la implicacion.

Aplicaciones

0 1
u u
1 0

Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

0
n
1

0
0
n
1

n
n
n
1

1
1
1
1

0
n
1

0
0
0
0

0
n
1

0
1
n
0

n
0
n
n

1
0
n
1

n
1
1
n

1
1
1
1

0
n
1

0
1
n
0

n
n
1
n

1
0
n
1

Sistemas con m
as valores de verdad
El sistema tetravaluado de Dunn y Belnap
L
ogicas
Multivaluadas

Preliminares
Definiciones
Sintaxis
Sem
antica
Ejemplos

Aplicaciones

Este sistema surgio en relacion con el estudio de la logica

de la relevancia, pero tambien tiene importancia en ciertas
aplicaciones computacionales.
Esta basado en un conjunto con cuatro valores de verdad,
W = {0, f , t, 1} que se interpretan como

Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

Ausencia de informacion
Informacion negativa

Informacion afirmativa
Informacion conflictiva


Sistemas con m
as valores de verdad
El sistema tetravaluado de Dunn y Belnap
L
ogicas
Multivaluadas

Preliminares
Definiciones
Sintaxis
Sem
antica
Ejemplos

Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

El diamante tiene dos ordenes naturales

1
2

El orden de informaci
on (el de la figura)
El orden de verdad (de izqda. a dcha.)

El nfimo y supremo en el orden de verdad se corresponden

con la conjuncion y disyuncion. La negacion deja fijos a 0
y 1, e intercambia t y f .
No hay una interpretacion estandar para la implicacion

L
ogicas basadas en normas triangulares
Definici
on de t-norma
L
ogicas
Multivaluadas

Preliminares
Definiciones
Sintaxis
Sem
antica
Ejemplos

Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

La influencia de los conjuntos difusos ha sido fundamental

en el desarrollo de logicas valuadas sobre el intervalo
unidad [0, 1].
Estan basadas sobre la abstraccion de la conjuncion que
proporcionan las normas triangulares (o t-normas)
Definici
on
Una t-norma es una operacion binaria sobre [0, 1] asociativa,
conmutativa, no decreciente y con elemento neutro 1.

L
ogicas basadas en normas triangulares
Implicaci
on residuada y propiedad de adjunci
on
L
ogicas
Multivaluadas

Preliminares
Definiciones
Sintaxis
Sem
antica
Ejemplos

Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

Dada una t-norma continua T , existe una forma estandar de

definir su implicacion residuada
Definici
on (Implicaci
on residuada)
u v = sup{z | T (u, z) v }
Esta implicacion esta relacionada con T mediante el siguiente
Teorema (Propiedad de adjunci
on)
Cada t-norma continua tiene una u
nica implicacion residuada,
puesto que se cumple
T (u, v ) w si y solo si u (v w ),

L
ogicas basadas en normas triangulares
La l
ogica b
asica BL
L
ogicas
Multivaluadas

Preliminares
Definiciones
Sintaxis
Sem
antica
Ejemplos

Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

Toda t-norma determina la funcion de verdad de una

conjuncion.
Su residuo determina la funcion de verdad de una
implicacion.
El lenguaje se puede dotar de una negacion haciendo
u = u 0
Por lo tanto, una t-norma permite definir la semantica de
una logica difusa.
Veamos el sistema axiomatico fundamental de las t-normas: la
l
ogica basica BL.

L
ogicas basadas en normas triangulares
Axiom
atica de BL
L
ogicas
Multivaluadas

Preliminares
Definiciones
Sintaxis
Sem
antica
Ejemplos

El siguiente conjunto de axiomas es completo para la

logica proposicional basica de una t-norma dada.
Se entiende que & tiene como funcion de verdad a la
t-norma, y tiene como funcion de verdad a su residuo.

Aplicaciones

A1 (A B) ((B C ) (A C ))

Deducci
on
autom
atica

A2 (A&B) A

Prog. L
ogica
Multiadjunta

A3 (A&B) (B&A)
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
ogicas basadas en normas triangulares
Principales sistemas: Lukasiewicz, G
odel
L
ogicas
Multivaluadas

Preliminares

Lukasiewicz Basada en x y = max{0, x + y 1}

Residuo x y = mn{x y + 1, 1}

Definiciones
Sintaxis
Sem
antica
Ejemplos

Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

Su sistema axiom
atico es BL + el axioma
A A
G
odel Basada en x y =(mn{x, y }
1 si y x
Residuo x y =
x en otro caso
Su sistema axiom
atico es BL + el axioma
A (A&A)

L
ogicas basadas en normas triangulares
Principales sistemas: producto
L
ogicas
Multivaluadas

Preliminares
Definiciones
Sintaxis
Sem
antica
Ejemplos

Producto Basada en x y = x y
Residuo x y = mn(1, x/y )

Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

Su sistema axiom
atico es BL + los axiomas
C ((A&C ) (B&C )) (A B))
(A&(A A))

L
ogicas basadas en normas triangulares
Por qu
e son los sistemas principales?
L
ogicas
Multivaluadas

Preliminares
Definiciones
Sintaxis
Sem
antica
Ejemplos

Teorema (de representaci

on)

Aplicaciones

Toda t-norma arquimediana es suma ordinal de las tres

t-normas anteriores.

Deducci
on
autom
atica

Problemas abiertos:

Prog. L
ogica
Multiadjunta

Incremento de expresividad permitiendo varias t-normas

Uso de retculos residuados

Uso de otras extensiones de la conjuncion: copulas, etc

Para qu
e sirven estas l
ogicas tan raras?
L
ogicas
Multivaluadas

Preliminares
Definiciones

Se han encontrado aplicaciones de las logicas multivaluadas en

areas muy diversas:

Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

Ling
ustica

Filosofa

Dise
no de hardware

Logica

Inteligencia Artificial

Matematicas

Aplicaciones en Ling
ustica
L
ogicas
Multivaluadas

Preliminares
Definiciones
Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

Tratamiento de los supuestos. Por ejemplo, al decir

El actual rey de Espa
na nacio en Roma
se esta dando por supuesto que Espa
na tiene un rey.
No se ve claramente que tratamiento han de tener tales
enunciados, en particular para establecer su negacion o dar
condiciones de verdad de las implicaciones.
Se han propuesto sistemas trivaluados.
Otra posible solucion hace uso de sistemas producto, con
pares ordenados como valores de verdad, y evaluando cada
componente por separado.

Aplicaciones en Filosofa
L
ogicas
Multivaluadas

Preliminares
Definiciones
Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

Explicaci
on de paradojas
Sorites Un grano de arena no es un monton.
A
nadir un grano no hace un monton.
Luego, no importa cuantos granos a
nadamos,
nunca tendremos un monton de arena
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
no de Hardware
L
ogicas
Multivaluadas

Preliminares
Definiciones
Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

La logica clasica proposicional se usa como herramienta

para el analisis y sntesis de algunos tipos de circuitos
electricos construidos a partir de puertas logicas con dos
estados estables.
Una generalizacion directa permite el uso de logica
n-valuada para dise
nar y verificar circuitos con n estados.

Aplicaciones en L
ogica
L
ogicas
Multivaluadas

Preliminares
Definiciones

Aplicaciones

Para comprender mejor otras logicas:

Los sistemas de G
odel se introdujeron para intentar
aproximarse a la l
ogica intuicionista
La logica trivaluada de Lukasiewicz pretenda capturar la
nocion modal de posibilidad

Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta
2

Modelizacion 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
ogicas
Multivaluadas

Preliminares

Razonamiento bajo incertidumbre y con nociones

imprecisas.
En general mediante la logica difusa.

En gestion de bases de datos y sistema basados en

conocimiento, cuando se sepa que la informacion puede
ser imprecisa.

Automatizacion de las tecnicas de prospeccion de datos.

Estas tecnicas suelen estar ligadas a conjuntos difusos o
multivaluados.
En este contexto tambien interesa disponer de metodos de
razonamiento automatico para estas logicas.

Definiciones
Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

Aplicaciones en Matem
aticas
L
ogicas
Multivaluadas

Preliminares
Definiciones
Aplicaciones

Teora matematica de los conjuntos difusos, y el analisis

matematico del razonamiento aproximado.

Distintos enfoques para probar la consistencia de la teora

de conjuntos.

Como herramienta tecnica para la demostracion de

resultados de independencia de axiomas.

Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

Deducci
on autom
atica en l
ogica multivaluada
Distintos enfoques existentes
L
ogicas
Multivaluadas

Preliminares
Definiciones
Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

Tablas semanticas (Surma77, Carnielli87, Hahnle94)

Resolucion (Baaz-Ferm
uller95)
TAS (Valverde98)
Programacion logica

Programaci
on l
ogica multivaluada
L
ogicas
Multivaluadas

Preliminares
Definiciones
Aplicaciones

Se han desarrollado distintas extensiones de paradigma de la

programacion logica:
Paraconsistente (Blair & Subrahmanian89)

Deducci
on
autom
atica

Basado en birretculos (Fitting91)

Prog. L
ogica
Multiadjunta

Anotado (Kifer & Subrahmanian92)

Signado (Lu96)
Probabilista (T Lukasiewicz98)
Difusa (Vojtas00)
Multi-adjunta (Medina et al01)

Programaci
on L
ogica Multiadjunta
Pasito a pasito
L
ogicas
Multivaluadas

Programacion Logica Clasica [Kowalski & van Emden]:

Preliminares
Definiciones

paper accepted good work, good referees

Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta
Sintaxis
Sem
antica

Programacion cuantitativa [van Emden]:

0,9

paper accepted good work & good referees

Programacion Logica Difusa [Vojtas & Paulk]:
0,9

paper accepted L mn(good work, good referees)

Programaci
on L
ogica Multiadjunta
Pasito a pasito
L
ogicas
Multivaluadas

Preliminares

Bases de Datos Probabilistas Deductivas [Lakshmanan & Sadri]:

Definiciones
Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

(paper accepted

h[0,7,0,95],[0,03,0,2]i

good work,good referees

; ind, pc)

Programas Logicos Hbridos Probabilistas [Dekhtyar & Subrahm.]:

Sintaxis
Sem
antica

(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
on L
ogica Multiadjunta
Caractersticas comunes a los enfoques previos
L
ogicas
Multivaluadas

Preliminares
Definiciones
Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta
Sintaxis
Sem
antica

Distintos tipos de pesos, valores de confianza, valores de

verdad, o grados
Smbolos de implicacion con pesos asociados a las reglas
Cuerpos construidos con funciones monotonas
El paradigma de programacion logica multiadjunta abstrae los
detalles particulares de cada uno de los enfoques anteriores, y
mantiene u
nicamente el motor deductivo

Retculos multiadjuntos
L
ogicas
Multivaluadas

Preliminares
Definiciones

Definici
on
Un retculo residuado es una tupla hL, , &, , >i tal que:
1

hL, i es un retculo acotado y > es su maximo

hL, &, >i es un monoide conmutativo

El par h&, i es un par adjunto en L, es decir:

Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta
Sintaxis
Sem
antica

La conjunci
on es creciente en ambos argumentos
La implicaci
on decrece en el primero y crece en el segundo
Para todo x, y , z L, se tiene
x  (z y )

(x & z)  y

La consideracion de un entorno mas general, en el que convivan

distintos tipos de implicaciones nos lleva a permitir la
coexistencia de distintos pares adjuntos en un retculo.

Retculos multiadjuntos
L
ogicas
Multivaluadas

Preliminares
Definiciones
Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta
Sintaxis
Sem
antica

Definici
on
Es una tupla (L, , 1 , &1 , . . . , n , &n ) que satisface las
siguientes condiciones:
1

hL, i es un retculo acotado;

(i , &i ) es un par adjunto en hL, i para i = 1, . . . , n;

> &i = &i > = para todo L y todo i = 1, . . . , n.

Programas L
ogicos Multiadjuntos
Sintaxis
L
ogicas
Multivaluadas

Preliminares
Definiciones
Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta
Sintaxis
Sem
antica

Definici
on
Un programa logico multiadjunto es un conjunto P de reglas de
la forma h(A i B), i tal que:
1

El peso es un elemento de L (un valor de verdad);

La cabeza de la regla A es un smbolo proposicional de .

El cuerpo B es una formula construida a partir de

smbolos proposicionales B1 , . . . , Bn (n 0) mediante el
uso de operadores monotonos.

Los hechos son reglas con cuerpo >.

Una meta es un smbolo proposicional ?A, entendido como

un pregunta que se le hace al sistema.

Programas L
ogicos Multiadjuntos
Sem
antica
L
ogicas
Multivaluadas

Deducci
on
autom
atica

Definici
on
Una interpretacion es una aplicacion I : L.
Cada una de estas interpretaciones se extiende de manera u
nica
a todas las formulas del lenguaje.

Prog. L
ogica
Multiadjunta

A continuacion damos el concepto de modelo de un programa.

Preliminares
Definiciones
Aplicaciones

Sintaxis
Sem
antica

Definici
on
Una interpretacion I IL satisface una regla hA i B, i si y
solo si  I (A i B). Una interpretacion I IL es un modelo
de un programa P si y solo si satisface todas las reglas de P.

Sem
antica de punto fijo
L
ogicas
Multivaluadas

El operador de consecuencias de van Emden y Kowalski, se

generaliza al contexto multi-adjunto como sigue:

Preliminares
Definiciones
Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta
Sintaxis
Sem
antica

Definici
on
Sea P un programa multi-adjunto. El operador de
consecuencias inmediatas TP : I I se define, dada una
interpretacion y un atomo, como se indica

TP (I )(A) = sup{ & I (B) | A i B P}

i

Todos los supremos existen al trabajar sobre un retculo

completo.
Lema
El operador TP es monotono creciente.

Modelos y puntos fijos

L
ogicas
Multivaluadas

Preliminares
Definiciones
Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta
Sintaxis
Sem
antica

Teorema
Una interpretacion I es un modelo de un programa
multi-adjunto P si y solo si TP (I ) v I .
El teorema de Tarski-Knaster, junto con el anterior, nos dice
que todo programa tiene un modelo mnimo que se puede
obtener mediante iteracion transfinita.

Computabilidad de los modelos

Continuidad del operador de consecuencias
L
ogicas
Multivaluadas

Preliminares
Definiciones
Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta

Definici
on
Sea L un retculo completo. Decimos que f : L L es
continua si conserva los supremos de conjuntos dirigidos, esto
es, si dado un conjunto dirigido X se tiene
f (sup X ) = sup{f (x) | x X }

Sintaxis
Sem
antica

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
omo calcular los modelos?
L
ogicas
Multivaluadas

Preliminares
Definiciones
Aplicaciones
Deducci
on
autom
atica
Prog. L
ogica
Multiadjunta
Sintaxis
Sem
antica

Esencialmente, existen dos formas de calcular modelos:

1

De abajo a arriba (bottom-up), a partir del operador de

consecuencias.

De arriba a abajo (top-down), a partir de la meta dada.

Nos centraremos en describir un metodo de tabulacion para

obtener respuestas