تکنیک های استدلال و استنباط (pptx) 22 اسلاید
دسته بندی : پاورپوینت
نوع فایل : PowerPoint (.pptx) ( قابل ویرایش و آماده پرینت )
تعداد اسلاید: 22 اسلاید
قسمتی از متن PowerPoint (.pptx) :
تکنیک های استدلال و استنباط
Outline
Reasoning (
استدلال
)
Deductive Reasoning (
استدلال استنتاجي
)
Inductive Reasoning (
استدلال استقرايي
)
Abductive Reasoning (
استدلال بد
)
Common sense Reasoning (
استدلال حسي
)
Inference (
استنباط، نتيجه گيري
)
Modus Ponens
Resolution (
تجزيه
)
Nonresolution
Chaining
Forward
Backward
Search Techniques
Depth-First Search
Breadth-First Search
Best-First Search
Reasoning
(for humans)
The process of working with knowledge, facts and problem solving strategies to draw conclusions.
استدلال
(رسيدن انسان به يک دانش جديد با استفاده از دانش موجود)
مهمترين انواع استدلال :
Deductive Reasoning
استدلال استنتاجي
Inductive Reasoning
استدلال
استقرايي
Abdicative
Reasoning
استدلال موجه نما (سفسطه)
Common
Sense Reasoning
استدلال احساسي
1.
Deductive Reasoning
(
استدلال استنتاجي
)
It begins with comparing the facts (axioms) with a set of implications (rules).
A → B
A
____________
.
’
. B
Example
:
Implication:
If It is raining Then I will get wet
Fact:
It is raining
Conclusion:
I will get wet
رسيدن به يک نتيجه گيري بر پايه قوانين و
Fact
هاي موجود، کاملا مبتني بر منطق.
در اين روش ،
Fact
هاي موجود با قوانين موجود (
Rules
) مقايسه
مي شوند تا به يک نتيجه برسيم.
2.
Inductive Reasoning
(
استدلال استقرايي
)
Generalization
Arriving at a general conclusion from a limited set of facts.
Example
:
Premise:
Cats in Iran do not eat vegetables
Premise:
Cats in USA do not eat vegetables
Conclusion:
In general, all cats do not eat vegetables
نتيجه گيری يک قانون کلي بعد از مشاهده تعدادی نمونه مشابه ( تعميم دادن مشاهدات معدود به کل)
نکته :
هرچه تعدادنمونه ها براي
Training
بيشتر باشد، نتيجه دقيقتري خواهيم گرفت
.
3.
Abductive Reasoning
(سفسطه)
Guessing the cause for an event according to rules
Plausible Inference (
موجه نما
):
The result may be wrong!
A → B
B
____________
.
’
. A
Example
:
Implication:
If It is raining Then the ground is wet
Fact:
The ground is wet
Conclusion:
It is raining (!)
در اين نوع استدلال، با مشاهده رخ دادن يک پديده (
Fact
)
، حدس
مي زنيم که علت اين پديده (
Rule
) نيز رخ داده است.
4.
Common-sense Reasoning
Based on experience and common sense
Also called
Heuristic
Not based on exact logic
Guide the problem solving in expert system to more likely places
(Best-first search)
Example
:
If you have strange noises in your computer, it is
usually
from the fan
هدف از دانش هيوريستسک اين است که در فضاي حالت جستجو به سمت جايي هدايت شويم که احتمال جواب در آنجا بيشتر است.
اين نوع جستجو معمولا در جايي مورد نظر است که يک جواب منحصر به فرد نداريم وهمچنين به دنبال يافتن جواب بهينه هستيم.
استدلال بر پايه حس و تجربه
نکته
:
در اين نوع قوانين معمولا از قيدهايي مانند
Usually
استفاده مي شود
Inference
استنباط
تکنيکي است که سيستم خبره براي شبيه سازي استدلال انسان استفاده مي کند
تا از يک سري دانش و اطلاعات موجود به دانش جديد برسد.
قانون
Modus Ponens
:
If A B is True AND A is true
Then B is true.
Rule
1
:
If temp >
38
then patient has a fever
Rule
2
:
If patient has a fever then advise two Aspirins
Fact :
Temp =
39
Temp >
38
(E1)
So patient has a fever
(E2)
So Advise two Aspirins
(E3)
E1
E2
E2
E3
اثبات به روش
Resolution
در اين روش اثبات بر پايه قانون زير انجام مي شود:
A
⋁
B
AND
B
⋁
C
So
A
⋁
C
مراحل اثبات:
( براي اثبات درستي
P
با استفاده از يکسري فرض ها و قوانين )
تمام
Rule
ها و
Fact
ها را در قالب
A
⋁
B
يا
A
مي نويسيم
نقيض
P
(
P
)
را درست فرض مي کنيم. سپس آنرا به
Fact
ها اضافه مي کنيم.
با استفاده از قانون فوق نتايج جديدي را بدست مي آوريم تا جائيکه به تناقض برسيم. آنگاه نتيجه مي گيريم که
P
درست نيست، پس
P
درست است.
¬E1 ⋁ E2
¬E2 ⋁ E3
E1
¬E3
با تركيب دو رابطه اول و دوم خواهيم داشت:
3
¬E1⋁ E
لذا مجموعه دانسته ها خواهد شد:
¬E1 ⋁ E2
¬E2 ⋁ E3
E1
¬E3
¬E1⋁ E3
با تركيب دو رابطه سوم و پنجم خواهيم داشت:
E3
لذا مجموعه دانسته ها خواهد شد:
¬E1 ⋁ E2
¬E2 ⋁ E3
E1
¬E3
¬E1⋁ E3
E3
باتوجه به مجموعه دانسته ها به اين نتيجه رسيديم كه
E3
درست است اما قبلاً فرض كرده بوديم که
E3
غلط است.
لذا تناقض خواهيم داشت. پس فرض اول درست نبوده لذا
E3
درست است.
حل مثال اسلايد 9 از روش
Resolution
: