Professional Documents
Culture Documents
Concepts
Heshaam Faili hfaili@ut.ac.ir University of Tehran
Relations FOL
Semantic Networks
In 1909, Charles Peirce proposed a graphical notation of nodes and arcs called existential graphs A Semantic Network (SN) is a simple notation scheme for logical knowledge representation. A SN consists of a concepts and relations between concepts. Representing a SN with a directed graph :
The graphical depiction associated with a SN is a significant reason for their popularity.
2
example
Semantic Networks
Example (1)
Bill
John
Appropriate scheme :
Bill
height
John
height
Greater than
180
value
h1
h2
4
Draw relations on the basic of primitives. Represent complicated relations with this primitives.
Basic primitive height height Greater than
Taller than
h1
h2
Semantic Networks
Relations
The ISA (is-a) relation is often used to link instances to classes, classes to superclasses. Some links (e.g. isPart) are inherited along ISA paths. The semantics of a SN can be relatively very formal or informal.
Semantic Networks
Relations
furniture
is - a isPart
Chairs
is - a owner color
Seat
Me
is - a
My chair
covering
Tan
is - a
Person
Leather
Brown
7
Semantic Networks
Relations
Some times we had to override a relation for an inherited node (e.g travel by).
Eagle
is - a
Birds Panguin
Travel by
is - a
Animal
is - a
Travel by
Fly
8
Walk
Semantic Networks
Reification
Non-binary relationships can be represented by turning the relationship into an object This is an example of what logicians call reification.
consider an abstract concept to be real. We might want to represent the generic give event as a relation involving four things: an agent, a recipient, an object and an activation time.
9
Semantic Networks
Reification
Past
Recipient
Gave
is - a
Verb
Object
Agent
Mary
John
The book
10
Semantic Networks
Example (2)
aunt ( man ) : sister ( father ( man )) causion ( man ) : son ( brother ( mother ( man ))) etc .
11
Semantic Networks
Example (3)
X ( dog(X)
Y)))
Represent SN for one (dog, postman). Quantify the represented SN. GS is the set of generilized statements that has been quanified. 12
Semantic Networks
Example (3)
Dog
is - a
Bit
is - a Agent Object
Postman
is - a
GS
is - a
Form
13
?
14