Beruflich Dokumente
Kultur Dokumente
ي اﻟﺬكﺎء
اﻟﺨﺒ�ة ) (1484
ي
اﻟﻮﺣﺪة اﻟﺜﺎﻟﺜﺔ :ﺣﺴﺎب
اﻟﻤﻨﻄﻖ
اﻋﺪاد :أ.د .ﻳﻮﺳﻒ اﺑﻮزر Predicate Calculus
ﺟﺎﻣﻌﺔ اﻟﻘﺪس اﻟﻤﻔﺘﻮﺣﺔ
ف
اﻟﺼ��) (1193 ا�
2020 ي اﻟﻔﺼﻞ اﻟﺪر ي
ﺗﺤﻮﯾﻞ اﻟﺠﻤﻞ اﻟﻤﻨﻄﻘﯿﺔ إﻟﻰ اﻟﺼﻮرة اﻟﻨﻈﺎﻣﯿﺔ
• اﻟﺤﻞ
• أوﻻ :اﻟﺘﺨﻠﺺ ﻣﻦ اﻷداة اﻟﻀﻤﻨﯿﺔ ﺑﺎﺳﺘﺨﺪام pq ≡ ¬P ∨ q
])∀X[student(X) ∧ hardworking(X) pass(X
• ﺗﺼﺒﺢ
])∀X[¬(student(X) ∧ hardworking(X)) ∨ pass(X
• ﺛﺎﻧﯿﺎ :ﺗﻘﺮﯾﺐ أداة اﻟﻨﻔﻲ¬
])∀X[¬student(X) ∨ ¬hardworking(X) ∨ pass(X
ﺗﺤﻮﯾﻞ اﻟﺠﻤﻞ اﻟﻤﻨﻄﻘﯿﺔ إﻟﻰ اﻟﺼﻮرة اﻟﻨﻈﺎﻣﯿﺔ
• ﺛﺎﻟﺜﺎ :ﺣﺬف اﻟﻤﺤﺪدات و اﻋﺘﺒﺎرھﺎ ﺿﻤﻨﯿﺎ ﻣﻮﺟﻮدة
])[¬student(X) ∨ hardworking(X) ∨ pass(X
• راﺑﻌﺎ :ﺗﺤﺬف أداة اﻟﺮﺑﻂ إذا ﻛﺎﻧﺖ واﻋﺘﺒﺎرھﺎ ﺿﻤﻨﯿﺎ ﻣﻮﺟﻮدة
])[¬student(X),¬hardworking(X), pass(X
ﺗﺤﻮﯾﻞ اﻟﺠﻤﻞ اﻟﻤﻨﻄﻘﯿﺔ إﻟﻰ اﻟﺼﻮرة اﻟﻨﻈﺎﻣﯿﺔ-2 ﻣﺘﺎل
(∀X)(P(X) => ((∀X)(P(X) => P(f(X,Y))) ^ ~(∀Y)(Q(X,Y) => P(Y))))
1. Eliminate =>
(∀X)(~P(X) ∨ ((∀Y) (~P(Y) ∨ P(f(X,Y))) ^ ~(∀Y)(~Q(X,Y) ∨ P(Y))))
2. Reduce scope of negation ~
(∀X)(~P(X) ∨ ((∀Y)(~P(Y) ∨ P(f(X,Y))) ^ (∃Y)(Q(X,Y) ^ ~P(Y))))
3. Standardize variables
(∀X)(~P(X) ∨ ((∀Y)(~P(Y) ∨ P(f(X,Y))) ^ (∃Z)(Q(X,Z) ^ ~P(Z))))
4. Eliminate existential quantification
(∀X)(~P(X) ∨((∀Y)(~P(Y) ∨ P(f(X,Y))) ^ (Q(X,g(X)) ^ ~P(g(X)))))
5. Drop universal quantification symbols ∀
(~P(X) ∨ ((~P(Y) ∨ P(f(X,Y))) ^ (Q(X,g(X)) ^ ~P(g(X)))))
ﺗﺎﺑﻊ2-ﻣﺜﺎل
(~P(X) ∨ ((~P(Y) ∨ P(f(X,Y))) ^ (Q(X,g(X)) ^ ~P(g(X)))))
6. Convert to conjunction of disjunctions
(~P(X) ∨ ~P(Y) ∨ P(f(X,Y))) ^ (~P(X) ∨ Q(X,g(X))) ^(~P(X) ∨ ~P(g(X)))
7. Create separate clauses
~P(X) ∨ ~P(Y) ∨ P(f(X,Y))
~P(X) ∨ Q(X,g(X))
~P(X) ∨ ~P(g(X))
8. Standardize variables
~P(X) ∨ ~P(Y) ∨ P(f(X,Y)) ~P(X) , ~P(Y) , P(f(X,Y))
~P(Z) ∨ Q(Z,g(Z)) ~P(Z) , Q(Z,g(Z))
~P(W) ∨ ~P(g(W)) ~P(W) , ~P(g(W))
اﺳﺘﺨﺪام ﻗﺎﻋﺪة اﻟﺼﺮف ﻟﻺﺛﺒﺎت ﺑﺎﻟﺘﻨﺎﻗﺾ Resolution Refutation
• ﻛﯿﻔﯿﺔ اﺳﺘﺨﺪام ﻗﺎﻋﺪة اﻟﺼﺮف ﻟﺘﺤﺪﯾﺪ إذا ﻛﺎﻧﺖ ﺟﻤﻠﺔ ﻣﺎ ھﻲ ﻧﺘﯿﺠﺔ ﻣﻨﻄﻘﯿﺔ
ﻣﻦ ﻣﺠﻤﻮﻋﺔ ﻣﻦ اﻟﺠﻤﻞ اﻟﻤﻨﻄﻘﯿﺔ اﻟﻤﻌﻄﺎة أم ﻻ.
• اﻟﻄﺮﯾﻘﺔ اﻟﺘﻲ ﺳﻨﺪرﺳﮭﺎ ھﻨﺎ ھﻲ ﻧﻔﺲ اﻟﻄﺮﯾﻘﺔ اﻟﺘﻲ ﺗﺴﺘﺨﺪﻣﮭﺎ ﻟﻐﺔ اﻟﺒﺮوﻟﻮج
وﺗﺪﻋﻰ طﺮﯾﻘﺔ اﻟﺼﺮف ﺑﺎﻟﺘﻨﺎﻗﺾ . Resolution Refutation
• اﻟﺠﻤﻠﺔ اﻻﺳﺘﻔﺴﺎرﯾﺔ Queryھﻲ اﻟﺠﻤﻠﺔ اﻟﺘﻲ ﻧﺤﺎول إﺛﺒﺎت ﺻﺤﺘﮭﺎ أو
ﺧﻄﺄھﺎ
• ﻗﺎﻋﺪة اﻟﻤﻌﻠﻮﻣﺎت Knowledge Baseھﻲ ﻣﺠﻤﻮﻋﺔ اﻟﺠﻤﻞ اﻟﺘﻲ
ﻧﺴﺘﺨﺪﻣﮭﺎ ﻓﻲ ﻣﺤﺎوﻟﺔ إﺛﺒﺎت اﻟﺠﻤﻠﺔ اﻻﺳﺘﻔﺴﺎرﯾﺔ )ھﻲ ﻣﻜﺎﻓﺌﺔ ﻟﺒﺮﻧﺎﻣﺞ
اﻟﺒﺮوﻟﻮج(.
6
Propositional Logic ﻣﺜﺎل
Given Axioms Clause Form
P P (1)
(P Λ Q) → R ¬P V ¬Q V R (2)
(S V T) → Q ¬S V Q (3)
¬T V Q (4)
T T (5) proof R
Resolution in Propositional Logic ﻣﺜﺎل
Proof R R إﺿﺎﻓﺔ ﻧﻔﻲ
Clause Form
¬P V ¬Q V R ¬R
P (1)
¬P V ¬Q V R (2) ¬P V ¬Q P
1 ﻗﺎﻋدة
¬S V Q (3) ¬T V Q 4 ﻗﺎﻋدة ¬Q
¬T V Q (4)
¬T 5 ﻗﺎﻋدة T
T (5)
ﻣﺜﺎل 2
9
ﻣﺜﺎل 2
10
We used no 1 2 ﻣﺜﺎل
We used no 6
Use unification U/X
substitute X by U.
We used no 7
We used no 5
11
2 ﻣﺜﺎل
We used no 5
We used no 3
We used no 5
12
Translating English to FOL
• Every gardener likes the sun ﻛﻞ ﺑﺴﺘﺎﻧﻲ ﯾﺤﺐ اﻟﺸﻤﺲ.
∀X [gardener(X) => likes(X,sun)]
• All purple mushrooms are poisonous ﺟﻤﯿﻊ أﻧﻮاع اﻟﻔﻄﺮ اﻷرﺟﻮاﻧﻲ ﺳﺎﻣﺔ.
(Ax) (mushroom(x) ^ purple(x)) => poisonous(x)
• No purple mushroom is poisonous ﻻ ﯾﻮﺟﺪ ﻓﻄﺮ أرﺟﻮاﻧﻲ ﺳﺎم.
~(Ex) purple(x) ^ mushroom(x) ^ poisonous(x)
14
ﺗﺎﺑﻊ ﻣﺜﺎل
-2ﻛﻞ طﺎﻟﺐ ﯾﻘﻮم ﺑﻮاﺟﺒﺎﺗﮫ اﻟﺪراﺳﯿﺔ homeworksوﯾﺮاﺟﻊ دروﺳﮫ
reviseھﻮ طﺎﻟﺐ ﻣﺠﺘﮭﺪ hardworking
])∀X[student(X)^homework(X) ^revise(X)→hardworking(X
-3ﻋﻠﻲ طﺎﻟﺐ ﯾﺮاﺟﻊ دروﺳﮫ وﯾﻘﻮم ﺑﻮاﺟﺒﺎﺗﮫ اﻟﺪراﺳﯿﺔ
)student(ali)^revise(ali) ^homework(ali
-4ﻋﻠﻲ ﺗﻘﺪم ﻟﺠﻤﯿﻊ اﻻﻣﺘﺤﺎﻧﺎت
])∀E[exam(E)→attend(ali,E
15
ﻣﻮاﺿﯿﻊ اﻟﻮﺣﺪة اﻟﺜﺎﻟﺜﺔ
• ﺣﺴﺎب اﻟﺨﺒﺮ ﻛﻮﺳﯿﻠﺔ ﻟﺘﻤﺜﯿﻞ اﻟﻤﻌﻠﻮﻣﺎت )أو اﻟﻤﻌﺮﻓﺔ(.
• اﻟﻘﻮاﻋﺪ اﻻﺳﺘﻨﺘﺎﺟﯿﺔ.
• ﻣﻨﻄﻖ اﻟﺪرﺟﺔ اﻷوﻟﻰ ﻟﺘﻤﺜﯿﻞ اﻟﻤﻌﻠﻮﻣﺎت.
• ﺧﻮارزﻣﯿﺔ اﻟﺘﻮﺣﯿﺪ.
• اﻟﺼﻮرة اﻟﻨﻈﺎﻣﯿﺔ ﻟﻠﺠﻤﻞ اﻟﻤﻨﻄﻘﯿﺔ وﻛﯿﻔﯿﺔ ﺗﺤﻮﯾﻞ اﻟﺠﻤﻞ اﻟﻤﻨﻄﻘﯿﺔ إﻟﯿﮭﺎ.
• ﻗﺎﻋﺪة اﻟﺼﺮف ﻟﻺﺛﺒﺎت ﺑﺎﻟﺘﻨﺎﻗﺾ.
اﻻﺻﻄﻨﺎ� واﻷﻧﻈﻤﺔ
ي اﻟﺬكﺎء
اﻟﺨﺒ�ة ) (1484
ي
اﻟﻮﺣﺪة اﻟﺮابﻌﺔ :ﻧﻈﻢ اﻟﻘﻮاﻋﺪ
اﻟﻤﻨﺘﺠﺔ
Production Systems
اﻋﺪاد :أ.د .ﻳﻮﺳﻒ اﺑﻮزر
ﺟﺎﻣﻌﺔ اﻟﻘﺪس اﻟﻤﻔﺘﻮﺣﺔ
ف
اﻟﺼ��) (1193 ا�
2020 ي اﻟﻔﺼﻞ اﻟﺪر ي
اﻻھﺪاف
• ﯾﻨﺘﻈﺮ ﻣﻨﻚ ،ﻋﺰﯾﺰي اﻟﻄﺎﻟﺐ ،ﺑﻌﺪ دراﺳﺔ ھﺬه اﻟﻮﺣﺪة أن ﺗﻜﻮن ﻗﺎدرا ً
ﻋﻠﻰ أن:
ﺗﻌﺮف اﻷﻧﻮاع اﻟﻤﺨﺘﻠﻔﺔ ﻟﻨﻈﻢ ﻗﻮاﻋﺪ اﻹﻧﺘﺎج.ّ •
• ﺗﻌﺮف طﺮق اﻟﺘﺤﻜﻢ.
ﺗﻌﺮف اﻷﻧﻮاع اﻟﻤﺨﺘﻠﻔﺔ ﻟﻠﻤﺴﺎﺋﻞ وﻋﻼﻗﺘﮭﺎ ﻣﻊ اﻷﻧﻮاع اﻟﻤﺨﺘﻠﻔﺔ ﻟﻨﻈﻢ • ّ
ﻗﻮاﻋﺪ اﻹﻧﺘﺎج.
18
ﻧﻈﻢ اﻟﻘﻮاﻋﺪ اﻟﻤﻨﺘﺠﺔ
• ﻧﻈﺎم اﻟﻘﻮاﻋﺪ اﻟﻤﻨﺘﺠﺔ ﺗﺴﺘﺨﺪم :
• ﻓﻲ ﺧﻮارزﻣﯿﺎت اﻟﺒﺤﺚ واﻷﻧﻈﻤﺔ اﻟﺨﺒﯿﺮة
• ﻛﻨﻤﻮذج ﻟﺤﻞ اﻟﻤﺴﺎﺋﻞ.
• ﯾﺘﻜﻮن ﻧﻈﺎم اﻟﻘﻮاﻋﺪ اﻟﻤﻨﺘﺠﺔ ﻣﻤﺎ ﯾﻠﻲ:
.1ﻣﺠﻤﻮﻋﺔ اﻟﻘﻮاﻋﺪ اﻟﻤﻨﺘﺠﺔProduction Rules :
• ﻋﺒﺎرة ﻋﻦ ﺷﻘﯿﻦ )ﺷﺮط – ﻋﻤﻞ( IF.. Then
.2اﻟﺬاﻛﺮة اﻟﻌﺎﻣﻠﺔ Working Memory:
• وﺻﻒ ﺣﺎﻟﺔ اﻟﻤﺴﺄﻟﺔ اﻟﺤﺎﻟﯿﺔ.
.3دورة اﻟﺘﺤﺪﯾﺪ واﻟﻌﻤﻞ Recognize-Act Cycle:
• ﺗﺤﺪﯾﺪ اﻟﻘﻮاﻋﺪ اﻟﻘﺎﺑﻠﺔ ﻟﻠﺘﻄﺒﯿﻖ
19
ﻧﻈﻢ اﻟﻘﻮاﻋﺪ اﻟﻤﻨﺘﺠﺔ
.1ﻣﺠﻤﻮﻋﺔ اﻟﻘﻮاﻋﺪ اﻟﻤﻨﺘﺠﺔ:
ھﻲ ﻣﺠﻤﻮﻋﺔ ﻣﻦ اﻟﻘﻮاﻋﺪ ﻋﻠﻰ ﺷﻜﻞ أزواج ﻛﻞ زوج ﯾﺘﻜﻮن ﻣﻦ ﺷﻘﯿﻦ
ﺷﺮط -ﻋﻤﻞ واﻟﺘﻲ ﺗﺸﻜﻞ ﻓﻲ ﻣﺠﻤﻮﻋﮭﺎ اﻟﻤﻌﻠﻮﻣﺎت ﻟﺤﻞ اﻟﻤﺴﺄﻟﺔ.
• إن اﻟﺠﺰء اﻷول ﻣﻦ اﻟﻘﺎﻋﺪة وھﻮ اﻟﺸﺮط ﻋﺒﺎرة ﻋﻦ ﻧﻤﻂ patternﯾﺤﺪد
ﻣﺘﻰ ﯾﻤﻜﻦ ﺗﻄﺒﯿﻖ اﻟﻘﺎﻋﺪة.
• اﻟﺠﺰء اﻟﺜﺎﻧﻲ ﻓﮭﻮ اﻟﻔﻌﻞ اﻟﺬي ﺗﺤﺪﺛﮫ ھﺬه اﻟﻘﺎﻋﺪة ﻋﻠﻰ ﺣﺎﻟﺔ اﻟﻤﺴﺄﻟﺔ.
.2اﻟﺬاﻛﺮة اﻟﻌﺎﻣﻠﺔ Working Memory:
ﺗﺤﺘﻮي ﻋﻠﻰ وﺻﻒ ﺣﺎﻟﺔ اﻟﻤﺴﺄﻟﺔ اﻟﺤﺎﻟﯿﺔ واﻟﺘﻲ ﺳﯿﺘﻢ ﻣﻄﺎﺑﻘﺘﮫ
matchingﻣﻊ ﺷﺮوط اﻟﻘﻮاﻋﺪ ﻟﺘﺤﺪﯾﺪ ﻣﺠﻤﻮﻋﺔ اﻟﻘﻮاﻋﺪ اﻟﺘﻲ ﺗﻨﻄﺒﻖ
ﻋﻠﻰ ﺣﺎﻟﺔ اﻟﻤﺴﺄﻟﺔ اﻟﺤﺎﻟﯿﺔ ﻟﺘﻄﺒﯿﻖ أﺣﺪھﺎ.
20
ﻧﻈﻢ اﻟﻘﻮاﻋﺪ اﻟﻤﻨﺘﺠﺔ
.3دورة اﻟﺘﺤﺪﯾﺪ واﻟﻌﻤﻞ Recognize-act cycle:
• إن ﺣﺎﻟﺔ اﻟﻤﺴﺄﻟﺔ اﻟﺤﺎﻟﯿﺔ ﺗﺤﺪد اﻟﻘﻮاﻋﺪ اﻟﻘﺎﺑﻠﺔ ﻟﻠﺘﻄﺒﯿﻖ وﯾﺘﻢ ﺗﺤﺪﯾﺪھﺎ ﺑﻤﻄﺎﺑﻘﺔ
ﺷﺮوط اﻟﻘﻮاﻋﺪ اﻟﻤﺘﻮﻓﺮة ﻣﻊ ﻋﻨﺎﺻﺮ اﻟﺬاﻛﺮة اﻟﻌﺎﻣﻠﺔ.
• ﻣﺠﻤﻮﻋﺔ اﻟﺘﻌﺎرض – conflict setﻣﺠﻤﻮﻋﮫ اﻟﻘﻮاﻋﺪ اﻟﻘﺎﺑﻠﺔ ﻟﻠﺘﻄﺒﯿﻖ.
• ﻧﻈﺎم اﻟﺘﺤﻜﻢ -اﺧﺘﯿﺎر واﺣﺪة ﻣﻦ اﻟﻘﻮاﻋﺪ ﻟﺘﻄﺒﯿﻘﮭﺎ أي ﻟﺘﻨﻔﯿﺬ اﻟﻔﻌﻞ اﻟﺨﺎص ﺑﮭﺎ.
• ﺗﺘﻜﻮن ﻣﻦ 4ﺧﻄﻮات :
• Match
• Conflict Resolution
• Execute
• Repeat
21
اﻟﺑﯾﺎﻧﺎت اﻟﻣرﺻودةobserved data
working
memory
select modify
rule
memory interpreter
fire output
22
A production system
Trace of a simple production system
ﺗﺎﺑﻊ ﻧﻈﻢ اﻟﻘﻮاﻋﺪ اﻟﻤﻨﺘﺠﺔ
• ﻧﺴﺘﻄﯿﻊ ﺗﻠﺨﯿﺺ ﺧﻄﻮات ﻋﻤﻞ اﻟﻨﻈﺎم ﺑﺎﻟﺪورة اﻟﺴﺎﺑﻖ ذﻛﺮھﺎ ﻛﻤﺎ ﯾﻠﻲ:
.1ﺗﺤﺪﯾﺪ اﻟﻘﻮاﻋﺪ اﻟﻘﺎﺑﻠﺔ ﻟﻠﺘﻄﺒﯿﻖ ﻋﻠﻰ ﺣﺎﻟﺔ اﻟﻤﺴﺄﻟﺔ اﻟﺤﺎﻟﯿﺔ وﺗﺴﻤﻰ ھﺬه اﻟﻌﻤﻠﯿﺔ
ﺑﺎﻟﻤﻄﺎﺑﻘﺔ Matchingوﺗﺴﻤﻰ ﻣﺠﻤﻮﻋﺔ اﻟﻘﻮاﻋﺪ ھﺬه ﺑﻤﺠﻤﻮﻋﺔ اﻟﺘﻌﺎرض.
.2اﺧﺘﯿﺎر أﻓﻀﻞ اﻟﻘﻮاﻋﺪ ﻣﻦ ﻣﺠﻤﻮﻋﺔ اﻟﺘﻌﺎرض آﻧﻔﺔ اﻟﺬﻛﺮ ،وﺗﺤﺪد أﻓﻀﻞ
ﻗﺎﻋﺪة ﺑﻄﺮق ﻣﺨﺘﻠﻔﺔ ﺗﺴﻤﻰ طﺮق ﺣﻞ اﻟﺘﻌﺎرض.
• .3ﺗﻄﺒﯿﻖ ھﺬه اﻟﻘﺎﻋﺪة اﻟﻤﺨﺘﺎرة وإﻧﺘﺎج ﺣﺎﻟﺔ ﻣﺴﺄﻟﺔ ﺟﺪﯾﺪة أي ﺗﻨﻔﯿﺬ اﻟﻔﻌﻞ
اﻟﺨﺎص ﺑﺘﻠﻚ اﻟﻘﺎﻋﺪة اﻟﺬي ﻏﺎﻟﺒﺎ ً ﻣﺎ ﺗﻜﻮن إﻣﺎ إﺿﺎﻓﺔ ﻋﻨﺼﺮ أو ﺷﻄﺐ أو
ﺗﻌﺪﯾﻞ ﻋﻨﺼﺮ ﻗﺪﯾﻢ.
25
طﺮق اﻟﺘﺤﻜﻢ
• ﺗﻌﺘﺒﺮ أﻧﻈﻤﺔ اﻹﻧﺘﺎج
• ﺑﺴﯿﻄﺔ ﺟﺪا ً
• ﻓﻌﺎﻟﺔ ﺟﺪا ً ﻓﻲ ﺣﻞ ﻣﺨﺘﻠﻒ اﻟﻤﺴﺎﺋﻞ
• ﺗﻜﻠﻒ اﻟﻜﺜﯿﺮ ﻣﻦ وﻗﺖ اﻟﺤﺎﺳﻮب وذاﻛﺮﺗﮫ.
• ﻟﺬا ﻓﻘﺪ ﺑﺮزت اﻟﺤﺎﺟﺔ إﻟﻰ طﺮق ﻟﻠﺘﺤﻜﻢ ﻓﻲ أﻧﻈﻤﺔ اﻹﻧﺘﺎج وذﻟﻚ ﻛﻲ
ﺗﺠﻌﻠﮭﺎ ﺗﻘﺘﺮب ﻣﻦ اﻟﺤﻞ ﻓﻲ ﻛﻞ ﻣﺮة ﺗﻄﺒﻖ ﻓﯿﮭﺎ ﻗﺎﻋﺪة ﺑﺴﺮﻋﺔ ودون
اﻟﻜﺜﯿﺮ ﻣﻦ اﻟﻌﻤﻞ.
• ھﻨﺎﻟﻚ اﻟﻌﺪﯾﺪ ﻣﻦ طﺮق اﻟﺘﺤﻜﻢ.
26
طﺮق ﺣﻞ اﻟﺘﻌﺎرض
• ﻛﯿﻔﯿﺔ ﺣﻞ اﻟﺘﻌﺎرض واﺧﺘﯿﺎر إﺣﺪى اﻟﻘﻮاﻋﺪ ﻟﻠﺘﻨﻔﯿﺬ ؟
• ﺑﺎﺳﺘﺨﺪام طﺮق ﺣﻞ اﻟﺘﻌﺎرض :
.1اﻟﺤﯿﻮد Refraction
.2اﻟﺤﺪاﺛﺔ Recency
.3اﻟﺨﺼﻮﺻﯿﺔ Specificity
27
ﺗﺎﺑﻊ طﺮق اﻟﺘﻌﺎرض ...
اﻟﺤﯿﻮد Refraction •
• ﻻ ﯾﻔﻀﻞ ﺗﻨﻔﯿﺬ ﻧﻔﺲ اﻟﻘﺎﻋﺪة ﻣﺮة أﺧﺮى إﻻ ﺑﻌﺪ أن ﺗﺘﻐﯿﺮ ﺣﺎﻟﺔ اﻟﻤﺴﺄﻟﺔ ﻓﻲ اﻟﺬاﻛﺮة
اﻟﻌﺎﻣﻠﺔ.
• اﻟﮭﺪف ﺗﻘﻠﯿﻞ ﺧﻄﺮ اﻟﺪوران اﻟﻼﻧﮭﺎﺋﻲ.
• اﻟﺤﺪاﺛﺔ Recency
• ﺗﻄﺒﯿﻖ اﻟﻘﺎﻋﺪة اﻟﺘﻲ أﺻﺒﺤﺖ ﻗﺎﺑﻠﺔ ﻟﻠﺘﻄﺒﯿﻖ ﻧﺘﯿﺠﺔ ﻹﺿﺎﻓﺔ ﻋﻨﺼﺮا ً ﺟﺪﯾﺪا ً ﻟﻠﺬاﻛﺮة
اﻟﻌﺎﻣﻠﺔ.
• ﺗُﻔﻀﻞ ﻋﻠﻰ اﻟﻘﻮاﻋﺪ اﻟﺘﻲ ﺗﻌﺘﻤﺪ ﻋﻠﻰ ﺑﯿﺎﻧﺎت ﻗﺪﯾﻤﺔ ﻓﻲ اﻟﺬاﻛﺮة اﻟﻌﺎﻣﻠﺔ.
• اﻟﮭﺪف ﺗﺮﻛﯿﺰ اﻟﺤﻞ ﻓﻲ اﺗﺠﺎه واﺣﺪ وذﻟﻚ ﻷﻧﮭﺎ ﺗُﻔﻀﻞ ﻣﺘﺎﺑﻌﺔ ﻧﺘﺎﺋﺞ اﻟﺨﻄﻮات
اﻟﺴﺎﺑﻘﺔ.
28
ﺗﺎﺑﻊ طﺮق اﻟﺘﻌﺎرض ...
• اﻟﺨﺼﻮﺻﯿﺔ Specificity
• ﺗﻄﺒﯿﻖ اﻟﻘﺎﻋﺪة اﻷﻛﺜﺮ ﺧﺼﻮﺻﯿﺔ ﻋﻠﻰ اﻟﻘﻮاﻋﺪ اﻟﻌﺎﻣﺔ.
• اﻟﮭﺪف :ﺗﻘﻠﻞ ﻣﻦ اﻟﺪوران اﻟﻼﻧﮭﺎﺋﻲ.
• اﻟﻄﺮق اﻷﺧﺮى ﻟﺤﻞ اﻟﺘﻌﺎرض ﻣﻨﮭﺎ:
.1ﺗﺮﺗﯿﺐ اﻟﻘﻮاﻋﺪ ﺣﺴﺐ أوﻟﻮﯾﺎت ﻣﻌﯿﻨﺔ.
.2إﻋﻄﺎء اﻟﻘﻮاﻋﺪ أوﻟﻮﯾﺔ ﺣﺴﺐ اﻟﻔﻌﻞ اﻟﺬي ﺗﻘﻮم ﺑﮫ.
• ﻏﺎﻟﺒﺎ ً ﻣﺎ ﺗﺴﺘﺨﺪم ھﺬه اﻟﻄﺮق ﻣﻌﺎ ً
• اﺧﺘﯿﺎر اﻷﻓﻀﻞ ﻣﻦ ھﺬه اﻟﻘﻮاﻋﺪ
• ﻓﻲ ﺣﺎﻟﺔ أوﻟﻮﯾﺔ اﻟﺘﻄﺒﯿﻖ ﯾﺘﻢ اﺧﺘﯿﺎر إﺣﺪى ھﺬه اﻟﻘﻮاﻋﺪ ﻋﺸﻮاﺋﯿﺎ ً.
29
ﻗﯿﺎدة اﻟﺒﯿﺎﻧﺎت وﻗﯿﺎدة اﻟﮭﺪف
• ﻣﺎ اﻷﻣﻮر اﻟﮭﺎﻣﺔ اﻟﺘﻲ ﺗﺆﺛﺮ ﻋﻠﻰ ﻛﻔﺎءة ﻧﻈﻢ اﻹﻧﺘﺎج
• اﻟﺴﺮﻋﺔ
• اﻟﻮﻗﺖ اﻟﻼزم ﻟﻠﻮﺻﻮل إﻟﻰ اﻟﺤﻞ
• ﻛﻤﯿﺔ اﻟﺬاﻛﺮة اﻟﻤﺴﺘﺨﺪﻣﺔ ﻓﻲ ﻛﯿﻔﯿﺔ اﺳﺘﺨﺪام اﻟﻘﻮاﻋﺪ اﻹﻧﺘﺎﺟﯿﺔ.
• ﻛﯾﻔﯾﺔ اﺳﺗﺧدام اﻟﻘواﻋد اﻹﻧﺗﺎﺟﯾﺔ.
31
ﺗﺎﺑﻊ ﻗﻮاﻋﺪ اﻹﻧﺘﺎج -ﻣﺜﺎل
اﻟﻘواﻋد اﻹﻧﺗﺎﺟﯾﺔ
اﻟﻣﺳﺗﺧدﻣﺔ
1. Start v^r^q
2. v s
3. r^s p
4. p^q goal
ﺣﺎﻟﺔ اﻟذاﻛرة اﻟﻌﺎﻣﻠﺔ
ﺑﻌد ﺗطﺑﯾﻖ ﻛل ﻗﺎﻋدة
ﻣﺟﻣوﻋﺔ اﻟﺗﻌﺎرض واﻟﻘﺎﻋدة ﺣﺗﻰ اﻟوﺻول إﻟﻰ
اﻟﻣﺧﺗﺎرة ﻟﻠﺗطﺑﯾﻖ ﻓﻲ ﻛل ﺧطوة اﻟﮭدف
32
ﻗﯿﺎدة اﻟﺒﯿﺎﻧﺎت
ﯾﺒﯿﻦ اﻟﻤﺜﺎل :
• اﻟﻘﻮاﻋﺪ اﻹﻧﺘﺎﺟﯿﺔ اﻟﻤﺴﺘﺨﺪﻣﺔ وﺣﺎﻟﺔ اﻟﺬاﻛﺮة
اﻟﻌﺎﻣﻠﺔ ﺑﻌﺪ ﺗﻄﺒﯿﻖ ﻛﻞ ﻗﺎﻋﺪة ﺣﺘﻰ اﻟﻮﺻﻮل
إﻟﻰ اﻟﮭﺪف
• ﻣﺠﻤﻮﻋﺔ اﻟﺘﻌﺎرض واﻟﻘﺎﻋﺪة اﻟﻤﺨﺘﺎرة ﻟﻠﺘﻄﺒﯿﻖ
1. Start v^r^q ﻓﻲ ﻛﻞ ﺧﻄﻮة.
2. v s
3. r^s p
4. p^q goal
33
ﻗﯿﺎدة اﻟﺒﯿﺎﻧﺎت
ﻣﺟﻣوﻋﺔ اﻟﻘﺎﻋدة
اﻟﺧطوات اﻟذاﻛرةاﻟﻌﺎﻣﻠﺔ
اﻟﺗﻌﺎرض اﻟﻣﺧﺗﺎرة
1 اﻟﺑداﯾﺔ 1 1
2 اﻟﺑداﯾﺔq،r،v، 1،2 2
3 اﻟﺑداﯾﺔs،q،r،v، 1،2،3 3
4 اﻟﺑداﯾﺔp،s،q،r،v، 1،2،3،4 4
34
ﻗﯿﺎدة اﻟﺒﯿﺎﻧﺎت
• ﻣﺎ ھﻲ اﻟﻌﻼﻗﺔ ﺑﯿﻦ ﻋﻤﻠﯿﺔ ﺗﻨﻔﯿﺬ ﻣﺠﻤﻮﻋﺔ وﻋﻤﻠﯿﺔ ﺑﺤﺚ ﻓﻲ ﻓﻀﺎء؟
• إن ﻋﻤﻠﯿﺔ ﺗﻨﻔﯿﺬ ﻣﺠﻤﻮﻋﺔ ﻣﻦ اﻟﻘﻮاﻋﺪ ھﻲ ﻋﻤﻠﯿﺔ ﺑﺤﺚ ﻓﻲ ﻓﻀﺎء.
• ﺣﺎﻟﺔ اﻟﺬاﻛﺮة اﻟﻌﺎﻣﻠﺔ ﻋﻨﺪ اﻟﺒﺪء ﺗﺸﻜﻞ اﻟﺤﺎﻟﺔ اﻟﺒﺪاﺋﯿﺔ.
• ﺣﺎﻟﺔ اﻟﺬاﻛﺮة اﻟﻌﺎﻣﻠﺔ ﻋﻨﺪ اﻟﺘﻮﻗﻒ ﺗﺸﻜﻞ اﻟﺤﺎﻟﺔ اﻟﮭﺪﻓﯿﺔ
• اﻟﻘﻮاﻋﺪ ﻧﻔﺴﮭﺎ ﻓﺘﺸﻜﻞ اﻟﻌﻤﻠﯿﺎت أو اﻹﺟﺮاءات اﻟﺘﻲ ﺗﻨﻘﻠﻨﺎ ﻣﻦ ﺣﺎﻟﺔ إﻟﻰ أﺧﺮى.
• ﻋﻠﻰ ﺳﺒﯿﻞ اﻟﻤﺜﺎل ﯾﻤﺜﻞ اﻟﺸﻜﻞ اﻟﺘﺎﻟﻲ ﺑﯿﺎن graphﻓﻀﺎء اﻟﺒﺤﺚ
اﻟﺨﺎص ﺑﺎﻟﻤﺴﺄﻟﺔ اﻟﻤﻨﻄﻘﯿﺔ اﻟﺴﺎﺑﻘﺔ.
35
ﻗﯿﺎدة اﻟﮭﺪف اﻟﺘﺴﻠﺴﻞ اﻟﺮﺟﻌﻲ
• اﻟﻄﺮﯾﻘﺔ اﻷﺧﺮى -اﻟﺘﺴﻠﺴﻞ اﻟﺮﺟﻌﻲ
• ان ﻋﻤﻠﯿﺔ اﻟﺒﺤﺚ ﺗﺘﻢ ﻣﻦ اﻟﮭﺪف وﺻﻮﻻً إﻟﻰ اﻟﺤﺎﻟﺔ اﻻﺑﺘﺪاﺋﯿﺔ.
• ﺗﺘﻢ ﻋﻤﻠﯿﺔ اﻟﻤﻄﺎﺑﻘﺔ ﻣﻊ اﻟﻄﺮف اﻷﯾﻤﻦ )اﻟﻔﻌﻞ( ﻟﻘﻮاﻋﺪ اﻹﻧﺘﺎج ﻟﺘﻌﻄﻰ
اﻟﻄﺮف اﻷﯾﺴﺮ )اﻟﺸﺮط( ﻛﮭﺪف ﺟﺪﯾﺪ
• ﻋﻜﺲ اﻟﻄﺮﯾﻘﺔ اﻷوﻟﻰ ﻗﯿﺎدة اﻟﺒﯿﺎﻧﺎت
36
ﻣﺜﺎل
اﻟﻘﻮاﻋﺪ اﻹﻧﺘﺎﺟﯿﺔ
اﻟﻤﺴﺘﺨﺪﻣﺔ
1. Start v^r^q
2. v s
3. r^s p
4. p^q goal
5. w^r p
6. t^u q
37
ﺗﺎﺑﻊ ﻗﻮاﻋﺪ اﻹﻧﺘﺎج
اﻟﻘﺎﻋدة
اﻟﺧطوات اﻟذاﻛرةاﻟﻌﺎﻣﻠﺔ ﻣﺟﻣوﻋﺔ اﻟﺗﻌﺎرض
اﻟﻣﺧﺗﺎرة
39
ﻣﻘﺎرﻧﺔ ﺑﯿﻦ اﻟﺘﺴﻠﺴﻞ اﻷﻣﺎﻣﻲ واﻟﺘﺴﻠﺴﻞ اﻟﺮﺟﻌﻲ
Forward Backward طﺑﯾﻌﺔ
ﺗوﻓر ﻣﻌظم اﻟﺑﯾﺎﻧﺎت اﻟﮭدف ﺳﮭل اﻟﺗﺣﻘﯾﻖ -اﻟﺑراھﯾن اﻟﻣﺳﺄﻟﺔ
ﺗﺣدد
وﺟود أھداف ﻛﺛﯾرة وﻗواﻋد وﺟود ﻋدد ﻛﺑﯾر ﻣن اﻟﻘواﻋد اﻟﻘﺎﺑﻠﺔ ﻟﻠﺗطﺑﯾﻖ. اﻟطرﯾﻘﺔ
ﻗﻠﯾﻠﺔ. اﻷﻓﺿل
ﺻﻌوﺑﺔ ﺗﺣدﯾد اﻟﮭدف )اﻟﺗﻧﺑؤ( ﻋدم وﺟود ﻣﻌﻠوﻣﺎت ﻛﺎﻓﯾﺔ ﺗﺻف ﺣﺎﻟﺔ اﻟﺑداﯾﺔ وﻟﻛﻧﮭﺎ ﺳﺗﺣدد
ﻋﻧد اﻟﺗﻧﻔﯾذ.
Forward Backward
ﺗوﻓر ﻣﻌظم اﻟﺑﯾﺎﻧﺎت ﻏﯾر ﻛﺎﻓﯾﺔ ﺗوﻓر اﻟﺑﯾﺎﻧﺎت
ﻗﻠﯾل ﻛﺑﯾر ﻋدد اﻟﻘواﻋد اﻟﻘﺎﺑﻠﺔ ﻟﻠﺗطﺑﯾﻖ
ﺻﻌوﺑﺔ ﺗﺣدﯾد اﻟﮭدف )اﻟﺗﻧﺑوء( ﺳﮭل اﻟﺗﺣدﯾد اﻷھداف
40
ﻣﻤﯿﺰات ﻧﻈﻢ اﻻﻧﺘﺎج
• اﻻﺳﺘﻘﻼﻟﯿﺔ
• ﻣﻦ اھﻢ ﻣﻈﺎھﺮ اﻹﻧﺘﺎج ھﻮ ﻋﺪم اﻟﺘﺪاﺧﻞ ﻓﻲ ﺗﺮﻛﯿﺐ اﻟﻘﻮاﻋﺪ.
• اﻟﻤﺘﻐﯿﺮات اﻟﻤﺴﺘﺨﺪﻣﺔ ﻓﻲ أي ﻗﺎﻋﺪة ﻣﺨﺼﺼﺔ ﻓﻘﻂ ﻟﮭﺬه اﻟﻘﺎﻋﺪة وﺗﻜﻮن ﻣﺤﻠﯿﺔ
ﺑﺎﻟﻨﺴﺒﺔ ﻟﮭﺎ.
• اﻟﻔﺼﻞ ﺑﯿﻦ اﻟﻤﻌﻠﻮﻣﺎت وطﺮق اﻟﺘﺤﻜﻢ.
• اﺳﻠﻮب ﺟﯿﺪ ﻟﺘﻤﺜﯿﻞ اﻟﻤﻌﻠﻮﻣﺎت اﻻﺟﺘﮭﺎدﯾﺔ.
• اﻟﻌﻼﻗﺔ وطﯿﺪة ﺑﯿﻦ ﻧﻈﻢ اﻻﻧﺘﺎج وﻧﻈﻢ اﻟﺒﺤﺚ ﻓﻲ اﻟﻔﻀﺎء.
• ﺳﮭﻮﻟﺔ ﺗﺘﺒﻊ ﺧﻄﻮات اﻟﺤﻞ وﺗﻘﺪﯾﻢ اﻟﺘﻔﺴﯿﺮات.
• اﻟﺘﺤﻜﻢ اﻟﻨﻤﻄﻲ.
41
ﻗﻮاﻋﺪ اﻹﻧﺘﺎج اﻹﺑﺪاﻟﯿﺔ
• ﻗﻮاﻋﺪ اﻹﻧﺘﺎج اﻹﺑﺪاﻟﯿﺔ
• ھﻨﺎك ﺑﻌﺾ اﻟﻤﺴﺎﺋﻞ اﻷﻓﻀﻞ ﺣﻠﮭﺎ ﺑﻨﻮع ﺧﺎص ﻣﻦ أﻧﻮاع ﻗﻮاﻋﺪ اﻹﻧﺘﺎج وھﺬا
ﺳﯿﺰﯾﺪ ﻣﻦ ﻛﻔﺎءة ﻋﻤﻠﯿﺔ اﻟﺒﺤﺚ.
• ﻟﺘﻮﺿﯿﺢ ذﻟﻚ ،ﻧﻈﺎم ﻗﻮاﻋﺪ اﻹﻧﺘﺎج اﻹﺑﺪاﻟﯿﺔ واﻟﺬي ﻟﮫ اﻟﺨﺼﺎﺋﺺ اﻵﺗﯿﺔ:
.1ﻣﻀﻄﺮد أي رﺗﯿﺐ أو ﻋﻠﻰ وﺗﯿﺮة واﺣﺪة Monotonic
ﻣﺠﻤﻮﻋﺔ اﻟﻘﻮاﻋﺪ اﻟﺘﻲ ﺗﻨﻄﺒﻖ ﻋﻠﻰ ﺣﺎﻟﺔ اﻟﻤﺴﺄﻟﺔ س ﻓﺈﻧﮭﺎ أﯾﻀﺎ ً ﺗﻨﻄﺒﻖ ﻋﻠﻰ
اﻟﺤﺎﻟﺔ اﻟﺠﺪﯾﺪة ص -ﺑﻤﻌﻨﻲ اﻟﺬي ﯾﻨﻄﺒﻖ ﻋﻠﻰ س ﯾﻨﻄﺒﻖ ﻋﻠﻰ اﻟﻘﺎﻋﺪة
اﻟﺠﺪﯾﺪة ص.
.2إﺑﺪاﻟﻲ ﺟﺰﺋﻲ Partial Commutative
إن ﺣﺎﻟﺔ اﻟﻤﺴﺄﻟﺔ ع ﻣﺜﻼً اﻟﻨﺎﺗﺠﺔ ﻋﻦ ﺗﻄﺒﯿﻖ ﺳﻠﺴﻠﺔ ﻣﻦ اﻟﻘﻮاﻋﺪ ﻋﻠﻰ اﻟﺤﺎﻟﺔ
س ﻣﺜﻼً ﻻ ﺗﻐﯿﺮ اﻟﻨﺘﯿﺠﺔ إذا طﺒﻘﺖ ھﺬه اﻟﺴﻠﺴﻠﺔ ﺑﺘﺮﺗﯿﺒﺎت ﻣﺨﺘﻠﻔﺔ .ﺗﺮﺗﯿﺐ
ﺳﻠﺴﻠﺔ اﻟﻘﻮاﻋﺪ ﻻ ﯾﻐﯿﺮ ﻣﻦ اﻟﻨﺘﯿﺠﺔ.
42
ﻗﻮاﻋﺪ اﻹﻧﺘﺎج اﻹﺑﺪاﻟﯿﺔ
• ھﻨﺎك أرﺑﻌﺔ اﺣﺘﻤﺎﻻت ﺗﻨﺘﺞ ﻋﻦ وﺟﻮد وﻋﺪم وﺟﻮد اﻟﺨﺎﺻﯿﺘﯿﻦ اﻟﺴﺎﺑﻘﺘﯿﻦ ﻟﻸﻧﻈﻤﺔ
اﻹﺑﺪاﻟﯿﺔ أﻻ وھﻤﺎ
• اﻻﺿﻄﺮاد او اﻟﺮﺗﯿﺐ -اﻟﺬي ﯾﻨﻄﺒﻖ ﻋﻠﻰ س ﯾﻨﻄﺒﻖ ﻋﻠﻰ اﻟﻘﺎﻋﺪة اﻟﺠﺪﯾﺪة ص
• اﻹﺑﺪاﻟﯿﺔ اﻟﺠﺰﺋﯿﺔ -ﺗﺮﺗﯿﺐ ﺳﻠﺴﻠﺔ اﻟﻘﻮاﻋﺪ ﻻ ﯾﻐﯿﺮ ﻣﻦ اﻟﻨﺘﯿﺠﺔ.
47
اﻟﻣﺳﺄﻟﺔ اﻷوﻟﻰ ﺗﻛون ﺣﺎﻟﺗﮭﺎ اﻻﺑﺗداﺋﯾﺔ اﻟﺣرف C
واﻟﺛﺎﻧﯾﺔ Bواﻟﺛﺎﻟﺛﺔ Zﻋﻠﻰ اﻟﺗواﻟﻲ
49
اﺳﺘﺮاﺗﯿﺠﯿﺔ اﻟﺒﺤﺚ ﺑﺎﻟﺒﯿﺎن
• ﯾﻤﻜﻦ ﺗﺮﺗﯿﺐ ﻋﻨﺎﺻﺮ اﻟﻘﺎﺋﻤﺔ ﻓﻲ أﺛﻨﺎء ﻋﻤﻠﯿﺔ إﻧﺘﺎج ﻛﻞ ﻋﻨﺼﺮ
ﺑﻄﺮﯾﻘﺘﯿﻦ:
• اﻟﻄﺮﯾﻘﺔ اﻟﺜﺎﺑﺘﺔ -ﺳﯿﺘﻢ إﺗﺒﺎع أﺣﺪ ﻓﺮوع اﻟﺒﺤﺚ ﺣﺘﻰ اﻟﻨﮭﺎﯾﺔ ﻣﻊ
اﻷﺧﺬ ﻓﻲ اﻻﻋﺘﺒﺎر أﻧﮫ ﻗﺪ ﯾﻨﺤﻞ ﻓﻲ اﻟﻄﺮﯾﻖ وھﻨﺎ ﺳﻨﺴﺘﺨﺪم
اﺳﺘﺮاﺗﯿﺠﯿﺔ اﻟﺮﺟﻮع ﻟﻠﺨﻠﻒ.
• اﻟﻄﺮﯾﻘﺔ اﻟﺪﯾﻨﺎﻣﯿﻜﯿﺔً -اﺳﺘﺮاﺗﯿﺠﯿﺔ اﻟﺒﺤﺚ ﺑﺒﯿﺎن ال . And/Or
اﻟﻄﺮﯾﻘﺔ اﻟﺪﯾﻨﺎﻣﯿﻜﯿﺔ وھﻲ اﺳﺘﺮاﺗﯿﺠﯿﺔ اﻟﺒﺤﺚ ﺑﺒﯿﺎن اﻟـ And/Or
• اﻟﺒﯿﺎن And/Orﯾﺘﻜﻮن ﻣﻦ ﻧﻘﺎط.
• اﻟﻨﻘﺎط إذا ﻛﺎﻧﺖ ﻣﺮﻛﺒﺔ وﺗﻢ ﺗﺤﻠﯿﻠﮭﺎ إﻟﻰ ﻣﺮﻛﺒﺎﺗﮭﺎ وإﻧﺘﺎج ھﺬه
اﻟﻤﺮﻛﺒﺎت ﻋﻠﻰ ھﯿﺌﺔ ﻧﻘﺎط ﻓﻲ اﻟﺒﯿﺎن ﻓﺈن ھﺬه اﻟﻨﻘﺎط ﺗﺴﻤﻰ
ﻧﻘﺎط Andوﯾﺘﻢ رﺑﻂ اﻟﻤﺘﺠﮭﺎت اﻟﻤﻮﺻﻠﺔ ﺑﯿﻨﮭﺎ ﺑﻘﻮس داﺋﺮي.
52
طﺮﯾﻘﺔ اﻟﺘﺠﺰﺋﺔ
53
اﻟﺮﺳﻢ ﺑﺎﺳﺘﺨﺪام ﺑﯿﺎن ال AND/OR
54
اﻟﺮﺳﻢ ﺑﺎﺳﺘﺨﺪام ﺑﯿﺎن ال AND/OR
55
And/or graph
a
b
c
aΛbd
aΛce
b Λ d f
f g
aΛeh
56
اﻟﺒﺤﺚ ﻓﻲ اﺷﺠﺎر اﻷﻟﻌﺎب -ﻟﻌﺒﺔ ﺟﺮاﻧﺪي
57
اﻟﺒﺤﺚ ﻓﻲ اﺷﺠﺎر اﻷﻟﻌﺎب -ﻟﻌﺒﺔ ﺟﺮاﻧﺪي
• ﺳﻨﻌﺮض ﺧﻮارزﻣﯿﺔ ﺑﺴﯿﻄﺔ وذﻛﯿﺔ ﻓﻲ آن واﺣﺪ ﺗﻤﻜﻦ اﻟﺤﺎﺳﻮب ﻣﻦ ﻟﻌﺐ ﺑﻌﺾ
اﻷﻟﻌﺎب اﻟﺘﻲ ﺗﺘﻄﻠﺐ ﻟﻌﺒﺘﮭﺎ ﻻﻋﺒﺎن ﺑﻤﮭﺎرة ﻓﺎﺋﻘﺔ.
• ﻣﻦ ھﺬه اﻷﻟﻌﺎب اﻟﺸﻄﺮﻧﺞ واﻟﻀﺎﻣﺔ وﺗﻚ-ﺗﺎك-ﺗﻮ Tick-tack-toوﻧﻢ . nim
• ھﺬه اﻟﺨﻮارزﻣﯿﺔ ﺗﺼﻠﺢ ﻟﻸﻟﻌﺎب اﻟﺘﻲ ﺗﻜﻮن ﺑﮭﺎ اﻟﻤﻌﻠﻮﻣﺎت اﻟﻤﺘﻮﻓﺮة ﺑﺸﻜﻞ
ﻣﺘﺴﺎوي ﻟﻜﻼ اﻟﻼﻋﺒﯿﻦ وھﺬا ﺷﺮط ﻏﯿﺮ ﻣﺘﻮﻓﺮ ﻓﻲ ﻣﻌﻈﻢ اﻷﻟﻌﺎب اﻟﺘﻲ ﺗﺴﺘﺨﺪم
ﻓﯿﮭﺎ أوراق اﻟﻠﻌﺐ )اﻟﺸﺪة(.
• ﻓﻤﺜﻼً ﻓﻔﻲ اﻟﻠﻌﺒﺔ اﻟﻤﺴﻤﺎة ﺟﺮاﻧﺪي ﻓﺈن ھﻨﺎك ﻛﻮﻣﺔ ﻣﻦ أﻋﻮاد اﻟﺜﻘﺎب وھﻨﺎك
ﻻﻋﺒﺎن .ﻋﻠﻰ اﻟﻼﻋﺐ اﻷول أن ﯾﻘﺴﻢ ھﺬه اﻟﻜﻮﻣﺔ إﻟﻰ ﻛﻮﻣﺘﯿﻦ ﻏﯿﺮ ﻣﺘﺴﺎوﯾﺘﯿﻦ ﺛﻢ
ﯾﺄﺗﻲ دور اﻟﻼﻋﺐ اﻟﺜﺎﻧﻲ وﻋﻠﯿﮫ أﯾﻀﺎ ً أن ﯾﻘﺴﻢ ھﺬه اﻟﻜﻮﻣﺔ إﻟﻰ ﻛﻮﻣﺘﯿﻦ ﻏﯿﺮ
ﻣﺘﺴﺎوﯾﺘﯿﻦ ﺛﻢ اﻟﻼﻋﺐ اﻷول ﯾﻘﺴﻢ إﺣﺪى اﻟﻜﻮﻣﺘﯿﻦ إﻟﻰ ﻛﻮﻣﺘﯿﻦ ﻏﯿﺮ ﻣﺘﺴﺎوﯾﺘﯿﻦ
وھﻜﺬا ﯾﺘﺒﺎدل اﻟﻼﻋﺒﺎن دورھﻤﺎ .وﻋﻨﺪﻣﺎ ﯾﺄﺗﻲ دور أﺣﺪھﻤﺎ وﻻ ﯾﺴﺘﻄﯿﻊ أن ﯾﻘﺴﻢ
إﺣﺪى اﻟﻜﻮﻣﺘﯿﻦ إﻟﻰ ﻛﻮﻣﺘﯿﻦ ﻏﯿﺮ ﻣﺘﺴﺎوﯾﺘﯿﻦ ﻟﻌﺪم وﺟﻮد ذﻟﻚ ﻓﺈﻧﮫ ﺳﯿﻜﻮن
ﻣﻐﻠﻮﺑﺎ ً.
58
ﻟﻌﺒﺔ ﺟﺮاﻧﺪي
59
60
ﺗﺎﺑﻊ ﺧﻮارزﻣﯿﺔ Minmax
• ﻧﻘﻮم ﺑﺒﻨﺎء ﺟﻤﯿﻊ اﻟﺸﺠﺮة.
• ﻧﺤﺴﺐ ﻗﯿﻢ اطﺮاف اﻟﺸﺠﺮة ﺑﻨﺎءا ﻋﻠﻰ داﻟﺔ ﯾﺘﻢ ﺗﺤﺪﯾﺪھﺎ ﻣﺴﺒﻘﺎ.
• ﻧﺼﻌﺪ ﻓﻲ اﻟﺸﺠﺮة اﻟﻰ أﻋﻠﻰ وﻧﻌﻮض اﻟﻘﯿﻢ ﺑﻨﺎءا ﻋﻠﻰ اﻟﺨﻮارزﻣﯿﺔ.
61
ﺗﺎﺑﻊ ﺧﻮارزﻣﯿﺔ Minmax
62
Minimax
Max 3 6
6
Min
5 3
Max 1 3 6 0 7
5
5 2 1 3 6 2 0 7
66
Minimax Example
5 Max
Min
5 3 4
7 6 5 5 6 4 Max
Min
4 7 6 2 6 3 4 5 1 2 5 4 1 2 6 3 4 3
4 7 9 6 9 8 8 5 6 7 5 2 3 2 5 4 9 3
67
ﺧﻮارزﻣﯿﺔ أﻟﻔﺎ ﺑﯿﺘﺎ Alpha Beta
• ﯾﺘﻢ ﺣﺴﺎب ﻗﯿﻤﺔ اﻟﻨﻘﻄﺔ اﺛﻨﺎء ﺑﻨﺎﺋﮭﺎ.
• اذا ﻛﺎﻧﺖ ﻗﯿﻤﺘﮭﺎ ﻏﯿﺮ ﻣﻨﺎﺳﺒﺔ ﯾﺘﻢ اﻻﺳﺘﻐﻨﺎء ﻋﻨﮭﺎ . α>=β
α best choice for Max ? ?β best choice for Min
68
Alpha-Beta Pruning
69
Alpha-Beta Pruning
70
Alpha-Beta Pruning
At node E α= 5 and
β= 3, where α>=β, so
the right successor of
E will be pruned, and
algorithm will not
traverse it, and the
value at node E will
be 5.
71
Alpha-Beta Pruning
72
Alpha-Beta Pruning
Now at C, α=3 and
β= 1, and again it
satisfies the
condition α>=β,
so the next child of
C which is G will
be pruned, and the
algorithm will not
compute the entire
sub-tree G.
73
Alpha-Beta Pruning
C now returns
the value of 1 to
A here the best
value for A is
max (3, 1) = 3.
74
Alpha-Beta Pruning
The optimal
value for the
maximizer is
3 for this
example
75
اﻻﺻﻄﻨﺎ� واﻷﻧﻈﻤﺔ
ي اﻟﺬكﺎء
اﻟﺨﺒ�ة ) (1484
ي
اﻟﻮﺣﺪة اﻟﺮابﻌﺔ :ﻧﻈﻢ اﻟﻘﻮاﻋﺪ
اﻟﻤﻨﺘﺠﺔ
Production Systems
اﻋﺪاد :أ.د .ﻳﻮﺳﻒ اﺑﻮزر
ﺟﺎﻣﻌﺔ اﻟﻘﺪس اﻟﻤﻔﺘﻮﺣﺔ
ف
اﻟﺼ��) (1193 ا�
2020 ي اﻟﻔﺼﻞ اﻟﺪر ي
ﺧﻮارزﻣﯿﺔ Minmax
إن اﻟﻌﺪﯾﺪ ﻣﻦ اﻷﻟﻌﺎب اﻟﺒﺴﯿﻄﺔ ﯾﻤﻜﻦ إﯾﺠﺎد اﻟﺤﻞ ﻟﮭﺎ ﺑﺎﺳﺘﺨﺪام ﺑﯿﺎن . And/Or •
• ﻟﻌﺒﺔ ﺗﻚ-ﺗﺎك-ﺗﻮ ﺳﺘﺤﺘﺎج إﻟﻰ !9ﻧﻘﻄﺔ ﻓﻲ ﻧﮭﺎﯾﺔ اﻟﺸﺠﺮة.
• ﻟﻌﺒﺔ اﻟﻀﺎﻣﺔ ﺑﮭﺎ 1040ﻧﻘﻄﺔ ﻓﻲ ﻣﺠﺎل اﻟﺒﯿﺎن
• ﻟﻌﺒﺔ اﻟﺸﻄﺮﻧﺞ ﺑﮭﺎ 10120ﻧﻘﻄﺔ واﻟﺘﻲ ﻗﺪ ﺗﺤﺘﺎج إﻟﻰ 1021ﻗﺮﻧﺎ ً ﻣﻦ اﻟﺰﻣﻦ ﻹﺗﻤﺎم إﯾﺠﺎد ﺑﯿﺎﻧﮭﺎ.
ﻟﮭﺬا ﯾﺠﺐ أن ﻧﺘﺒﻊ إﺳﺘﺮاﺗﯿﺠﯿﺔ ﻣﺨﺎﻟﻔﺔ .ﻓﺒﺪﻻً ﻣﻦ إﯾﺠﺎد ﻛﻞ اﻟﺒﯿﺎن ﻋﻠﯿﻨﺎ أن ﻧﺠﺪ أﺣﺴﻦ ﺧﻄﻮة ﺳﻨﻠﻌﺒﮭﺎ وذﻟﻚ •
ﺑﺤﺴﺎب أﻓﻀﻠﯿﺔ ﻛﻞ ﺧﻄﻮة ﺑﺎﻟﻨﻈﺮ ﻟﻸﻣﺎم ﻋﺪة ﺧﻄﻮات ﻓﻘﻂ.
ھﺬا ﯾﺠﺐ أن ﯾﻜﻮن ھﻨﺎك داﻟﺔ ﻹﻋﻄﺎء اﻷﻓﻀﻠﯿﺔ ﻓﻘﻂ .وھﻨﺎ ﯾﺠﺐ أن ﯾﻜﻮن ھﻨﺎك داﻟﺔ ﻹﻋﻄﺎء اﻷﻓﻀﻠﯿﺔ ﻋﻠﻰ •
ھﯿﺌﺔ رﻗﻢ ﺻﺤﯿﺢ.
ﻣﺜﻼً ﻓﻲ ﺣﺎﻟﺔ ﻣﺴﺄﻟﺔ ﺗﻚ-ﺗﺎك-ﺗﻮ ﯾﻤﻜﻦ أن ﺗﺤﺴﺐ ھﺬه اﻟﺪاﻟﺔ أﻓﻀﻠﯿﺔ اﻟﻤﺮﺑﻊ ﺣﺴﺐ ﻣﻮﻗﻌﮫ .ﻓﺎﻟﻤﺮﻛﺰ ﻗﺪ ﯾﻌﻄﻲ •
ﻗﯿﻤﺔ أﻋﻠﻰ ﻣﻦ ﻏﯿﺮه .ﻛﺬﻟﻚ ﻓﺴﻨﺘﺒﻊ اﻟﻄﺮﯾﻘﺔ اﻟﺘﻲ ﺗﻌﻄﻲ ﺑﮭﺎ ھﺬه اﻟﺪاﻟﺔ ﻗﯿﻤﺔ ﻣﻮﺟﺒﺔ ﻷﺣﺪ اﻟﻼﻋﺒﯿﻦ وﻟﯿﻜﻦ
maxوﻗﯿﻤﺔ ﺳﺎﻟﺒﺔ ﻟﻶﺧﺮ وﻟﯿﻜﻦ . min
وھﻨﺎ ﻓﻌﻠﻰ maxأن ﯾﺨﺘﺎر اﻟﻠﻌﺒﺔ اﻟﺘﺎﻟﯿﺔ )اﻟﻨﻘﻄﺔ ﻋﻠﻰ اﻟﺒﯿﺎن( اﻟﺘﻲ ﻟﮭﺎ أﻛﺒﺮ ﻗﯿﻤﺔ ﻣﻦ ھﺬه اﻟﺪاﻟﺔ .وﺑﺬﻟﻚ ﻓﺈن •
maxﯾُﻌﻄﻰ أﻛﺒﺮ ﻗﯿﻤﺔ ﻟﮭﺬه اﻟﺪاﻟﺔ ﻣﻦ ﺑﯿﻦ أوﻻده اﻟﺬﯾﻦ ھﻢ ﻧﻘﺎط min
77
ﺗﺎﺑﻊ ﺧﻮارزﻣﯿﺔ Minmax
• وﺑﺎﻟﻌﻜﺲ ﺑﺎﻟﻨﺴﺒﺔ ﻟﻼﻋﺐ اﻵﺧﺮ minﻓﮭﻮ ﯾُﻌﻄﻰ أﺻﻐﺮ ﻗﯿﻤﺔ ﻟﮭﺬه اﻟﺪاﻟﺔ
ﻣﻦ ﺑﯿﻦ أوﻻده اﻟﺬﯾﻦ ھﻢ ﻧﻘﺎط . maxوھﻜﺬا ﺗﻤﺮر ھﺬه اﻟﻘﯿﻢ ﻟﻸﻋﻠﻰ ﺣﺘﻰ
ﯾﺴﺘﻄﯿﻊ اﻟﻼﻋﺐ ﻋﻨﺪ ﻧﻘﻄﺔ اﻟﺒﺪاﯾﺔ أن ﯾﻘﺮر أي ﺣﺮﻛﺔ ﺳﯿﺘﺒﻌﮭﺎ أوﻻً ﻓﻲ
ھﺬه اﻟﻠﻌﺒﺔ .ھﺬه اﻟﻘﯿﻢ ﻣﺒﻨﯿﺔ ﻋﻠﻰ أﺳﺎس أن اﻟﻼﻋﺐ ﺳﯿﻨﻈﺮ ﻟﻸﻣﺎم ﻋﺪة
ﺧﻄﻮات ﻓﻲ ھﺬه اﻟﻠﻌﺒﺔ.
• ﻟﻨﺮﺟﻊ ﻣﺮة أﺧﺮى ﻟﻠﻌﺒﺔ ﺗﻚ-ﺗﺎك-ﺗﻮ وﺳﻨﻌﻄﻲ اﻟﺪاﻟﺔ اﻟﺜﺎﺑﺘﺔ اﻟﺘﻲ ﺗﻌﻄﻲ
أﻓﻀﻠﯿﺔ اﻟﺨﻄﻮات ﺑﺎﻟﺮﻣﺰ fوﻧﻌﺮﻓﮭﺎ ﻛﻤﺎ ﯾﺄﺗﻲ.
• = fﻋﺪد اﻟﺼﻔﻮف أو اﻷﻋﻤﺪة أو اﻷﻗﻄﺎر اﻟﺘﻲ ﻣﺎزاﻟﺖ ﻣﻔﺘﻮﺣﺔ أﻣﺎم
maxﻣﻄﺮوﺣﺎ ً ﻣﻨﮫ ﻋﺪد اﻟﺼﻔﻮف أو اﻷﻋﻤﺪة أو اﻷﻗﻄﺎر اﻟﺘﻲ ﻣﺎزاﻟﺖ
ﻣﻔﺘﻮﺣﺔ أﻣﺎم . min
78
ﺧﻮارزﻣﯿﺔ أﻟﻔﺎ ﺑﯿﺘﺎ
• إن ﺧﻮارزﻣﯿﺔ minimaxﺗﻨﺘﺞ ﻛﻞ اﻟﺸﺠﺮة ﻟﻼﻋﺐ maxﻋﻠﻰ ﺑﻌﺪ ﻋﺪة
ﺧﻄﻮات ﻟﻸﻣﺎم ﺛﻢ ﺑﻌﺪ ذﻟﻚ ﺗﺒﺪأ ﻋﻤﻠﯿﺔ ﺣﺴﺎب أﻓﻀﻠﯿﺔ ﻛﻞ ﺣﺎﻟﺔ وﺗﻤﺮر ﻟﻸﻋﻠﻰ
ﺣﺘﻰ ﯾﺘﻤﻜﻦ ھﺬا اﻟﻼﻋﺐ ﻣﻦ اﺗﺨﺎذ اﻟﻘﺮار ﻓﻲ أي اﺗﺠﺎه ﺳﯿﺘﺤﺮك .ھﺬه اﻟﻄﺮﯾﻘﺔ
ﻟﯿﺴﺖ ﻛﻔﺆة ﻣﻦ ﺣﯿﺚ ﻋﺪد اﻟﻨﻘﺎط اﻟﺘﻲ ﺳﯿﺘﻢ إﻧﺘﺎﺟﮭﺎ ﻋﻠﻰ ﻋﻤﻖ ﻋﺪة ﺧﻄﻮات ﻓﻲ
اﻟﺸﺠﺮة.
• وﻟﻜﻦ إذا ﺗﻤﺖ اﻟﺤﺴﺎﺑﺎت ﻟﻜﻞ ﻧﻘﻄﺔ ﻓﻲ أﺛﻨﺎء إﻧﺘﺎﺟﮭﺎ ﻓﺈﻧﮫ ﻗﺪ ﯾﻜﻮن ﻣﻦ اﻟﻤﻐﻨﻲ
ﻋﺪم إﻧﺘﺎج ﺑﻌﺾ اﻟﻨﻘﺎط إذا ﺗﻢ اﻛﺘﺸﺎف أن اﻟﻼﻋﺐ اﻵﺧﺮ minﺳﯿﻔﻀﻠﮭﺎ ﻷﻧﮭﺎ
ﺗﻤﺜﻞ ﻓﻮزا ً ﻟﮭﺬا اﻟﺨﺼﻢ.
• وھﻨﺎ ﻓﺈن ﻋﻤﻠﯿﺔ اﺧﺘﺼﺎر اﻟﺒﺤﺚ ﺗﺘﻢ ﺑﺎﻹﺑﻘﺎء ﻋﻠﻰ ھﺬه اﻟﺤﺪود ﻋﻠﻰ اﻟﻘﯿﻢ اﻵﺗﯿﺔ
ﻣﻦ اﻷﺑﻨﺎء ﺑﺤﯿﺚ أن:
-1ﻗﯿﻤﺔ أﻟﻔﺎ ﻟﻼﻋﺐ maxﺑﻤﺎ ﻓﻲ ذﻟﻚ ﻧﻘﻄﺔ اﻟﺒﺪاﯾﺔ ﻻ ﯾﻤﻜﻦ أن ﺗﻘﻞ.
-2ﻗﯿﻤﺔ ﺑﯿﺘﺎ ﻟﻼﻋﺐ minﻻ ﯾﻤﻜﻦ أن ﺗﺰداد.
79
ﺧﻮارزﻣﯿﺔ أﻟﻔﺎ ﺑﯿﺘﺎ
• ﻋﻠﯿﻨﺎ ،اﺗﺒﺎع اﻟﻘﺎﻋﺪﺗﯿﻦ اﻵﺗﯿﺘﯿﻦ ﻟﺘﻮﻗﯿﻒ اﻟﺒﺤﺚ:
-1ﯾﺘﻮﻗﻒ اﻟﺒﺤﺚ ﺗﺤﺖ ﻧﻘﻄﺔ اﻟﻼﻋﺐ minاﻟﺬي ﻟﮫ ﻗﯿﻤﺔ ﺑﯿﺘﺎ أﻗﻞ أو
ﺗﺴﺎوي ﻗﯿﻤﺔ أﻟﻔﺎ ﻷي ﻣﻦ اﻟﻨﻘﺎط اﻟﺘﻲ ﺗﻌﻠﻮ اﻟﻼﻋﺐ . maxﺗﺼﺒﺢ اﻟﻘﯿﻤﺔ
اﻵﺗﯿﺔ ﻣﻦ اﻷﺳﻔﻞ ﻟﻼﻋﺐ minھﻲ ﻧﻔﺴﮭﺎ ﻗﯿﻤﺔ ﺑﯿﺘﺎ اﻟﺘﻲ ﺗﺨﺼﮫ .ھﺬه
اﻟﻘﯿﻤﺔ ﻗﺪ ﻻ ﺗﻜﻮن ھﻲ ﻧﻔﺴﮭﺎ اﻟﺘﻲ ﺣﺼﻠﻨﺎ ﻋﻠﯿﮭﺎ ﺑﺨﻮارزﻣﯿﺔ minimax
وﻟﻜﻦ اﺳﺘﻌﻤﺎﻟﮭﺎ ﺳﺘﺠﻌﻠﻨﺎ ﻧﺨﺘﺎر ﻧﻔﺲ اﻟﺤﺮﻛﺔ اﻟﻤﻘﺒﻠﺔ اﻟﻤﻔﻀﻠﺔ.
-2ﯾﺘﻮﻗﻒ اﻟﺒﺤﺚ ﺗﺤﺖ ﻧﻘﻄﺔ اﻟﻼﻋﺐ maxاﻟﺬي ﻟﮫ ﻗﯿﻤﺔ أﻟﻔﺎ أﻛﺒﺮ أو
ﺗﺴﺎوي ﻗﯿﻤﺔ أﻟﻔﺎ ﻷي ﻣﻦ اﻟﻨﻘﺎط اﻟﺘﻲ ﺗﻌﻠﻮ اﻟﻼﻋﺐ . minوﺗﺼﺒﺢ اﻟﻘﯿﻤﺔ
اﻵﺗﯿﺔ ﻣﻦ اﻷﺳﻔﻞ ﻟﻼﻋﺐ maxھﻲ ﻧﻔﺴﮭﺎ ﻗﯿﻤﺔ أﻟﻔﺎ اﻟﺘﻲ ﺗﺨﺼﮫ.
80
ﺗﺎﺑﻊ ﺧﻮارزﻣﯿﺔ أﻟﻔﺎ ﺑﯿﺘﺎ
• وﺳﻨﻘﻮل ﻓﻲ ﺣﺎﻟﺔ ﺗﻮﻗﻒ اﻟﺒﺤﺚ ﺣﺴﺐ اﻟﻘﺎﻋﺪة 1أن ﻗﻄﻊ أﻟﻔﺎ Alpha
Cutoffﻗﺪ ﺣﺼﻞ وﺣﺴﺐ اﻟﻘﺎﻋﺪة 2أن ﻗﻄﻊ ﺑﯿﺘﺎ Beta Cutoffﻗﺪ
ﺣﺼﻞ وﺗﺴﻤﻰ اﻟﺨﻮارزﻣﯿﺔ اﻟﺘﻲ ﺗﺒﻘﻰ وﺗﺤﺘﻔﻆ ﺑﻘﯿﻢ أﻟﻔﺎ ﺑﯿﺘﺎ وﺗﻘﻄﻊ اﻟﺒﺤﺚ
ﻋﻨﺪﻣﺎ ﯾﻜﻮن ﻣﻨﺎﺳﺒﺎ ً اﻟﻘﻄﻊ ﺑﺨﻮارزﻣﯿﺔ أﻟﻔﺎ ﺑﯿﺘﺎ .وﺗﺘﻮﻗﻒ ھﺬه اﻟﺨﻮارزﻣﯿﺔ
ﻋﻨﺪﻣﺎ ﯾﺘﻢ إﻋﻄﺎء اﻟﻘﯿﻢ اﻟﻨﮭﺎﺋﯿﺔ اﻵﺗﯿﺔ ﻣﻦ اﻷﺳﻔﻞ Backup Vatuesﻟﻜﻞ
أﺑﻨﺎء ﻧﻘﻄﺔ اﻟﺒﺪاﯾﺔ.
• وھﻨﺎ ﻓﺈن أﻓﻀﻞ اﻟﻄﺮق ﻟﻠﺘﺤﺮك ﺗﺼﺒﺢ ﻓﻲ اﺗﺠﺎه اﻻﺑﻦ اﻟﺬي ﻟﮫ أﻛﺒﺮ
ﻗﯿﻤﺔ .وھﺬا اﻻﺗﺠﺎه ﻟﻠﺤﺮﻛﺔ ﺳﯿﻜﺘﺸﻒ ﺑﺨﻮارزﻣﯿﺔ minimaxأﯾﻀﺎ ً وﻟﻜﻦ
أﻟﻔﺎ ﺑﯿﺘﺎ ﺳﺘﻜﺘﺸﻔﮫ ﺑﺄﻗﻞ ﻋﺪد ﻣﻦ ﻋﻤﻠﯿﺎت اﻟﺒﺤﺚ.
81