{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

lecch08part1

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

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

1 CS 2710, ISSP 2610 Chapter 8, Part 1 First Order Predicate Calculus  FOPC

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

View Full Document
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))
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

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

View Full Document
4 FOPC Syntax Add variables and quantifiers to propositional  logic
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 Predicate breezy, sunny, red Function

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

View Full Document
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

### 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
Ask a homework question - tutors are online