lecch08part2

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

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

View Full Document Right Arrow Icon
1 CS 2710, ISSP 2610 Chapter 8, Part 2 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 Review FOPC Worlds Objects:   the gold, the wumpus, people, ideas, …  “the domain” Predicates:   holding, breezy, red, sisters Functions:  fatherOf, colorOf, plus Ontological commitment
Background image of page 2
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
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 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
Background image of page 4
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
Background image of page 5

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

View Full DocumentRight Arrow Icon
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)
Background image of page 6
Image of page 7
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 Right Arrow Icon
Ask a homework question - tutors are online