صفحه محصول - پاورپوینت عاملهاي منطقي

پاورپوینت عاملهاي منطقي (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