Download - 31 semántica de lógica de predicados

Transcript
Page 1: 31   semántica de lógica de predicados

Semántica de Lógica de PredicadosClase 31 – Leonel Morales Díaz

[email protected][email protected] – 06/Octubre/2014

1

Page 2: 31   semántica de lógica de predicados

Dominio

• Dominio de discurso– Marco conceptual– Conjunto de significados

2 de 13

Page 3: 31   semántica de lógica de predicados

Dominio

• Dominio de discurso– Marco conceptual– Conjunto de significados

• Ejemplos:

Empresarial:Ganancia PérdidaInversión CapitalAccionista ColaboradorCliente Proveedor

Electrónica:Ganancia PérdidaCarga CorrienteResistencia CapacitorInductor LED

Medicina:Salud EnfermedadSíntoma EnfermoMédico RecetaDosis Medicina

3 de 13

Page 4: 31   semántica de lógica de predicados

Interpretación

• Incluye:Dominio de Discurso:

4 de 13

Page 5: 31   semántica de lógica de predicados

Interpretación

• Incluye:Dominio de Discurso: Asignación de Constantes:

a = el clienteb = el accionistac = el colaborador

5 de 13

Page 6: 31   semántica de lógica de predicados

Interpretación

• Incluye:Dominio de Discurso: Asignación de Constantes:

a = el clienteb = el accionistac = el colaborador

Asignación de PredicadosAridad Cero:R = verdaderoS = falso

6 de 13

Page 7: 31   semántica de lógica de predicados

Interpretación

• Incluye:Dominio de Discurso: Asignación de Constantes:

a = el clienteb = el accionistac = el colaborador

Asignación de PredicadosAridad Cero:R = verdaderoS = falso

Asignación de Predicados Aridad n > 0:H(u, v, w) = u y v son hermanos y su mamá es wConjunto de tuplas que hacen verdadero el predicado:

Tupla: n elementos ordenados{< Juan, Pedro, María >, < Jorge, Antonio, Luisa >, < Lulú, Lulú, Wendy > }

7 de 13

Page 8: 31   semántica de lógica de predicados

Interpretar• ((T(h,n,g) & Q) v P)

– T(x,y,z) = x está más poblado que y pero menos que z– Q = El Salvador es el país más poblado de Centroamérica– P = El centro de América está en Guatemala

8 de 13

Page 9: 31   semántica de lógica de predicados

Interpretar• ((T(h,n,g) & Q) v P)

– T(x,y,z) = x está más poblado que y pero menos que z– Q = El Salvador es el país más poblado de Centroamérica– P = El centro de América está en Guatemala

Dominio de Discurso:Países de Centroamérica

9 de 13

Page 10: 31   semántica de lógica de predicados

Interpretar• ((T(h,n,g) & Q) v P)

– T(x,y,z) = x está más poblado que y pero menos que z– Q = El Salvador es el país más poblado de Centroamérica– P = El centro de América está en Guatemala

Dominio de Discurso:Países de Centroamérica

Asignación de Constantes:h = Honduras b = Belicen = Nicaragua c = Costa Ricag = Guatemala e = El Salvadorp = Panamá

10 de 13

Page 11: 31   semántica de lógica de predicados

Interpretar• ((T(h,n,g) & Q) v P)

– T(x,y,z) = x está más poblado que y pero menos que z– Q = El Salvador es el país más poblado de Centroamérica– P = El centro de América está en Guatemala

Dominio de Discurso:Países de Centroamérica

Asignación de Constantes:h = Honduras b = Belicen = Nicaragua c = Costa Ricag = Guatemala e = El Salvadorp = Panamá

Asignación de PredicadosAridad Cero:Q = falsoP = verdadero

11 de 13

Page 12: 31   semántica de lógica de predicados

Interpretar• ((T(h,n,g) & Q) v P)

– T(x,y,z) = x está más poblado que y pero menos que z– Q = El Salvador es el país más poblado de Centroamérica– P = El centro de América está en Guatemala

Dominio de Discurso:Países de Centroamérica

Asignación de Constantes:h = Honduras b = Belicen = Nicaragua c = Costa Ricag = Guatemala e = El Salvadorp = Panamá

Asignación de PredicadosAridad Cero:Q = falsoP = verdadero

Asignación de Predicados Aridad n > 0:T(x, y, z) = x está más poblado que y pero menos que zConjunto de tuplas que hacen verdadero el predicado, I(T) =

{< p,b,c >, < p,b,n >, < p,b,e >, < p,b,h >, < p,b,g >, < c,b,n >, < c,b,e >, < c,b,h >, < c,b,g>, < c,p,n >, < c,p,e >, < c,p,h >, < c,p,g>, < n,b,e >, < n,b,h >, < n,b,g >, < n,p,e >, < n,p,h >, < n,p,g >, < n,c,e >, < n,c,h >, < n,c,g >, < e,b,h >, < e,b,g >, < e,p,h >, < e,p,g >, < e,c,h >, < e,c,g >, < e,n,h >, < e,n,g >, < h,b,g >, < h,p,g >, < h,p,g >, < h,c,g >, < h,n,g >, < h,e,g > }

12 de 13

Page 13: 31   semántica de lógica de predicados

Interpretar• ((T(h,n,g) & Q) v P)

– T(x,y,z) = x está más poblado que y pero menos que z– Q = El Salvador es el país más poblado de Centroamérica– P = El centro de América está en Guatemala

Dominio de Discurso:Países de Centroamérica

Asignación de Constantes:h = Honduras b = Belicen = Nicaragua c = Costa Ricag = Guatemala e = El Salvadorp = Panamá

Asignación de PredicadosAridad Cero:Q = falsoP = verdadero

Asignación de Predicados Aridad n > 0:T(x, y, z) = x está más poblado que y pero menos que zConjunto de tuplas que hacen verdadero el predicado, I(T) =

{< p,b,c >, < p,b,n >, < p,b,e >, < p,b,h >, < p,b,g >, < c,b,n >, < c,b,e >, < c,b,h >, < c,b,g>, < c,p,n >, < c,p,e >, < c,p,h >, < c,p,g>, < n,b,e >, < n,b,h >, < n,b,g >, < n,p,e >, < n,p,h >, < n,p,g >, < n,c,e >, < n,c,h >, < n,c,g >, < e,b,h >, < e,b,g >, < e,p,h >, < e,p,g >, < e,c,h >, < e,c,g >, < e,n,h >, < e,n,g >, < h,b,g >, < h,p,g >, < h,p,g >, < h,c,g >, < h,n,g >, < h,e,g > }

Interpretación:I((T(h,n,g) & Q) v P) = verdadero 13 de 13