This preview shows pages 1–2. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: ConceptNet: more than isA relationships i.e.: coook --(located in)--> restaurant Predicate Calculus predicates All humans are motal . mortal (isA)--> human 2200 x(human(x)mortal(x)) This is a universal quantifier. There may be no humans and the statement still holds. Some humans are nice. 5 x(human(x) and nice(x)) At least once human is nice. There must exist at least one human for this statement to hold. Mary likes all birds. 2200 x(bird(x)likes(Mary,x)) Cyc uses predicate calculus Nobody likes Peter. 2200 x(human(x) likes(x,Peter)) Everybody likes Peter. 2200 x(human(x)likes(x,Peter)) Every human loves someone. 2200 x(human(x) 5 y(human(y) and loves(x,y)))...
View Full Document
This note was uploaded on 11/01/2009 for the course CECS cap4630 taught by Professor Fernandogomez during the Fall '09 term at University of Central Florida.
- Fall '09