Outline for 4/9

4/9/98


Click here to start


Table of Contents

Outline for 4/9

Unifying View of AI

Specifying a search problem?

Towers of Hanoi

Planning

Search Summary

Constraint Satisfaction

Chinese Constraint Network

CSPs in the real world

Binary Constraint Network

N Queens

CSP as a search problem?

Chronological Backtracking (BT) (e.g., depth first search)

Backjumping (BJ)

Conflict-Directed Backjumping (CBJ)

BT vs. BJ vs. CBJ

Forward Checking (FC)

Number of Nodes Explored

Number of Consistency Checks

Dynamic variable ordering

Add Some DVO Numbers

Preprocessing Strategies

Combinatorial Optimization

Today’s Outline

In the Knowledge Lies the Power

Some KR Languages

In Fact…

AI = Knowledge Representation & Reasoning

What is logic?

Propositional Logic

First Order Logic vs Prop. Logic

Semantics

Propositional Logic: SEMANTICS

Notation

Definitions

Prop. Logic: Knowledge Engr

Propositional Logic: Inference

Horn Clauses

Resolution

Normal Forms

Terminology

Davis Putnam (DPLL)

GSAT

FOL Definitions

Propositional. Logic vs First Order

 Author: weld

Email: weld@cs.washington.edu

Other information:
CSE 592, Lecture 2

Download presentation source