1 و. ض انعهيى عى انسح فتح- [email protected] صطناعيء الذكـــــــا ا المعرفــــــة تمثيلاضيلمنطق الريلمعرفة با تمثيل ا: - - - true or false : - - - -
1
[email protected] فتح انسحًٍ عىض انعهيى . و
الذكـــــــاء اإلصطناعي
تمثيل المعرفــــــة
:تمثيل المعرفة بالمنطق الرياضي
-
-
-
true or
false
:
-
-
-
-
2
[email protected] فتح انسحًٍ عىض انعهيى . و
true
-
-
false
-
-
IF
-
Predicatecat animal
constant
A,B,X
functions
variablea,b,x
connectiveΛ V
3
[email protected] فتح انسحًٍ عىض انعهيى . و
Argument1 ,…, Argument npredicate _ name
Argument
- Artificial intelligence is a computer course انركاء االصطناعي يقسز حاسىب
COMPUTER_COURSE(Artificial INTELLIGENCE)
- Cat is animal ٌانقظ حيىا
ANIMAL(Cat)
Easy come easy go - يا يكسة تسهىنح يضيع تسهىنح
COME(easy),GO(easy)
- Ahmed mother is married to Ahmed father او احًد يتزوجح يٍ اتى احًد
MARRIED(mother,(AHMED),father,(AHMED)(
(predicate)
(Argument)
4
[email protected] فتح انسحًٍ عىض انعهيى . و
meaningالمعنى symbolالرمز
for all: انكم
يىجد :exist (ال)اننفي : not
Λ (و)انحصس : and
V (او)انشًىل : or
then : (اذًا)انشسط →
Gt ٍاكثسي:
Lt ٍاقم ي:
Ge اكثساويساوي :
Le اقم او يساوي:
equal:= يساوي =
If animal gives milk it is a mammal إذا كاٌ انحيىاٌ يعطي حهيثا إذا انحيىاٌ يٍ ذواخ انثدي
ANIMAL(give(milk),MAMMAL(ANIMAL))
X ت animal
Y ت Milk
Z ت mammal
1.
2.(x Λ y) (z Λ x)
5
[email protected] فتح انسحًٍ عىض انعهيى . و
x y Z x Λ y z Λ x x Λ y z Λx
T
T
T
T
T
T
F
F
T
F
T
F
T
T
F
F
T
F
T
F
T
F
F
F
Cat is an animal
Dog is an animal
Dogcatcher is a human
Animal has 4 legs
Person is human
Animal(cat)
Cat(has(4 legs))
Person(dogcatcher)
¬Animal(dogcatcher)