lecch08part2

lecch08part2 - CS2710,ISSP2610 Chapter8,Part2 FOPC 1 Review...

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

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

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

View Full Document
2 Review FOPC Worlds Objects:   the gold, the wumpus, people, ideas, …  “the domain” Predicates:   holding, breezy, red, sisters Functions:  fatherOf, colorOf, plus Ontological commitment
3 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 fatherOf, plus Knowledge engineering involves deciding what types of things Should be constants, predicates, and functions for your problem Review

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

View Full Document
4 Review Semantics of FOPC Interpretation:   assignment of elements from the  world and elements of the language The world consists of a  domain of   objects D,  a set  of  predicates,  and a set of  functions
5 Review Semantics Each constant is assigned an element of the domain Each  N-ary predicate  is assigned a set of N-tuples (which  are?) Each  N-ary function  symbol is assigned a set of N+1  tuples that does not include any pair of tuples with the  first N elements and different (n+1)st elements

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

View Full Document
6 Sample Domain Richard I, the Lionhearted (1189-1199) King John I, John Lackland, Evil King John Their left legs A crown Picture in text (p. 291)
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 10/22/2011 for the course CS CS 2710 taught by Professor Wiebe during the Fall '11 term at Pittsburgh.

Page1 / 17

lecch08part2 - CS2710,ISSP2610 Chapter8,Part2 FOPC 1 Review...

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

View Full Document
Ask a homework question - tutors are online