Page 90 - DCAP310_INTRODUCTION_TO_ARTIFICIAL_INTELLIGENCE_AND_EXPERT_SYSTEMS

Introduction to Artificial Intelligence & Expert Systems Mithilesh Kumar Dubey, Lovely Professional University

Notes Unit 6: Formalized Symbolic Logics

CONTENTS
Objectives
Introduction

6.1 Concept of Formalized Symbolic Logics
6.1.1 Syntax Logic
6.1.2 Propositional Logic

6.2 Syntax and Semantics for First-order Logic (FOL)
6.3 Well-formed Formula (WFF)
6.3.1 Properties of WFF
6.4 Conversion to Clausal Form
6.4.1 Conversion to Clausal Normal Form

6.5 Inference Rules
6.5.1 The Standard Form of Rules of Inference
6.6 Resolution Logic

6.6.1 Resolution Rule
6.6.2 The Resolution Principle
6.7 Deductive Inference Methods
6.7.1 Law of Detachment
6.7.2 Law of Syllogism

6.7.3 Deductive Logic: Validity and Soundness
6.7.4 Representations Using Rules Dealing with Inconsistencies and Uncertainties
6.8 Truth Maintenance System (TMS)

6.9 Predicated Completion and Circumscription
6.9.1 The Propositional Case
6.9.2 Fixed and Varying Predicates
6.9.3 Predicate Circumscription
6.9.4 Pointwise Circumscription

6.9.5 Domain and Formula Circumscription
6.10 Modal Logic
6.11 Temporal Logic

6.12 Fuzzy Logic
6.12.1 Applying Truth Values
Contd...

84 LOVELY PROFESSIONAL UNIVERSITY