chapter8

# chapter8 - Knowledge Representation using First-Order Logic...

This preview shows pages 1–7. Sign up to view the full content.

CHAPTER 8 HASSAN KHOSRAVI SPRING2011 Knowledge Representation using First-Order Logic

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
Outline What is First-Order Logic (FOL)? Syntax and semantics Using FOL Wumpus world in FOL Knowledge engineering in FOL Required Reading: All of Chapter 8
Pros and cons of propositional logic Propositional logic is declarative -programming languages lack general mechanism for deriving facing from other facts Update to data structure is domain specific Knowledge and inference are separate Propositional logic allows partial/disjunctive/negated information unlike most programming languages and databases Propositional logic is compositional : meaning of B 1,1 P 1,2 is derived from meaning of B 1,1 and of P 1,2 Meaning in propositional logic is context-independent unlike natural language, where meaning depends on context Look, here comes superman. Propositional logic has limited expressive power unlike natural language E.g., cannot say "pits cause breezes in adjacent squares“ except by writing one sentence for each square

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
Wumpus World and propositional logic Find Pits in Wumpus world B x,y (P x,y+1 P x,y-1 P x+1,y P x-1,y ) (Breeze next to Pit) 16 rules Find Wumpus S x,y (W x,y+1 W x,y-1 W x+1,y W x-1,y ) (stench next to Wumpus) 16 rules At least one Wumpus in world W 1,1 W 1,2 W 4,4 (at least 1 Wumpus) 1 rule At most one Wumpus W 1,1 W 1,2 (155 RULES) Keep track of location L x,y FacingRight Forward L x+1,y
First-Order Logic Propositional logic assumes the world contains facts , First-order logic (like natural language) assumes the world contains Objects : people, houses, numbers, colors, baseball games, wars, … Relations : red, round, prime, brother of, bigger than, part of, comes between, … Functions : father of, best friend, one more than, plus, …

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
Logics in General Ontological Commitment: What exists in the world TRUTH PL : facts hold or do not hold.
This is the end of the preview. Sign up to access the rest of the document.

## This note was uploaded on 10/03/2011 for the course CMPT 320 taught by Professor Stevenpearce during the Winter '09 term at Simon Fraser.

### Page1 / 34

chapter8 - Knowledge Representation using First-Order Logic...

This preview shows document pages 1 - 7. Sign up to view the full document.

View Full Document
Ask a homework question - tutors are online