What is all the Fuzz about? - Southern Illinois University...
Transcript of What is all the Fuzz about? - Southern Illinois University...
![Page 1: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/1.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
CPSC 533
Christian JacobDept. of Computer Science
Dept. of Biochemistry & Molecular BiologyUniversity of Calgary
What is all the Fuzz about?
Fuzzy Systems: Introduction
![Page 2: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/2.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Fuzzy Systems in Knowledge Engineering
![Page 3: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/3.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
1. Motivation
2. Fuzzy Sets
3. Fuzzy Numbers
4. Fuzzy Sets and Fuzzy Rules
5. Extracting Fuzzy Models from Data
6. Examples of Fuzzy Systems
Fuzzy Systems
![Page 4: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/4.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
• Fuzzy logic was introduced by Lotfi Zadeh "UC Berkeley# in 1965.
• Fuzzy logic is based on fuzzy set theory, an extension of classical set theory.
• Fuzzy logic attempts to formalize “approximate” knowledge and reasoning.
• Fuzzy logic did not attract any attention until the 1980s "fuzzy controller applications#.
What does Fuzzy Logic mean?
![Page 5: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/5.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
• Humans primarily use fuzzy terms: large, sma, fast, slow, warm, cold, ...
• We say:
“If the weather is nice and I have a little time, I will probably go for a hike along the Bow.”
• We don’t say:
“If the temperature is above 24 degrees and the cloud cover is less than 10$, and I have 3 hours time, I will go for a hike with a probability of 0.47.”
Fuzzy is Just Human
![Page 6: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/6.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
• Zadeh: “Make use of the leeway of fuzziness.”
• Fuzziness as a principle of economics:
• Precision is expensive.
• Only apply as much precision to a problem as necessary.
• Example: Backing into a parking space
% How long would it take if we had to park a car with a precision of ±2 mm?
Fuzzy is Economical
![Page 7: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/7.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
1. Motivation
2. Fuzzy Sets
3. Fuzzy Numbers
4. Fuzzy Sets and Fuzzy Rules
5. Extracting Fuzzy Models from Data
6. Examples of Fuzzy Systems
Fuzzy Systems
![Page 8: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/8.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
• Example: the set of “young people”
• We can define a characteristic function for this set:
Basics of Fuzzy Sets
young = {x ∈ P | age(x)≤ 20}
µyoung(x) ={
1 : age(x)≤ 200 : 20 < age(x)
![Page 9: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/9.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
• Fuzzy set theory offers a variable notion of membership:
• A person of age 25 could still belong to the set of young people, but only to a degree of less than on, say 0.9.
• Now the set of young contains people with ages between 20 and 30, with a linearly decreasing degree of membership.
Basics of Fuzzy Sets
µyoung(x) =
1 : age(x)≤ 20
1− age(x)−2010 : 20 < age(x)≤ 30
0 : 30 < age(x)
![Page 10: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/10.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Fuzzy Membership Function
µyoung(x) =
1 : age(x)≤ 20
1− age(x)−2010 : 20 < age(x)≤ 30
0 : 30 < age(x)
![Page 11: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/11.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Shapes for Membership Fcts.
Trapezoid: [a,b,c,d]Triangle: [a,b,c]
Gaussian: [a,q]
Singleton: [a,m]
![Page 12: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/12.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Parameters of FMFs
• Support: sA := ' x : µA"x# > 0 (
• The area where the membership function is positive.
• Core: cA := ' x : µA"x# = 1 (
• The area for which elements have a maximum degree of membership to the fuzzy set A.
![Page 13: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/13.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
• α-Cut: αA := ' x : µA"x# = α (
• The cut through the membership function of A at height a.
• Height: hA := maxx' µA"x# (
• The maximum value of the membership function of A.
Parameters of FMFs
![Page 14: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/14.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Support: sA := ' x : µA"x# > 0 (
Trapezoid: [a,b,c,d]Triangle: [a,b,c]
Gaussian: [a,q]
Singleton: [a,m]
![Page 15: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/15.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Core: cA := ' x : µA"x# = 1 (
Trapezoid: [a,b,c,d]Triangle: [a,b,c]
Gaussian: [a,q]
Singleton: [a,m]
m=1
![Page 16: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/16.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
α%Cut: αA := ' x : µA"x# = α (
Trapezoid: [a,b,c,d]Triangle: [a,b,c]
Gaussian: [a,q]
Singleton: [a,m]
a
a
a
a
![Page 17: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/17.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Height: hA := maxx' µA"x# (
Trapezoid: [a,b,c,d]Triangle: [a,b,c]
Gaussian: [a,q]
Singleton: [a,m]
Height = m
Height = 1
Height = 1 Height = 1
![Page 18: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/18.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Linguistic Variables
• The covering of a variable domain with several fuzzy sets, together with a corresponding semantics, defines a linguistic variable.
• Example: linguistic variable ag"
![Page 19: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/19.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
• Using fuzzy sets, we can incorporate the fact that no sharp boundaries between ‘groups’, such as young, middle#aged, and old, exist.
• The corresponding membership functions overlap in certain areas, forming non%crisp "fuzzy# boundaries.
• This compositional way of defining fuzzy sets over a domain of a variable is called granulation.
Granulation
![Page 20: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/20.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
• Granulation results in a grouping of objects into imprecise clusters of fuzzy granules.
• The objects forming a granule are drawn together by similarity.
• This can be seen as a form of fuzzy data compression.
Fuzzy Granules
![Page 21: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/21.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
• If expert knowledge on a domain is not available, an automatic granulation is used.
• Standard granulation using an odd number of membership functions:
• NL: negative large, NM: negative medium, NS: negative small, Z: zero, ...
Finding Fuzzy Granules
![Page 22: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/22.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
1. Motivation
2. Fuzzy Sets
3. Fuzzy Numbers
4. Fuzzy Sets and Fuzzy Rules
5. Extracting Fuzzy Models from Data
6. Examples of Fuzzy Systems
Fuzzy Systems
![Page 23: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/23.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
• Real%world measurements are always imprecise.
• Usually, such imprecise measurements are modeled through
• a crisp number x, denoting the most typical value,
• together with an interval, describing the amount of imprecision.
• In a linguistic sense: “about x”
Fuzzy vs. Crisp Numbers
![Page 24: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/24.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
• Fuzzy numbers are a special type of fuzzy sets with specific membership functions:
• µA must be normalized "cA ≠ ∅#.
• µA must be singular. There is precisely one point which lies inside the core, modeling the typical value "= modal value# of the fuzzy number.
• µA must be monotonically increasing left of the core and monotonically decreasing on the right "only one peak!#.
Fuzzy Numbers as Fuzzy Sets
![Page 25: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/25.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
• Typically, triangular membership functions are chosen for fuzzy numbers.
Fuzzy Number Example
1 2-1-2
About 0
About 1About 2
![Page 26: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/26.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Addition: Crisp Numbers
µa+b(x) ={
1 : i f ∃ y,z ∈ R : µa(y) = 1∧µb(z) = 1∧ y+ z = x0 : else
![Page 27: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/27.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Operations on Fuzzy Numbers
• We extend classical operators "addition, multiplication, etc.# to their fuzzy counterparts, such that we can also handle intermediate degrees of membership.
• For an arbitrary binary operator ⊗:
µA⊗B(x) = maxy,z∈¬{min{µA(y),µB(z)} | y⊗ z = x}
![Page 28: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/28.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
• We check whether the fuzzy addition is consistent with ‘normal’ addition on crisp numbers.
Fuzzy Addition: Crisp Numbers
µA⊗B(x) = maxy,z∈¬{min{µA(y),µB(z)} | y⊗ z = x}
![Page 29: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/29.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Fuzzy Addition
µA⊗B(x) = maxy,z∈¬{min{µA(y),µB(z)} | y⊗ z = x}
![Page 30: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/30.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Fuzzy Addition
µA⊗B(x) = maxy,z∈¬{min{µA(y),µB(z)} | y⊗ z = x}
![Page 31: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/31.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Fuzzy Addition & Multiplication
µA⊗B(x) = maxy,z∈¬{min{µA(y),µB(z)} | y⊗ z = x}
![Page 32: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/32.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Fuzzy Addition & Multiplication
µA⊗B(x) = maxy,z∈¬{min{µA(y),µB(z)} | y⊗ z = x}
m looses itstriangular shape!
![Page 33: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/33.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Fuzzy Number Operations
• For practical purposes, we can calculate the result of applying a monotonical operation ⊗ on fuzzy numbers as follows:
• Subdivide µA"x# and µB"x# into monotonically increasing and decreasing parts.
• Perform the operation ⊗ jointly on the increasing "decreasing# parts of numbers A and B.
• Plateaus can be dealt with in a single computation step.
![Page 34: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/34.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
• Let A and B be fuzzy numbers, and ⊗ a strongly monotonical operation.
• Let *a1, a2+ and *b1, b2+ be the intervals in which µA"x# and µB"x# are monotonically increasing "decreasing#.
• If there exist subintervals *α1, α2+ ⊆ *a1, a2+ and *β1, β2+ ⊆ *b1, b2+, such that
% ∀ xA ∈ *α1, α2+, ∀ xB ∈ *β1, β2+: μA"xA# = μB"xB# = λ
then
% ∀ t ∈ *α1 ⊗ β1, α2 ⊗ β2+: μA ⊗ B"t# = λ.
Fuzzy Number Operations
![Page 35: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/35.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Fuzzy Addition
mA + B(t) = 1.0 t = ...
![Page 36: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/36.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Fuzzy Addition
mA + B(t) = 1.0 t = 40 + 70 = 110
![Page 37: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/37.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Fuzzy Addition
mA + B(t) = 0.4 " t ˛ [..., ...]
![Page 38: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/38.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Fuzzy Addition
mA + B(t) = 0.4 " t ˛ [20+64, 30+64]
![Page 39: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/39.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Fuzzy Addition
mA + B(t) = 0.4 " t ˛ [20+64, 30+64] = [84, 94]
![Page 40: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/40.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Fuzzy Addition
mA + B(t) = 0.4 t = ...
![Page 41: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/41.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Fuzzy Addition
mA + B(t) = 0.4 t = 46 + 76 = 122
![Page 42: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/42.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Fuzzy Addition
mA + B(t) = 0.4 t = 46 + 76 = 122
![Page 43: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/43.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Fuzzy Addition
Support: sA + B = [..., ...]
![Page 44: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/44.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Fuzzy Addition
Support: sA + B = [10+60, 50+80] = [70, 130]
![Page 45: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/45.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Fuzzy Addition
… and the rest by linear interpolation:
Done!
![Page 46: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/46.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Monotonic Function
µf (A)(y) = max{µA(x) | ∀x : f (x) = y}
![Page 47: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/47.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
1. Motivation
2. Fuzzy Sets
3. Fuzzy Numbers
4. Fuzzy Sets and Fuzzy Rules
5. Extracting Fuzzy Models from Data
6. Examples of Fuzzy Systems
Fuzzy Systems
![Page 48: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/48.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
• Let A and B be fuzzy sets.
• Intersection "conjunction#:
µA∩B"x# = min 'μA"x#, μB"x#(
• Union "disjunction#:
µA∪B"x# = max 'μA"x#, μB"x#(
• Complement:
µ¬A"x# = 1 % μA"x#
Operations on Fuzzy Sets
![Page 49: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/49.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Fuzzy Union & Intersection
µA∩B"x# = min 'μA"x#, μB"x#(
µA∪B"x# = max 'μA"x#, μB"x#(
![Page 50: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/50.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Fuzzy Union & Intersection
![Page 51: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/51.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Union & Intersection: Alternatives
µA∩B(x) = min{µA(x),µB(x)}
µA∪B(x) = max{µA(x),µB(x)}
µA∩B(x) = µA(x) · µB(x)
µA∪B(x) = min{µA(x)+µB(x),1}
![Page 52: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/52.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Fuzzy RulesIF temperature = low THEN cooling valve = half open.
IF temperature = medium THEN cooling valve = almost open.
![Page 53: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/53.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Max%Min InferenceMax-MinInference
Approximate Reasoning IF temperature = low THEN cooling valve = half open
IF temperature = medium THEN cooling valve = almost open
temperature = medium
temperature = low
valve = almost open
valve = half open
in out
![Page 54: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/54.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Max%Min InferenceMax-MinInference
Approximate Reasoning IF temperature = low THEN cooling valve = half open
IF temperature = medium THEN cooling valve = almost open
temperature = medium
temperature = low
valve = almost open
valve = half open
in out
1. Input of crisp !value
![Page 55: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/55.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Max%Min InferenceMax-MinInference
Approximate Reasoning IF temperature = low THEN cooling valve = half open
IF temperature = medium THEN cooling valve = almost open
temperature = medium
temperature = low
valve = almost open
valve = half open
in out
1. Input of crisp !value2. Fuzzification
![Page 56: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/56.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Max%Min InferenceMax-MinInference
Approximate Reasoning IF temperature = low THEN cooling valve = half open
IF temperature = medium THEN cooling valve = almost open
temperature = medium
temperature = low
valve = almost open
valve = half open
in out
1. Input of crisp !value2. Fuzzification3. Inference
![Page 57: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/57.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Max%Min InferenceMax-MinInference
Approximate Reasoning IF temperature = low THEN cooling valve = half open
IF temperature = medium THEN cooling valve = almost open
temperature = medium
temperature = low
valve = almost open
valve = half open
in out
1. Input of crisp !value2. Fuzzification3. Inference4. Output set Fuzzy OR
![Page 58: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/58.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Max%Min InferenceMax-MinInference
Approximate Reasoning IF temperature = low THEN cooling valve = half open
IF temperature = medium THEN cooling valve = almost open
temperature = medium
temperature = low
valve = almost open
valve = half open
in out
1. Input of crisp !value2. Fuzzification3. Inference4. Output set Fuzzy OR
![Page 59: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/59.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Max%Min InferenceMax-MinInference
Approximate Reasoning IF temperature = low THEN cooling valve = half open
IF temperature = medium THEN cooling valve = almost open
temperature = medium
temperature = low
valve = almost open
valve = half open
in out
1. Input of crisp !value2. Fuzzification3. Inference4. Output set5. Defuzzification
Center of gravity
![Page 60: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/60.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
1. Motivation
2. Fuzzy Sets
3. Fuzzy Numbers
4. Fuzzy Sets and Fuzzy Rules
5. Extracting Fuzzy Models from Data
6. Examples of Fuzzy Systems
Fuzzy Systems
![Page 61: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/61.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
• Approximate representation of functions, contours, and relations
Extracting Fuzzy Models: Graphs
![Page 62: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/62.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Global Granulation of Input Space
![Page 63: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/63.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Fixed%Grid Rules Extraction
![Page 64: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/64.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Adaptive%Grid Rules Extraction
![Page 65: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/65.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
1. Motivation
2. Fuzzy Sets
3. Fuzzy Numbers
4. Fuzzy Sets and Fuzzy Rules
5. Extracting Fuzzy Models from Data
6. Examples of Fuzzy Systems
Fuzzy Systems
![Page 66: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/66.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
• A logic system consists of four parts:
• Alphabet: a set of basic symbols from which more complex sentences are made.
• Syntax: a set of rules or operators for constructing expressions "sentences#.
• Semantics: for defining the meaning of the sentences
• Inference rules: for constructing semantically equivalent but syntactically different sentences
Logic System
![Page 67: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/67.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
• The following types of symbols are allowed in predicate logic:
• Terms
• Predicates
• Connectives
• Quantifiers
Predicate Logic
![Page 68: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/68.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
• Terms:
• Constant symbols: symbols, expressions, or entities which do not change during excecution "e.g., true / false#
• Variable symbols: represent entities that can change during excecution
• Function symbols: represent functions which process input values on a predefined list of parameters and obtain resulting values
Predicate Logic
![Page 69: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/69.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
• Predicates:
• Predicate symbols: represent true/false%type relations between objects. Objects are represented by constant symbols.
Predicate Logic
![Page 70: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/70.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
• Connectives:
• Conjunction
• Disjunction
• Negation
• Implication
• Equivalence
• ... "same as for propositional calculus#
Predicate Logic
![Page 71: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/71.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
• Quantifiers:
• valid for variable symbols
• Existential quantifier: “There exists at least one value for x from its domain.”
• Universal quantifier: “For all x in its domain.”
Predicate Logic
![Page 72: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/72.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
• First%order logic allows quantified variables to refer to objects, but not to predicates or functions.
• For applying an inference to a set of predicate expressions, the system has to process matches of expressions.
• The process of matching is called unification.
First%Order Logic
![Page 73: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/73.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
• In PROLOG, a quantifier%free Horn#clausal notation is adopted.
• "x, Human(x) Þ Mortal(x)
• mortal(X) :- human(X).
• Human(Socrates)
• human(Socrates).
PROLOGProgramming in Logic
![Page 74: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/74.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
• A rule
• "A1, A2, ..., An# ⇒ B
• as a Horn clause has the following form:
• B :- A1, A2, ..., An.
• The goal B is true if all the sub%goals A1, A2, ..., An are true.
• A1, A2, ..., An are predicate expressions.
PROLOG: Horn Clauses
![Page 75: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/75.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
• A fact is represented as a literal clause with the right side being the constant true.
• Therefore, a clause representing a fact is always true.
• Example:
• human(Socrates) :- true.
• human(Socrates).
PROLOG: Facts
![Page 76: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/76.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
• In PROLOG knowledge is represented as a set of clauses with
• premises "right side of the clause# and
• one conclusion "left side#.
• AND is denoted by the character “,”.
• OR is denoted by the character “;”.
• NOT is denoted by “¬”.
Knowledge Representation
![Page 77: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/77.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
PROLOG Architecture
![Page 78: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/78.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
• father(John, Mary).
• father(Jack, Andy).
• father(Jack, Tom).
• mother(Helen, Jack).
• mother(Mary, Jilly).
• grandfather(Barry, Jim).
Family Example: Facts
![Page 79: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/79.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
grandfather(X,Y)
:- father(X,Z), parent(Z,Y).
grandmother(X,Y)
:- mother(X,Z), parent(Z,Y).
parent(X,Y) :- mother(X,Y).
parent(X,Y) :- father(X,Y).
Family Example: Rules
![Page 80: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/80.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
Goal?- grandfather(John, Jilly).
yes
Goal?- grandmother(Helen, X).
2 solutions
X = Andy; X = Tom
Goal?- grandmother(X,Y), X = Y.
fail
PROLOG Sample Dialogue
![Page 81: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/81.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
PROLOG Sample Inference
Goal?– grandfather(John, Jilly).
grandfather(John, Jilly)
father(John, Z) parent(Z, Jilly)
mother(Z, Jilly) father(Z, Jilly)
AND
ORMary
Mary
yes
father(John, Mary).father(Jack, Andy).father(Jack, Tom).
mother(Helen, Jack).mother(Mary, Jilly).
grandfather(Barry, Jim).
![Page 82: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/82.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
PROLOG Sample Inference
Goal?– grandmother(Helen, X).
grandmother(Helen, X)
mother(Helen, Z) parent(Z, X)
mother(Z, X) father(Z, X)
AND
ORJack
Jack
2 solutions: X= Andy or X= Tom
AndyTom
father(John, Mary).father(Jack, Andy).father(Jack, Tom).
mother(Helen, Jack).mother(Mary, Jilly).
grandfather(Barry, Jim).
![Page 83: What is all the Fuzz about? - Southern Illinois University ...rahimi/cs537/slides/Fuzzy-Jacob.pdfCPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of](https://reader033.fdocuments.in/reader033/viewer/2022051900/5fef1585ba04a8620d2e7bcf/html5/thumbnails/83.jpg)
CPSC 533 ! Artificial Intelligence: An Introduction Christian Jacob, University of Calgary
• Berthold, M., and Hand, D. J. "2003#. Inteigent Data Analysis. Berlin, Springer.
• Bothe, H. "1995#. Fuzzy Logic $ Einführung in die Theori" und Anwendungen. Berlin, Springer.
• Kasabov, N. "1996#. Foundations of Neural Networks, Fuzzy Systems, amd Knowledge Engineering. Cambridge, MA, MIT Press.
References