Integración de Redes Bayesianas con Programas Lógicos para Música Eduardo Morales L.Enrique Sucar...

31
Integración de Redes Bayesianas con Programas Lógicos para Música Eduardo Morales L.Enrique Sucar Roberto Morales

Transcript of Integración de Redes Bayesianas con Programas Lógicos para Música Eduardo Morales L.Enrique Sucar...

Page 1: Integración de Redes Bayesianas con Programas Lógicos para Música Eduardo Morales L.Enrique Sucar Roberto Morales.

Integración de Redes Bayesianas con Programas

Lógicos para Música

Eduardo MoralesL.Enrique SucarRoberto Morales

Page 2: Integración de Redes Bayesianas con Programas Lógicos para Música Eduardo Morales L.Enrique Sucar Roberto Morales.

Contenido• Introducción • Redes Bayesianas• Redes Bayesianas + nodos

“lógicos”• Ejemplo musical (1)• Redes Bayesianas dinámicas• Ejemplo musical (2)• Conclusiones

Page 3: Integración de Redes Bayesianas con Programas Lógicos para Música Eduardo Morales L.Enrique Sucar Roberto Morales.

Introducción

Una representación en música debe de

incluir:

• Relaciones entre notas, voces, métricas, ...

• Preferencias entre notas, métricas, reglas, ...

Page 4: Integración de Redes Bayesianas con Programas Lógicos para Música Eduardo Morales L.Enrique Sucar Roberto Morales.

Introducción (2)

Una representación natural es:• Lógica de primer orden para

representar relaciones entre objetos musicales

• Distribuciones de probabilidad para expresar preferencias entre objetos musicales

Page 5: Integración de Redes Bayesianas con Programas Lógicos para Música Eduardo Morales L.Enrique Sucar Roberto Morales.

Propuesta:

Utilizar redes Bayesianas para expresar

preferencias musicales y extenderlas con

lógica de predicados para expresar

relaciones

Page 6: Integración de Redes Bayesianas con Programas Lógicos para Música Eduardo Morales L.Enrique Sucar Roberto Morales.

Redes Bayesianas

• RB son una herramienta poderosa para tratar incertidumbre

• Utilizan una representación gráfica de dependencias entre variables aleatorias– Nodos: variables proposicionales

– Arcos: dependencias probabilísticas

Page 7: Integración de Redes Bayesianas con Programas Lógicos para Música Eduardo Morales L.Enrique Sucar Roberto Morales.

Redes Bayesianas (2)

• RB representan relaciones de independencia condicional. Por ejemplo, E es independiente de {A,C,D} dado {B}

Page 8: Integración de Redes Bayesianas con Programas Lógicos para Música Eduardo Morales L.Enrique Sucar Roberto Morales.

Redes Bayesianas (3)

• Mecanismo de Razonamiento: propaga evidencia (variables conocidas) a través de la red hasta obtener probabilidades posteriores (de variables desconocidas)

• Expresividad: RB están limitadas a un formalismo proposicional

Page 9: Integración de Redes Bayesianas con Programas Lógicos para Música Eduardo Morales L.Enrique Sucar Roberto Morales.

Propuesta

• Extender redes Bayesianas con “nodos lógicos” (representados por cuadrados) en donde sea fácil expresar relaciones

• Los nodos lógicos pueden ser cláusulas de Horn arbitrarias

Page 10: Integración de Redes Bayesianas con Programas Lógicos para Música Eduardo Morales L.Enrique Sucar Roberto Morales.

Ejemplo:

Z puede ser:• Binario (T ó F): relación(X,Y)• Multivaluado: relación(X,Y,Z)

Page 11: Integración de Redes Bayesianas con Programas Lógicos para Música Eduardo Morales L.Enrique Sucar Roberto Morales.

Razonamiento

• La distribución de probabilidad de “z” depende de los valores de “x” y “y”, y de que la relación “R” se satisfaga o no para esos valores

x y

