Semántica de Lógica de Predicados Clase 31 – Leonel Morales Díaz [email protected] – [email protected] – 06/Octubre/2014 1
Semántica de Lógica de PredicadosClase 31 – Leonel Morales Díaz
[email protected] – [email protected] – 06/Octubre/2014
1
Dominio
• Dominio de discurso– Marco conceptual– Conjunto de significados
2 de 13
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
Interpretación
• Incluye:Dominio de Discurso:
4 de 13
Interpretación
• Incluye:Dominio de Discurso: Asignación de Constantes:
a = el clienteb = el accionistac = el colaborador
5 de 13
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
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
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
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
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
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
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
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