e - GSI

Lógica multivalorada: Leyes de Lukasiewicz
g(¬S)=1−g(S)
g(S1∧S2)=mín(g(S1),g(S2))
g(S1∨S2)=máx(g(S1),g(S2))
g(S1⇒S2) = 1 si g(S1)≤g(S2)
= 1−g(S1)+g(S2) si g(S1)>g(S2)
g((∀X)(S1(X)))=mín (g(S1(X)))
X
g((∃X)(S1(X)))=máx (g(S1(X)))
X
Para el condicional se usa más:
g(S1⇒S2)=máx(1−g(S1),mín(g(S1),g(S2)))
c○ 2011 DIT-ETSIT-UPM Representación del conocimiento transp. 69
Factores de incertidumbre (1)
Escala, por ejemplo: −1≤c≤+1
Hechos: A(c A ),B(c B )...
Reglas: E i ⇒ H j (c i j ) (regla de diagnóstico)
Extensión heurística del modus ponens:
A(c A )
(A⇒B)(c R )
——————–
si c A > 0 entonces B(c B ), con c B = c A × c R
c(A 1 ∨ A 2 )=máx(c A1 ,c A2 )
c(A 1 ∧ A 2 )=mín(c A1 ,c A2 )
c(¬A)=−c A
c○ 2011 DIT-ETSIT-UPM Representación del conocimiento transp. 70