Scribd Logo
Upload

Welcome to Scribd!

  • Week-13 Lecture-26

    Uploaded by

    Syed Hamza Ibrar Shah
    10 views30 pages
    The document is a lecture on first-order logic and knowledge-based agents. It introduces topics like propositional logic, first-order logic syntax, quantification, models, and interacting with knowledge bases. It also provides examples of using first-order logic to represent the Wumpus World domain and describe actions. The next lecture will cover knowledge engineering processes like assembling relevant knowledge, encoding it in a knowledge base, and posing queries to the inference procedure.

    Original Description:

    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 is a lecture on first-order logic and knowledge-based agents. It introduces topics like propositional logic, first-order logic syntax, quantification, models, and interacting with knowledge bases. It also provides examples of using first-order logic to represent the Wumpus World domain and describe actions. The next lecture will cover knowledge engineering processes like assembling relevant knowledge, encoding it in a knowledge base, and posing queries to the inference procedure.

    Copyright:

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

    Week-13 Lecture-26

    Uploaded by

    Syed Hamza Ibrar Shah
    The document is a lecture on first-order logic and knowledge-based agents. It introduces topics like propositional logic, first-order logic syntax, quantification, models, and interacting with knowledge bases. It also provides examples of using first-order logic to represent the Wumpus World domain and describe actions. The next lecture will cover knowledge engineering processes like assembling relevant knowledge, encoding it in a knowledge base, and posing queries to the inference procedure.

    Copyright:

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

    1

    Lahore Garrison University


    CSC363-Artificial Intelligence
    Online Week-13 Lecture-26
    2
    Preamble

    ► Logic

    ► Knowledge-based Agents

    ► Wumpus World

    ► Propositional Logic

    ► Forward Chaining

    ► Backward Chaining

    ► Conclusions

    Lahore Garrison University


    3
    Pros and Cons of Propositional Logic

    Lahore Garrison University


    4
    First-Order-Logic (FOL)

    Lahore Garrison University


    5
    Logics in General

    Lahore Garrison University


    6
    Syntax of FOL: Basic Elements

    Lahore Garrison University


    7
    Atomic Sentences

    Lahore Garrison University


    8
    Complex Sentences

    Lahore Garrison University


    9
    Truth in First-Order-Logic

    Lahore Garrison University


    10

    Models
    for FOL:
    Example

    Lahore Garrison University


    11
    Truth Example

    Lahore Garrison University


    12
    Models for FOL: Lots!

    Lahore Garrison University


    13
    Universal Quantification

    Lahore Garrison University


    14
    A Common Mistake to Avoid

    Lahore Garrison University


    15
    Existential Quantification

    Lahore Garrison University


    16
    Another Common Mistake to Avoid

    Lahore Garrison University


    17

    Properties of
    Quantifiers

    Lahore Garrison University


    18
    Fun with Sentences

    Lahore Garrison University


    19
    Equality

    Lahore Garrison University


    20
    Interacting with FOL KBs

    Lahore Garrison University


    21
    Knowledge base for the Wumpus World

    Lahore Garrison University


    22
    Deducing Hidden Properties

    Lahore Garrison University


    23
    Keeping Track of Change

    Lahore Garrison University


    24
    Describing Actions - I

    Lahore Garrison University


    25
    Describing Actions - II

    Lahore Garrison University


    26
    Making Plans

    Lahore Garrison University


    27
    Making Plans: A Better Way

    Lahore Garrison University


    28
    Lesson Preview

    ► Pros & Cons of Propositional Logic


    ► First Order Logic (FOL)
    ► Syntax of FOL: Sentences
    ► Truth in FOL
    ► Models of FOL
    ► Quantification
    ► Equality
    ► KBs for the Wumpus World
    ► Describing Actions
    ► Making Plans
    Lahore Garrison University
    29
    Next Lesson Preview

    ► Knowledge Engineering in FOL


    ► Knowledge Engineering Process
    ► Electronic Circuits Domain
    ► Assemble a relevant knowledge
    ► Decide on a vocabulary
    ► Encode general knowledge of the domain
    ► Encode the specific problem instance
    ► Pose queries to the inference procedure
    ► Debug the Knowledge base

    Lahore Garrison University


    30
    References

    ► Artificial Intelligence: A Modern Approach by Stuart J. Russell and Peter Norvig, 3rd edition,

    2010. Chapter # 8 – 8.1, 8.2, 8.3.

    Lahore Garrison University

    You might also like