Professional Documents
Culture Documents
•Broad
Broad sense
a system of concepts, principles, and method for dealing
with modes of reasoning that are approximate rather than
exact.
•Narrow sense
A generalization
li ti off the
th various
i multivalued
lti l d logics
l i
• Three-valued logics
• n-valued logics
T( px) = A(x)
The degree of x belong to χ
The degree
g of truth of p65 is
Ts(p65) = S(A(x)) = S(0.25) = 0.125
0.25
0.125
0.25
px:‘χ=x
‘ i A’ is
is i S
is Ts(px) = S(A(x))
The degree
g of truth of p65 is
Ts(p65) = S(A(x)) = S(0.25) = 0.5
Lukasiewicz implication
T (p600,
600 45) = min[1,
min[1 11- L(600)+E(45)] = min[1,
min[1 11- 1+0.5]
1+0 5] = 0.5
05
T (p450, 42) = min[1, 1- L(450)+E(42)] = min[1, 1- 0.75 +0.4] = 0.65
• Propositions
– p1: John
J h iis young
– p2: John is very young
– p3: John is fairly young
• Assume John is 26 years old, the degree of truth of the
ppropositions
p are
– Young(26) = 0.8
– Very young(26) = 0.82 = 0.64 Strong assertion is less true
– Fairly young (26) = 0.81/2 = 0.89
• Deductive reasoning
– Use
U valid
lid argumentt form
f
• Approximately reasoning
– Dealing with reasoning under fuzzy environment
[(p ⇒ q) ∧ p] ⇒ q
mantıkta;
"a olursa b olur."
"aa olmuştur.
olmuştur "
önermelerinden
"b de olmuştur."
sonucunu çıkarmaya
verilen isim.
12.11.2010 fuzzy database modeling 17
Generalized modus ponens