Professional Documents
Culture Documents
ا ء آا Artificial Intelligence Artificial Intelligence
ا ء آا Artificial Intelligence Artificial Intelligence
ء ا
Artificial Intelligence
أ ا
آ
ك.د
دات ا دة
-١إ
ا
آ
ء ا
.
" -٢ا
(
آ '
&$%ام "!
ب ا
ت وا*&
دی
ت.
5 -٣ق أى
2%ا
1وا
/0ا
.$ة.
-٤ا
79:ل ا
:7ا
@:.و7ارز
ﺕ<.
-٥ا
1وا
C%ا
.B!.%9
-٦ا
./9%
-٧ا
7%اﺹ وا*دراك وا
.
-٨ا&(%اف ا
!7 :.H%ارز
ت 7J%رة
ا ا :ق أى ا
وا "#ا! ة
-١ﻥ7N /0ا Mا*ﻥ
%ج:
ا
! 9!9ا
O
ا
! 9!9ا
9$
Hرﻥ ' Bا
! 9!9ا
Oوا
! 9!9ا
9$
(
آ 7Nا Mا*ﻥ
%ج و"79ل
-٢ﺵ
C.ت ا
P
-٣ﺕا' Sا
ه/
-٤ا5O
-٥ا
!
ری7
ﻥ'( "#ا& %ا
ﻥآ
.M:رات ه7رن ا
%ﺕ7:ي " 9M
ً.V7
ً1اOآ:2 •
7Nا
N[M) Mت ا
Z%Nء( •
"]^
H •
أهاف ﻥ7د ﺕ')
_HH:ه
' ،(
_%ء 9Mا
7Hا Mوا
]^
H:ا
17%ة. •
ﺕ! 2 d.' Prolog a
bه cا
،
7_!' /0وآ
Clips e •
ی V7ا
ی Bا
/0ا
.$ة ا
%ﺕ %ها ا79&Oب
:ی
M
Nة ا
1 •
ا
%ﺕ BZ%ا
1) ]^
H:ذاآة ا
( ،وا
7HاM
N 1 Mة ا
،1و
ی
اOهاف ) 1ذاآة ا
( ،و
ی
:ك ا&P%ل ی! إ
إVاء
:آ
1ﺹ[" اOهاف.
ی BCأن ی :ك اP%&Pل '
! 9!9اForward chainig
O •
اﻥ B
ًN[Jا
]^
H:ا
7V7دة ،أو '
! 9!9ا
Backward Chaining 9$
اﻥ B
ًN[Jا
_ف .
ا
ا
.g^
%
ج ﻥ%%&
ول ا:
^] أ&
& ﻥH" B •
؟clide BM g%%! أن ﻥBC•
ذا ی
modus ponens:
unification:
IF p THEN q
p find compatible values for
variables
q
٥
ا
ا
IF elephant(x) THEN mammal(x) unification:
IF mammal(x) THEN animal(x) find compatible values for
variables
elephant(Clyde)
modus ponens:
IF p THEN q
p
q
elephant (Clyde)
٦
ا
ا
IF elephant(x) THEN mammal(x) unification:
IF mammal(x) THEN animal(x) find compatible values for
variables
elephant(Clyde)
modus ponens:
IF p THEN q
p
q
elephant (Clyde)
٧
ا
ا
IF elephant(x) THEN mammal(x) unification:
IF mammal(x) THEN animal(x) find compatible values for
variables
elephant(Clyde)
modus ponens:
IF p THEN q
p
q
elephant (Clyde)
٨
ا
ا
IF elephant(x) THEN mammal(x) unification:
IF mammal(x) THEN animal(x) find compatible values for
variables
elephant(Clyde)
modus ponens:
IF p THEN q
p
q
elephant (Clyde)
٩
ا
ا
IF elephant(x) THEN mammal(x) unification:
IF mammal(x) THEN animal(x) find compatible values for
variables
elephant(Clyde)
modus ponens:
IF p THEN q
p
animal( x )
q
elephant (Clyde)
١٠
ا
ا
IF elephant(x) THEN mammal(x) unification:
IF mammal(x) THEN animal(x) find compatible values for
variables
elephant(Clyde)
modus ponens:
IF p THEN q
p
animal(Clyde)
q
elephant (Clyde)
١١
9$
ا9!9!
ا
1 /M ﺕ%
^]( اH:
د
)اO
د اd إی، ا
_فB
ًN[J• اﻥ
ان؟7" 7 هclyde د
أنB ه:
ل2 •
modus ponens:
unification:
IF p THEN q
p find compatible values for
variables
q
١٢
9$
ا9!9!
ا
IF elephant(x) THEN mammal(x) unification:
IF mammal(x) THEN animal(x) find compatible values for
variables
elephant(Clyde)
modus ponens:
IF p THEN q
p
q
animal(Clyde) ?
IF mammal( x ) THEN animal( x )
١٣
9$
ا9!9!
ا
IF elephant(x) THEN mammal(x) unification:
IF mammal(x) THEN animal(x) find compatible values for
variables
elephant(Clyde)
modus ponens:
IF p THEN q
p
q
animal(Clyde) ?
IF mammal(Clyde) THEN animal(Clyde)
١٤
9$
ا9!9!
ا
IF elephant(x) THEN mammal(x) unification:
IF mammal(x) THEN animal(x) find compatible values for
variables
elephant(Clyde)
modus ponens:
IF p THEN q
p
q
animal(Clyde) ?
IF mammal(Clyde) THEN animal(Clyde)
?
IF elephant( x ) THEN mammal( x )
١٥
9$
ا9!9!
ا
IF elephant(x) THEN mammal(x) unification:
IF mammal(x) THEN animal(x) find compatible values for
variables
elephant(Clyde)
modus ponens:
IF p THEN q
p
q
animal(Clyde) ?
IF mammal(Clyde) THEN animal(Clyde)
?
IF elephant(Clyde) THEN mammal(Clyde)
١٦
9$
ا9!9!
ا
IF elephant(x) THEN mammal(x) unification:
IF mammal(x) THEN animal(x) find compatible values for
variables
elephant(Clyde)
modus ponens:
IF p THEN q
p
q
animal(Clyde) ?
IF mammal(Clyde) THEN animal(Clyde)
?
IF elephant(Clyde) THEN mammal(Clyde)
elephant ( x ) ? ١٧
9$
ا9!9!
ا
IF elephant(x) THEN mammal(x) unification:
IF mammal(x) THEN animal(x) find compatible values for
variables
elephant(Clyde)
modus ponens:
IF p THEN q
p
animal(Clyde)
q
elephant (Clyde)
١٨
0رﻥ ﺏ -ا *+*+ا ,وا *+*+ا!*
(
آ 7Nا Mا*ﻥ
%ج و"79ل
P
•
P
ً.ی7Cن ا
2%ا
ً
1 S!.
• Pی BCا
' BM .%ا
رف '$%&
' 5
!.ام ه cا
7Hا.M
•ی /_1وﺹ
ﻥ ه cا
7Hا B" Mﺕaو ذات Mد ًV /$ا
S'ا%
اc
d ﺕ( إ
اﺕ/_&Oا
واM
اB' B
هd '
ﺕN[M
ا
دوج ی( إ/_!
ا
9
اB
ﺕ اP
C9 H وی( إ
ﻥPrimitives &
&
تO أ" اATRANS
receiver ِ.H%!
ا:R ضO
٢٩
٣- / ا
هS'ﺕا
:9_ آ
ی1 &
&
تOأ
ا
give JM أ:2 دةd N[
H ﻥ:ATRANS
go ذه:2 ضa
^
ی1 7 H ﻥ:PTRANS
push 1 د:2 ض9M ة
دی7N ].J ﺕ:PROPEL
رآ2 <."
ﺹ.N B /!d
اB ءV eی: ﺕ:MOVE
kick
throw ر:2 M
1 B
ط ضH%
ا:GRASP
eat أآ:2 ﺵء/Z ه:INGEST
٣٠ cry C' :2
ﺵء:EXPEL
٤- / ا
هS'ﺕا
:('
)ﺕ9_ آ
ی1 &
&
تOأ
ا
say
لN :2 یC1
ت79 H ﻥ:MTRANS
decide رN :2 أىB
ت79
ج%%& ا:MBUILD
sing, say ،
لN :2 ات7
ج أﺹ% إﻥ:SPEAK
listen a أﺹ2 اس7:
' آ%
ا:ATTEND
٣١
ﺕا' Sا
ه٥- /
أ
ا
%ا'
Jت 9M _1أر' أﻥ7اع:
:ACTأ
1ل )Vي ،أ ،إ
JMء(...، •
g% :PPا
7رة أو ا
) Mﺵ7" ،$ان ،ﻥ
.ت(.. •
9M M
! :AAﺕ aا
)7Nة(..، •
9M M
! :PAﺕ aا
7رة )75ل(.. ،J
، •
٣٢
٣٣
ﺕا' Sا
ه٦- /
ا
:آ 9Mه cا
:1
• ﺕ /!Hا
1Oل إ
أ&
&
ت یM B $د 7Nا MاP%&Pل
)أ ،JMأ& ،ق ،وه (...ﺕُ
9وا"ة
.ATRANS
• ا
B 2CاPP%&Pت 1 BZ%ا
:2%ی BZ%ا
2%
أآ
2ﺕ <9:آ
9ت ا
.رة.
• ﺕ 2ا
J& 1ﺕ!
ؤPت & ]H:%ﻥ
Hط ا
%آ
@:.9
V 1 BMیة
2ل
N”:ل ا
%&Oذ أﻥ< & !Cرأس
ا
(
” ' ﺕ <92ی7Cن ا
!%ؤل “
ذا & ا
(
٣٤
BM 1ﻥ!< ا
J$؟”
(%)ﺕ٦– / ا
هS'ﺕا
(/_&O ا9M 7 )ﺕB
ا/
ه
past
ا:P
future .H%!
ا:f
transition
لH%ل أو اﻥ7: ﺕ:t
start transition ^.
ل ا7:%
اts:
finished transition ٍ<% ل7: ﺕ:tf
Continuous %! :K
eternal /^ دا:delta
:
ا:nil
_%& ا:?
٣٥
conditional 5 ﺵ:c ﻥ:/
ﺕا' Sا
ه٧- /
ﺕ
H.Jت ها ا
:2%
• /_1ا
a9ا
H.J%9
.Jت ا
9M
%
• ا
!
Mة /_1 9Mا
O a9اض ا
a
B V%إ
أى
ﺹ
:'7ه
ك اﺕ
ق 9Mآ ا
&
&Oت ،أو 9M
ا
&
&Oت ا
7ا Vإ
B!:%
_%1ا
) 2%در VﺕH
ا
(..2%
٣٦
ا١- Frames 5O
ﻥ7ع Bﺵ
C.ت ا
Pا
Hة ،ا
%ﺕ ' BZ%دا7J% 9رة
) (meta-knowledge 1% 1ﺹ
" ا
Cة :Minsky
ا
Cة7' :ا _Vا
(
آ ا
dیة ،ﻥ! M%ﻥ
ذج Bا
اآة وﻥ7Jره
/^[%ا
dی.
ه 7ا*
5ر:
• و"ة Hة ﺕP
" 2ت وأاض 1ﻥ
Jق اه
%ﺕ
• '
Jت '
رف ﻥ7ذ7" Vل ض أو _7م
ص
• ا 1 Marvin Minsky
_"%Nا
!
.ت
• ﺕُ!$%م
H%
Pط ا
1و ﺕ 1
_92ا
/0ا
.$ة ا
%ﺕ %ا5O
٣٧
٢- 5Oا
:
ل2
Quantas Boarding Pass Air New Zealand Boarding Pass
: Quantasا
(آ : Air New Zealandا
(آ
: Mr. Black1
!
ا/&ا : Mr. White1
!
ا/&ا
: Q 1019"
ا : NZ 1019"
ا
: 12 Dec¸
ری%
ا : 13 Dec¸
ری%
ا
: 24A
24AH
ا : 25A
25AH
ا
: MelbourneB : MelbourneB
: Sydney
إ : Christchurch
إ
: 0600
^ةJ
ب ا7 رآM
& : 1800
^ةJ
ب ا7 رآM
&
: 4'ا7' : 7'ا7'
٣٨
ا٣- 5O
1ا
2ل ا
!
'] :إ
5ر
N
J.أ 1 Hا
^
Jة ،یBZ%
ا*
5ر واﺹ
ت )ﺵ7Hب یÁ9 dه
،ی BCا&
M%ء
7ارز
ت
9ء ،أو ا*ﺵ
رة إ
أ 5أى(:
ا& /ﺵآ ا
H
ا& /ا
($
ر /Nا
" 9وﺕ
ری
_$
ا
H
ی ا
7ﺹ7ل ی اPﻥ[Jق
ر /Nا
7.ا' &
Mا*[Nع
٣٩
ا٤- 5O
أه ا5O
• 1ا
/0ا
.$ة ا
%ﺕ %ا
7Hا ،Mا
2. 1ة 1
M
Nة ا
،1و
9Mا
BM @:.ا
1ا
.رزة،
وها ی ÂJ.ا
.@:.
• '
&
%ل ا :5Oﻥ!$%م
%1ا
7ذ BM VاOاض
وا
P
:ت وﺕ7Cن ا
9M 1ﺵ Cأاض
_
واﺹ
ت
ﻥ:د J'
_Nق .9%$
٤٠
ا٥- 5O
ا*
5ر M7dواﺹ
ت )ﺵ7Hب (slotsﺕBZ%
• ا& /ا*
5ر
• N[Mا*
5ر '
5OاOى )"
&7ب 7:ل B M
ﺹ ا
7:ا& ا
%ه Vء Bﺹ ا
%دی
ت(
• Nا
( : slot Hر أو Mد ..ﺕُ:د أﺙ
ء '
ء ا
0م أو
أﺙ
ء ا&$%ا<
ت
ی
_ZH• ا
/Hا
:default 9%aﺹ /
::ی ِ
• "ود ا
!:') Hا
7ذج ا
ه(
• إVا^
ت :ﺕ " Bی a%ا
( Hأو " Bﻥ
%:ج إ
_
٤١
٦- 5Oا
٤٢
٧- 5Oا
اضO اB M7d
ر ً
أو5* ا2 أن یBCی
:_'
(%
ا
_
أاضM7d :Class-Frame
ر ا5*• ا
Class of computers .
_!اﺹ
ت ﻥ7
ا
ی( إ:Instance-Frame (
ل2
!¸ )ا%
ر ا5*• ا
My_computer .
اB B ¸!%
اص7
ر5 إC
و% إ
أي ﺹ ی/9
ر ی5• آ إ
٤٣
٨- 5Oا
CLASS: Boarding Pass :
ل2
Carrier: [Str]
Name: [Str] INSTANCE:: Air New Zealand Boarding
INSTANCE
Flight: [Str] Pass
Date: [Str]
Seat: [Str] Carrier: Air New Zealand
From: [Str] Name: Mr. White
To: [Str]
Boarding: [Num] Flight: NZ 101
Gate: [Num] Date: 13 Dec
Seat: 25A
25A
From: Melbourne
To: Christchurch
Boarding: 1800
Gate: 7
٤٤
٩- 5Oا
:ف7
اB'
تN[
ا
is-a N[' /MO^ '
اd
ا
اS.• یﺕ
B
ا:
ل2) <'
ﺹ$
ا/H
' ' ا%!¸ أن ی آ%
ر ا5Ä
BC• ی
(JﺕP
_C
ر7J
ﺹ ا
،
ا1 Vذ7
ا/H
' اe% وإن ه%" < ﺹB ًا7ZM ¸!%
اH.• ی
$%
وها ی! ا
ى7%!
اB
أgeneric ةÅ
7 /
ه2 ﺕ9MOی
ت ا7%!
اB 5O• ا
.ةH /
ه2%1 دﻥOا
:اضO اB'
تN[
ا
B _1 H ﻥ9& ا
!
رة ه وis-a, a-kind-of :Generalization /%
• ا
/Mﺹ أ
ا
!
رةB ءV ك:
اpart-of, whole-part :Aggregation d%
• ا
X !
اe9%ف ی7
ا9%$ B'
P
ت دN[M ی:Association S'
• ا
٤٥
..& "ا9 آX !
اe9% وی،&
رة
ا١٠- 5O
ا
:آ 1ا:5O
• ا
7راﺙ :ا*
5ر ا
¸!%یث BM inherentا*
5ر اOب )ا
(،
ﺙ )وراﺙ %دة(_
.ا ا
& Oﺕ< Oﻥ< Pی ' Bا
7$اص
ا
_
وا
7$اص ا
'ة ،آ
أن اﺕ
$ذ ا
Hار ﺹ P
" 1ت
ا
7راﺙ ا
%دة
• ا
Jا^] methodsوا
ری¡ :!demonsا
Jی HإVا^ ﺕﺕS.
'7اﺹ إ
5ر وﺕ " Bا
.9Jی BCأن ﺕ:د Nواﺹ أو ﺕ
" Bﺕ N a%واﺹ .ا
ـ demonیﺕ7' S.اﺹ
.Mرات ا
7HاM
IF-THENوی " Bﺕ a%واﺹ
ت ه cا
.رات .ﺙ ﻥ
M7ن B
ا
Jا^]:
– " Bا
when-needed V
:
٤٦ – " Bا
when-changed a%
Incorrect Inference
(Flying Things (Mammal
<has wings> <warm blooded)
<can fly>)
(Bird (Bat)
<has feathers)
٤٩
Hرﻥ ' Bﻥ /0ا
7Hا Mوﻥ /0ا٢-5O
1ا
/0ا
.$ة ا
%ﺕ %ا5O
٥٠
7Jات '
ء ﻥ
0م .ی 9M %ا5O
ﺕ:ی ا
!
وى
dل ا
0م •
ﺕ:ی ا
7ف وواﺹ
ﺕ_
•
ﺕ:ی ا
$!%ت •
ﺕ /ا
7ا_V •
ﺕی ا
Jا^] وا
ـ B") demonsا
when- V
: •
neededو" Bا
(when changed a%
ﺕی ا
7HاM •
ﺕ7Hی /ا
0م وﺕ<&7 •
٥١
١-
ا
ه
ً & '(& ) ﺏ،scenario أوscript
• ا
# %
.context #, ﺱق/0
اث2ا