Page 85 - DCAP506_ARTIFICIAL_INTELLIGENCE
P. 85

Parminder Kaur, Lovely Professional University                 Unit 6: Knowledge Representation using Rules





                 Unit 6: Knowledge Representation using Rules                                   Notes


            CONTENTS
            Objectives
            Introduction
            6.1  Procedural vs Declarative Knowledge

                 6.1.1  Representing How to Use Knowledge
            6.2  Logic Programming
            6.3  Forward vs Backward Reasoning

            6.4  Matching and Control Knowledge
                 6.4.1   Matching
                 6.4.2  Control Knowledge
            6.5  Summary
            6.6  Keywords

            6.7  Review Questions
            6.8  Further Readings

          Objectives

          After studying this unit, you will be able to:

              Understand the procedural and declarative knowledge
              Illustrate the logic programming
              Compare the forward and backward reasoning
              Understand the matching and control knowledge

          Introduction


          In this unit, you will understand various concepts of knowledge representation using rules. You
          will discuss procedural knowledge and declarative knowledge. Logic programming  contain
          three  major classes of application which  are discussed  in the  unit. You  will illustrate  the
          comparison between  Forward and Backward  Reasoning.  The concept of matching  control
          knowledge is also discussed.

          6.1 Procedural vs Declarative Knowledge


          Declarative Knowledge Representation

          In Declarative knowledge representation, knowledge is signified as static collection of details
          which are influenced by common procedures. Here the details are required to be accumulated
          only one and they can be utilized in any number of manners. Details can be easily added to
          declarative systems without altering the common procedures.





                                           LOVELY PROFESSIONAL UNIVERSITY                                   79
   80   81   82   83   84   85   86   87   88   89   90