Extending Semantic Nets

Here we will consider some extensions to Semantic nets that overcome a few problems (see Exercises) or extend their expression of knowledge.

Partitioned Networks

Partitioned Semantic Networks allow for:

• propositions to be made without commitment to truth.
• expressions to be quantified.

Basic idea:

Break network into spaces which consist of groups of nodes and arcs and regard each space as a node.

Consider the following:

Andrew believes that the earth is flat.

We can encode the proposition the earth is flat in a space and within it have nodes and arcs the represent the fact (Fig. ).

We can the have nodes and arcs to link this space the the rest of the network to represent Andrew's belief.

Fig. Partitioned network

Now consider the quantified expression:

Every parent loves their child

To represent this we:

• Create a general statement, GS, special class.
• Make node g an instance of GS.
• Every element will have at least 2 attributes:
  • a form that states which relation is being asserted.
  • one or more forall () or exists () connections - these represent universally quantifiable variables in such statements e.g. in

    parent(x) : child(y) loves(x,y)

Here we have to construct two spaces one for each .

NOTE: We can express variables as existentially qualified variables and express the event of love having an agent p and receiver b for every parent p which could simplify the network (See Exercises).

So we could construct a partitioned network as in Fig.

Fig. Partitioned network