پاورپوینت عاملهاي منطقي (pptx) 48 اسلاید
دسته بندی : پاورپوینت
نوع فایل : PowerPoint (.pptx) ( قابل ویرایش و آماده پرینت )
تعداد اسلاید: 48 اسلاید
قسمتی از متن PowerPoint (.pptx) :
بنام خدا
1/46
2/46
عاملهاي منطقي
3/46
Reasoning Patterns in Propositional Logic
Inference rules: The patterns of inference:
1-Modus Ponens (قياس استثنايي)
2-And –Elimination
تمامي هم ارزهاي منطقي در اسلايد 28از قسمت اول مي توانند بعنوان قاعده استنتاج بكار روند
اثبات : دنباله اي از كاربردهاي قواعد اسنتاج
يكنواختي: مجموعه جملات ايجاب شده فقط زماني مي تواند افزايش يابند كه اطلاعاتي به پايگاه دانش افزوده شود.
4/46
Resolution تحليل:
تحليل: يك روش استنتاج ساده
در صورت همراه شدن با هر الگوريتم جستجوي كامل، يك الگوريتم استنتاج كامل را ايجاد ميكند
In Wumpus world, consider the agent returns from [2,1] to [1,1] and then goes to [1,2], where it perceives a stench, but no breeze. We add the following facts to the knowledge base:
5/46
تحليل (ادامه)
we can now derive the absence of pits in [2,2] and [1,3],([1,1] is already known(
:
Respect to R11 and R12:
Respect to R10 (R10 : P11), and R16:
Known from past:
Respect to R15 and Rr13:
6/46
تحليل (ادامه)
Conjunctive Normal Form (CNF)(فرم نرمال عطفي)
conjunction of disjunctions of literals (clauses)
تركيب AND از ليترال كه با هم ORشده اند.
Literal: a atomic sentence. Ex; P , Q , or , A
Clause: a disjunction of literals.
E.g., (A B) (B C D)
Unit resolution inference rule:
Where li and m are complementary literals
7/46
تحليل (ادامه)
Full Resolution inference rule (for CNF):
l1 … lk, m1 … mn
l1 … li-1 li+1 … lk m1 … mj-1 mj+1 ... mn
where li and mj are complementary literals.
E.g., P1,3 P2,2, P2,2
P1,3
Using any complete search,
Resolution is sound and complete for propositional logic
توجه، تحليل هميشه مي تواند براي اثبات
ياتكذيب يك جمله استفاده شود
8/46
Conversion to CNF تبديل به فرم نرمال عطفي
B1,1 (P1,2 P2,1)
Eliminate , replacing α β with (α β)(β α).
(B1,1 (P1,2 P2,1)) ((P1,2 P2,1) B1,1)
2. Eliminate , replacing α β with α β.
(B1,1 (P1,2 P2,1)) ((P1,2 P2,1) B1,1)
3. Move inwards using de Morgan's rules and double-negation:
(B1,1 P1,2 P2,1) ((P1,2 P2,1) B1,1)
4. Apply distributivity law ( over ) and flatten:
(B1,1 P1,2 P2,1) (P1,2 B1,1) (P2,1 B1,1)
9/46
Resolution algorithm
Proof by contradiction, i.e., to Prove KB a, show KBα unsatisfiable
