1 cs 2710, issp 2160 chapter 12, part 1 knowledge representation
DESCRIPTION
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)TRANSCRIPT
![Page 1: 1 CS 2710, ISSP 2160 Chapter 12, Part 1 Knowledge Representation](https://reader036.vdocuments.mx/reader036/viewer/2022062600/5a4d1b5a7f8b9ab0599aaa8a/html5/thumbnails/1.jpg)
1
CS 2710, ISSP 2160
Chapter 12, Part 1Knowledge Representation
![Page 2: 1 CS 2710, ISSP 2160 Chapter 12, Part 1 Knowledge Representation](https://reader036.vdocuments.mx/reader036/viewer/2022062600/5a4d1b5a7f8b9ab0599aaa8a/html5/thumbnails/2.jpg)
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
![Page 3: 1 CS 2710, ISSP 2160 Chapter 12, Part 1 Knowledge Representation](https://reader036.vdocuments.mx/reader036/viewer/2022062600/5a4d1b5a7f8b9ab0599aaa8a/html5/thumbnails/3.jpg)
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)
![Page 4: 1 CS 2710, ISSP 2160 Chapter 12, Part 1 Knowledge Representation](https://reader036.vdocuments.mx/reader036/viewer/2022062600/5a4d1b5a7f8b9ab0599aaa8a/html5/thumbnails/4.jpg)
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
![Page 5: 1 CS 2710, ISSP 2160 Chapter 12, Part 1 Knowledge Representation](https://reader036.vdocuments.mx/reader036/viewer/2022062600/5a4d1b5a7f8b9ab0599aaa8a/html5/thumbnails/5.jpg)
5
AnythingAbstractObjects 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
![Page 6: 1 CS 2710, ISSP 2160 Chapter 12, Part 1 Knowledge Representation](https://reader036.vdocuments.mx/reader036/viewer/2022062600/5a4d1b5a7f8b9ab0599aaa8a/html5/thumbnails/6.jpg)
6
Categories and Objects• I want to marry a Swedish woman
– Category of Swedish woman?– A particular woman who is Swedish?
• Choices for representing categories: predicates or reified objects
• basketball(b) vs member(b,basketballs)
• Let’s go with the reified version…
![Page 7: 1 CS 2710, ISSP 2160 Chapter 12, Part 1 Knowledge Representation](https://reader036.vdocuments.mx/reader036/viewer/2022062600/5a4d1b5a7f8b9ab0599aaa8a/html5/thumbnails/7.jpg)
7
Facts about categories and objects in FOL
• An object is a member of a category• A category is a subclass of another
category• All members of a category have some
properties (necessary properties)• Members of a category can be recognized
by some properties (sufficient properties)• A category as a whole has some properties
Note: idealization of real categoriesExamples: in Lecture
![Page 8: 1 CS 2710, ISSP 2160 Chapter 12, Part 1 Knowledge Representation](https://reader036.vdocuments.mx/reader036/viewer/2022062600/5a4d1b5a7f8b9ab0599aaa8a/html5/thumbnails/8.jpg)
• Before continuing: inspiration for creative reification!
• From Through the Looking Glass
8
![Page 9: 1 CS 2710, ISSP 2160 Chapter 12, Part 1 Knowledge Representation](https://reader036.vdocuments.mx/reader036/viewer/2022062600/5a4d1b5a7f8b9ab0599aaa8a/html5/thumbnails/9.jpg)
9
Other Relationships• disjoint (no members in common)• exhaustive decomposition of a
category (all members are in at least one of the sets)
• Partition: disjoint, exhaustive decomposition
• Examples in lecture
![Page 10: 1 CS 2710, ISSP 2160 Chapter 12, Part 1 Knowledge Representation](https://reader036.vdocuments.mx/reader036/viewer/2022062600/5a4d1b5a7f8b9ab0599aaa8a/html5/thumbnails/10.jpg)
10
Composite Objects• partof(england,europe)• All X,Y,Z ((partof(X,Y) ^ partof(Y,Z))
partof(X,Z))• Heavy(bunchOf({apple1,apple2,appl
e3}))
![Page 11: 1 CS 2710, ISSP 2160 Chapter 12, Part 1 Knowledge Representation](https://reader036.vdocuments.mx/reader036/viewer/2022062600/5a4d1b5a7f8b9ab0599aaa8a/html5/thumbnails/11.jpg)
11
Measures• Diameter(basketball12) = inches(9.5)• All XY ((member(X,dimestore) ^
sells(X,Y)) cost(Y) = $(1))• member(db1,dollarbills)• member(db2,dollarbills)• denomination(db1) = $(1) • denomination(db2) = $(1)There are multiple dollar bills, but a single
$(1)
![Page 12: 1 CS 2710, ISSP 2160 Chapter 12, Part 1 Knowledge Representation](https://reader036.vdocuments.mx/reader036/viewer/2022062600/5a4d1b5a7f8b9ab0599aaa8a/html5/thumbnails/12.jpg)
12
Ordinal Comparisons• But often scales are not so precisely
defined• Often, ordinal comparisons among
members of categories are useful• member(p1,poems) ^ member(p2,poems)
^ beauty(p1) < beauty(p2)We don’t have to say p1 has beauty 54.321
Qualitative physics: reasoning about physical systems without detailed
equations and numerical simulations.
![Page 13: 1 CS 2710, ISSP 2160 Chapter 12, Part 1 Knowledge Representation](https://reader036.vdocuments.mx/reader036/viewer/2022062600/5a4d1b5a7f8b9ab0599aaa8a/html5/thumbnails/13.jpg)
13
Stuff versus Things• Suppose some ice cream and a cat
in front of you. There is one cat, but no obvious number of ice-cream things in front of you.
• A piece of an ice-cream thing is an ice-cream thing (until you get down to very low level)
• A piece of a cat is not a cat
![Page 14: 1 CS 2710, ISSP 2160 Chapter 12, Part 1 Knowledge Representation](https://reader036.vdocuments.mx/reader036/viewer/2022062600/5a4d1b5a7f8b9ab0599aaa8a/html5/thumbnails/14.jpg)
14
Stuff versus Things• Linguistically distinguished, in English
through mass versus count noun phrases• “a cat”• “an ice-cream” (you have to coerce this to
a thing, such as an ice-cream bar, or a variety of ice cream)
• “a sand”, “an energy” (same thing – need coercion)
• “some cat” (you have to coerce this to a substance; eeewww)
• Lecture: representation schemes
![Page 15: 1 CS 2710, ISSP 2160 Chapter 12, Part 1 Knowledge Representation](https://reader036.vdocuments.mx/reader036/viewer/2022062600/5a4d1b5a7f8b9ab0599aaa8a/html5/thumbnails/15.jpg)
15
Actions, Situations, and Events
The Situation Calculus• The robot is in the kitchen.
– in(robot,kitchen)• He walks into the living room.
– in(robot,livingRoom)• in(robot,kitchen,2:02pm)• in(robot,livingRoom,2:17pm)• But what if you are not sure when it was? • We can do something simpler than rely on
time stamps…
![Page 16: 1 CS 2710, ISSP 2160 Chapter 12, Part 1 Knowledge Representation](https://reader036.vdocuments.mx/reader036/viewer/2022062600/5a4d1b5a7f8b9ab0599aaa8a/html5/thumbnails/16.jpg)
16
Situation Calculus Ontology
• Actions: terms, such as “forward” and “turn(right))”
• Situations: terms; initial situation, say s0, and all situations that are generated by applying an action to a situation. result(a,s) names the situation resulting when action a is done in situation s.
![Page 17: 1 CS 2710, ISSP 2160 Chapter 12, Part 1 Knowledge Representation](https://reader036.vdocuments.mx/reader036/viewer/2022062600/5a4d1b5a7f8b9ab0599aaa8a/html5/thumbnails/17.jpg)
17
Situation Calculus Ontology continued
• Fluents: functions and predicates that vary from one situation to the next. By convention, the situation is the last argument of the fluent. ~holding(robot,gold,s0)
• Atemporal or eternal predicates and functions do not change from situation to situation. gold(g1). lastName(wumpus,smith). adjacent(livingRoom,kitchen).
![Page 18: 1 CS 2710, ISSP 2160 Chapter 12, Part 1 Knowledge Representation](https://reader036.vdocuments.mx/reader036/viewer/2022062600/5a4d1b5a7f8b9ab0599aaa8a/html5/thumbnails/18.jpg)
18
Sequences of Actions• Also useful to reason about action
sequences• All S resultSeq([],S) = S• All A,Se,S resultSeq([A|Se],S) =
resultSeq(Se,result(A,S))resultSeq([a,b,a2,a3],so) is
result(a3,result(a2,result(b,result(a,s0)
![Page 19: 1 CS 2710, ISSP 2160 Chapter 12, Part 1 Knowledge Representation](https://reader036.vdocuments.mx/reader036/viewer/2022062600/5a4d1b5a7f8b9ab0599aaa8a/html5/thumbnails/19.jpg)
19
Modified Wumpus World• Fluent predicates: at(O,X,S) and
holding(O,S) – In our simple world, only the agent can
hold a piece of gold, so for simplicity, only the gold and situation are arguments
• Initial situation: at(agent,[1,1],s0) ^ at(g1,[1,2],s0)
• But we want to exclude possibilities from the initial situation too…
![Page 20: 1 CS 2710, ISSP 2160 Chapter 12, Part 1 Knowledge Representation](https://reader036.vdocuments.mx/reader036/viewer/2022062600/5a4d1b5a7f8b9ab0599aaa8a/html5/thumbnails/20.jpg)
20
Initial KB• All O,X (at(O,X,s0) [(O=agent ^ X = [1,1]) v (O=g1 ^ X
= [1,2])])• All O ~holding(O,s0)• Eternals:
– gold(g1) ^ adjacent([1,1],[1,2]) ^ adjacent([1,2],[1,1]) etc.
![Page 21: 1 CS 2710, ISSP 2160 Chapter 12, Part 1 Knowledge Representation](https://reader036.vdocuments.mx/reader036/viewer/2022062600/5a4d1b5a7f8b9ab0599aaa8a/html5/thumbnails/21.jpg)
21
Goal: g1 is in [1,1]At(g1,[1,1],resultSeq( [go([1,1],[1,2]),grab(g1),go([1,2],[1,1])],s0)Planning by answering the query: Exists S at(g1,[1,1],resultSeq(S,s0))
So, what has to go in the KB for such queries to be answered?...
![Page 22: 1 CS 2710, ISSP 2160 Chapter 12, Part 1 Knowledge Representation](https://reader036.vdocuments.mx/reader036/viewer/2022062600/5a4d1b5a7f8b9ab0599aaa8a/html5/thumbnails/22.jpg)
22
Possibility and Effect Axioms• Possibility axioms:
– Preconditions poss(A,S)• Effect axioms:
– poss(A,S) changes that result from that action
![Page 23: 1 CS 2710, ISSP 2160 Chapter 12, Part 1 Knowledge Representation](https://reader036.vdocuments.mx/reader036/viewer/2022062600/5a4d1b5a7f8b9ab0599aaa8a/html5/thumbnails/23.jpg)
23
Axioms for our Wumpus World
• For brevity: we will omit universal quantifies that range over entire sentence. S ranges over situations, A ranges over actions, O over objects (including agents), G over gold, and X,Y,Z over locations.
![Page 24: 1 CS 2710, ISSP 2160 Chapter 12, Part 1 Knowledge Representation](https://reader036.vdocuments.mx/reader036/viewer/2022062600/5a4d1b5a7f8b9ab0599aaa8a/html5/thumbnails/24.jpg)
24
Possibility Axioms• The possibility axioms that an
agent can – go between adjacent locations, – grab a piece of gold in the current
location, and – release gold it is holding
![Page 25: 1 CS 2710, ISSP 2160 Chapter 12, Part 1 Knowledge Representation](https://reader036.vdocuments.mx/reader036/viewer/2022062600/5a4d1b5a7f8b9ab0599aaa8a/html5/thumbnails/25.jpg)
25
Effect Axioms• If an action is possible, then certain
fluents will hold in the situation that results from executing the action– Going from X to Y results in being at Y– Grabbing the gold results in holding the
gold– Releasing the gold results in not holding
it
![Page 26: 1 CS 2710, ISSP 2160 Chapter 12, Part 1 Knowledge Representation](https://reader036.vdocuments.mx/reader036/viewer/2022062600/5a4d1b5a7f8b9ab0599aaa8a/html5/thumbnails/26.jpg)
26
Frame Problem• We run into the frame problem• Effect axioms say what changes,
but don’t say what stays the same• A real problem, because (in a non-
toy domain), each action affects only a tiny fraction of all fluents
![Page 27: 1 CS 2710, ISSP 2160 Chapter 12, Part 1 Knowledge Representation](https://reader036.vdocuments.mx/reader036/viewer/2022062600/5a4d1b5a7f8b9ab0599aaa8a/html5/thumbnails/27.jpg)
27
Frame Problem (continued)
• One solution approach is writing explicit frame axioms, such as:
(at(O,X,S) ^ ~(O=agent) ^ ~holding(O,S)) at(O,X,result(Go(Y,Z),S))
If something is at X in S, and it is not the agent, and also it is not something the agent holds, then O is still at X if the agent moves somewhere.