Scribd Logo
Upload

Welcome to Scribd!

  • 20 views

    Procedural Vs Declarative Knowledge: Consider The Knowledge Base

    Uploaded by

    Aditya Verma
    The document discusses the differences between procedural and declarative knowledge bases. A procedural KB stores step-by-step instructions for solving problems, while a declarative KB stores general facts without specifying procedures. The document uses the example of answering questions about a knowledge base to illustrate the difference. It then introduces PROLOG as a declarative language based on Horn clauses, and discusses how PROLOG can be used to represent knowledge and answer questions through backward reasoning.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content

    You might also like

    Procedural Vs Declarative Knowledge: Consider The Knowledge Base

    Uploaded by

    Aditya Verma
    20 views6 pages
    The document discusses the differences between procedural and declarative knowledge bases. A procedural KB stores step-by-step instructions for solving problems, while a declarative KB stores general facts without specifying procedures. The document uses the example of answering questions about a knowledge base to illustrate the difference. It then introduces PROLOG as a declarative language based on Horn clauses, and discusses how PROLOG can be used to represent knowledge and answer questions through backward reasoning.

    Original Description:

    asd

    Original Title

    Chapter 6

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    The document discusses the differences between procedural and declarative knowledge bases. A procedural KB stores step-by-step instructions for solving problems, while a declarative KB stores general facts without specifying procedures. The document uses the example of answering questions about a knowledge base to illustrate the difference. It then introduces PROLOG as a declarative language based on Horn clauses, and discusses how PROLOG can be used to represent knowledge and answer questions through backward reasoning.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as pdf or txt
    20 views6 pages

    Procedural Vs Declarative Knowledge: Consider The Knowledge Base

    Uploaded by

    Aditya Verma
    The document discusses the differences between procedural and declarative knowledge bases. A procedural KB stores step-by-step instructions for solving problems, while a declarative KB stores general facts without specifying procedures. The document uses the example of answering questions about a knowledge base to illustrate the difference. It then introduces PROLOG as a declarative language based on Horn clauses, and discusses how PROLOG can be used to represent knowledge and answer questions through backward reasoning.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as pdf or txt
    of 6

    Procedural vs Declarative Knowledge

    Consider the knowledge base :

    Suppose we want to answer the question


    We could answer with any one of :

    Now consider an alternative KB :

    142

    PROLOG
    A PROLOG program is composed of a set of Horn clauses.

    A Horn Clause is a

    clause that has at most one positive literal.


    Examples :

    143

    A Declarative and a Procedural


    Representation

    144

    Answering Questions in PROLOG

    (mittens)
    145

    A Sample of the Rules for


    Solving the 8-Puzzle

    ..
    .

    An Examples :
    Start

    Goal

    146

    Forward vs Backward Reasoning


    Number of start and goal states.
    Branching factor in each direction.
    Need to justify reasoning.
    Triggers for problem solving.

    147

    You might also like