dxxdyPyPyxRzP )()(),()(

Page 12: Integración de Redes Bayesianas con Programas Lógicos para Música Eduardo Morales L.Enrique Sucar Roberto Morales.

Razonamiento (2)

Considerando variables discretas:

Para obtener la distribución deprobabilidad de “z” tenemos queevaluar la relación para todos losposibles valores no instanciados de “x” y “y”

x y

yPxPyxRzP )()(),()(

Page 13: Integración de Redes Bayesianas con Programas Lógicos para Música Eduardo Morales L.Enrique Sucar Roberto Morales.

Ejemplo (2)

Supongamos:

6.0)( 4.0)(

:1 Si

6.0)2( 3.0)3(

4.0)0( 7.0)1(

),(

falsezPtruezP

x

yPxP

yPxP

yxyxrelz

Page 14: Integración de Redes Bayesianas con Programas Lógicos para Música Eduardo Morales L.Enrique Sucar Roberto Morales.

Ejemplo (3)

42.0)( 58.0)(

:asdesconocidson y Si

7.0)( 3.0)(

:2 Si

0.0)( 0.1)(

:0 ó 3 Si

falsezPtruezP

yx

falsezPtruezP

y

falsezPtruezP

yx

Page 15: Integración de Redes Bayesianas con Programas Lógicos para Música Eduardo Morales L.Enrique Sucar Roberto Morales.

Razonamiento (3)

Alternativamente, podemos: (i) calcular fuera de línea la relación para

todos los posibles valores de las variables involucradas

z=true x=1 x=3

y=0 1 1

y=2 1 0

z=false x=1 x=3

y=0 0 0

y=2 0 1

Page 16: Integración de Redes Bayesianas con Programas Lógicos para Música Eduardo Morales L.Enrique Sucar Roberto Morales.

Razonamiento (4)

(ii) Construir un nodo determinístico

(iii) incluirlo directamente en una RB

Page 17: Integración de Redes Bayesianas con Programas Lógicos para Música Eduardo Morales L.Enrique Sucar Roberto Morales.

Razonamiento (5)

• La estrategia “en línea”:– Evalua solo las filas y columnas de las

variables desconocidas– Puede ser útil cuando el tamaño de la

tabla de probabilidad condicional es “muy grande”

– Se puede utilizar con variables continuas usando técnnicas de muestreo sobre distribuciones de probabilidad

Page 18: Integración de Redes Bayesianas con Programas Lógicos para Música Eduardo Morales L.Enrique Sucar Roberto Morales.

Razonamiento (6)

• La estrategia “fuera de línea”:– Está limitada a variables discretas con

tablas de probabilidades condicionales “pequeñas”

– Se calcula solo una vez y puede utilizarse con cualquier herramienta de RB

Page 19: Integración de Redes Bayesianas con Programas Lógicos para Música Eduardo Morales L.Enrique Sucar Roberto Morales.

Ejemplo musical (1)

Para aplicar esta representación a análisis de contrapunto, tenemos que tener:

1. Distribuciones de probabilidad (expresando preferencias) sobre:

• Notas de cantus firmus

• Reglas de contrapunto

• Métricas

Page 20: Integración de Redes Bayesianas con Programas Lógicos para Música Eduardo Morales L.Enrique Sucar Roberto Morales.

Ejemplo musical (2)

2. Relaciones entre notas (considerando

métricas) expresando las reglas de

contrapunto

3. Distribuciones de probabilidad sobre

las notas de contrapunto

Page 21: Integración de Redes Bayesianas con Programas Lógicos para Música Eduardo Morales L.Enrique Sucar Roberto Morales.

Ejemplo Musical

(3)

Page 22: Integración de Redes Bayesianas con Programas Lógicos para Música Eduardo Morales L.Enrique Sucar Roberto Morales.

Representación Temporal

• En música es importante representar relaciones temporales

• En redes Bayesianas dinámicas, los valores de ciertas variables en un tiempo pueden afectar los valores de otras variables en tiempos futuros

Page 23: Integración de Redes Bayesianas con Programas Lógicos para Música Eduardo Morales L.Enrique Sucar Roberto Morales.

Representación Temporal (2)

Page 24: Integración de Redes Bayesianas con Programas Lógicos para Música Eduardo Morales L.Enrique Sucar Roberto Morales.

Ejemplo Musical (4)

En nuestro ejemplo musical repetiríamos

la misma estructura N-1 veces, donde N

es el número de notas en el cantus firmus

Page 25: Integración de Redes Bayesianas con Programas Lógicos para Música Eduardo Morales L.Enrique Sucar Roberto Morales.

Ejemplo Musical (5)

Page 26: Integración de Redes Bayesianas con Programas Lógicos para Música Eduardo Morales L.Enrique Sucar Roberto Morales.

Ejemplo Musical (6)

Page 27: Integración de Redes Bayesianas con Programas Lógicos para Música Eduardo Morales L.Enrique Sucar Roberto Morales.

Capacidades de la Representación

• La red se puede usar para análisis musical, p.ejem., estimar las reglas de contrapunto más probables

• Conociendo las notas de contrapunto, estimar los valores más probables del cantus firmus y de las reglas utilizadas

Page 28: Integración de Redes Bayesianas con Programas Lógicos para Música Eduardo Morales L.Enrique Sucar Roberto Morales.

Capacidadesa de la Representación (2)

• La red puede usarse para generar música siguiendo las distribuciones de probabilidad y las relaciones expresadas en ella

• Se pueden “abstraer” redes en nodos sencillos

Page 29: Integración de Redes Bayesianas con Programas Lógicos para Música Eduardo Morales L.Enrique Sucar Roberto Morales.

Capacidad de Abstracción

Page 30: Integración de Redes Bayesianas con Programas Lógicos para Música Eduardo Morales L.Enrique Sucar Roberto Morales.

Conclusiones

• Relaciones y preferencias musicales pueden ser representadas extendiendo redes Bayesianas con nodos “lógicos”

• La representación puede servir para análisis y composición musical

Page 31: Integración de Redes Bayesianas con Programas Lógicos para Música Eduardo Morales L.Enrique Sucar Roberto Morales.

Trabajo Futuro

• Probar la propuesta con un ejemplo musical “grande”

• Extender la representación a variables continuas con técnicas de muestreo

• Aprender la red a partir de datos musicales y conocimiento del dominio