CS 371: Introduction to Artificial Intelligence

Outline

Blocks World

Propositional Block World

When Propositional Logic Isn’t Enough

Propositional Logic

First-Order Logic

Building Atomic Sentences: Symbols

Blocks World Example

Building Atomic Sentences: Constant Symbols

Blocks World Example

Building Atomic Sentences: Constant Symbols (cont.)

Atomic Sentences: Putting Symbols Together

Blocks World Example

Universal Quantifier

Existential Quantifier

Nested Quantifiers

Compound (Complex) Sentences

First-Order Logic Semantics

In-Class Exercise

Validity, Satisfiability, Models

Propositional KB and Inference

Knowledge Representation and Reasoning

Inference with FOL

FOL Proof Method: Resolution

Why Representing Change in Time is Difficult