chapter12 - CS2710,ISSP2160 Chapter12...

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

View Full Document Right Arrow Icon
1 CS 2710, ISSP 2160 Chapter 12 Knowledge Representation
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 KR Last 3 chapters:  syntax, semantics, and proof  theory of propositional and first-order logic Chapter 12:  what content to put into an agent’s  KB How to represent knowledge of the world
Background image of page 2
3 Natural Kinds Some categories have strict definitions (triangles, squares,  etc) Natural kinds don’t Define a cup (distinguishing it from bowls, mugs, glasses,  etc) Bachelor:  is the Pope a bachelor? But logical treatment can be useful (can extend with  typicality, uncertainty, fuzziness)
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 Upper Ontologies An ontology is similar to a dictionary but with greater  detail and structure Ontology:  concepts, relations, axioms that formalize a  field of interest Upper ontology:  only concepts that are meta, generic,  abstract; cover a broad range of domain areas IEEE Standard Upper Ontology Working Group
Background image of page 4
5 Anything AbstractObjects GeneralizedEvents Sets Numbers RepresentationalObjects Interval Places PhysicalObjects Processes Categories Sentences Measurements Moments things stuff times weights animals agents solid liquid gas Lower concepts are specializations of their parents
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 Categories and Objects I want to marry a Swedish woman Category of Swedish woman? A particular woman who is Swedish?
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.

Page1 / 18

chapter12 - CS2710,ISSP2160 Chapter12...

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