lecch08part1

lecch08part1 - CS 2710, ISSP 2610 Chapter 8, Part 1 First...

Info iconThis preview shows pages 1–6. Sign up to view the full content.

View Full Document Right Arrow Icon
1 CS 2710, ISSP 2610 Chapter 8, Part 1 First Order Predicate Calculus  FOPC
Background image of page 1

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

View Full DocumentRight Arrow Icon
2 Propositional Logic   FOPC B11   (P12 v P21) B23   (P32 v P 23 v P34 v P 43) … “Internal squares adjacent to pits are breezy”: All X Y (B(X,Y) ^ (X > 1) ^ (Y > 1) ^ (Y < 4) ^ (X <  4))     (P(X-1,Y) v P(X,Y-1) v P(X+1,Y) v (X,Y+1)) 
Background image of page 2
3 FOPC Worlds Rather than just T,F, now worlds contain: Objects:   the gold, the wumpus, people, ideas, …  “the domain” Predicates:   holding, breezy, red, sisters Functions:  fatherOf, colorOf, plus Ontological commitment
Background image of page 3

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

View Full DocumentRight Arrow Icon
4 FOPC Syntax Add variables and quantifiers to propositional  logic
Background image of page 4
5 Sentence AtomicSentence | (Sentence Connective Sentence) | Quantifier Variable, . . Sentence | ~Sentence AtomicSentence Predicate(Term,…) | Term = Term Term Function(Term,…) | Constant | Variable Connective | ^ | v |  Quantifier all, exists Constant john, 1, … Variable A, B, C, X
Background image of page 5

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

View Full DocumentRight Arrow Icon
Image of page 6
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 15

lecch08part1 - CS 2710, ISSP 2610 Chapter 8, Part 1 First...

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

View Full Document Right Arrow Icon
Ask a homework question - tutors are online