Frames and semantic nets importance

Semantic net

A semantic net is a graph of nodes (objects, concepts) joined by labelled arcs (relations such as is-a, instance, has-part). Properties are inherited along is-a links.

Example and FOPL equivalent:

 [Mammal] --has--> [Fur]
    ^ is-a
 [Person] --has-part--> [Nose]
    ^ instance
 [Ram] --team--> [Nepal]

• ∀x person(x) → mammal(x)
• person(Ram)
• ∀x person(x) → has_part(x, Nose)
• team(Ram, Nepal)

Frame

A frame is a data structure for a stereotyped object or situation (Minsky, 1975). It has a name and a set of slots (attributes), each with facets (value, default, type/range restriction, if-needed / if-added procedures). Frames are linked in a hierarchy (class frame and instance frames), so slot values are inherited.

Frame: Person              Frame: Student
 is-a: Mammal               is-a: Person
 legs: 2 (default)          institution: IOE
 age: [0..120]              roll_no: [if-needed: look up]
 
Frame: Sita
 instance-of: Student
 age: 20
 institution: Pulchowk

FOPL: ∀x student(x) → person(x); student(Sita); age(Sita, 20); ∀x person(x) → legs(x, 2).

Why they are important in AI

• They organise large amounts of knowledge around objects, close to how humans store it.
• Inheritance and defaults give efficient reasoning and economical storage.
• They support expectation-driven processing (understanding stories, vision, expert systems) because missing slots can be filled by defaults.

How frames help semantic nets

A node in a semantic net is just a label. Turning a node into a frame gives it internal structure: named slots, defaults, constraints and attached procedures. So the net's arcs become slot-to-frame links, and each node can carry detailed attribute knowledge. This is why a frame system is often seen as a structured semantic net.

Advantages

• Natural, structured and modular; easy to add new objects.
• Inheritance, defaults and procedural attachment (demons).
• Fast retrieval of all information about one object.

Limitations

• No formal, uniform semantics; hard to guarantee correctness.
• Weak at negation, disjunction and quantified statements.
• Handling exceptions to inheritance is awkward; reasoning is limited compared with logic.
• Large frame systems are difficult to design and maintain.