Textbook of AI

A frame, introduced by Marvin Minsky in his 1974 MIT memo A Framework for Representing Knowledge, is a structured knowledge-representation primitive consisting of a named collection of slots (attributes), each with associated default values, constraints on permissible fillers, and optional procedural attachments that fire when the slot is read or written. A frame for restaurant might have slots for cuisine-type, price-range, typical-meal-script, expected-staff-roles, payment-norms, and so on; an instance frame for that Italian place on Karangahape Road inherits the defaults but overrides specific fillers. Frames may be linked into inheritance hierarchies, the restaurant frame is a specialisation of commercial-establishment, which in turn specialises building-with-people-in-it, so that defaults and constraints cascade downwards in the manner familiar from object-oriented class hierarchies.

Minsky proposed frames as an alternative to the purely logical, predicate-calculus-based representations dominant in 1970s AI. The motivating intuition was that human commonsense reasoning depends on stereotyped situations, scripts for restaurants, schemas for birthday parties, expectations for hospital visits, that supply default expectations against which novel inputs are interpreted. A logical theorem-prover that needed to deduce, from first principles, that a restaurant is likely to have menus, waiters and a bill at the end would never finish; a system equipped with a restaurant frame simply reads off these defaults and proceeds.

Influence and descendants

Frames descended into a wide range of subsequent traditions:

• Schank's scripts (Schank and Abelson, 1977) extended frames to temporally structured event sequences: the restaurant-script includes ENTER, ORDER, EAT, PAY, LEAVE in canonical sequence.
• KL-ONE (Brachman, 1979) and the broader Description Logics tradition formalised frame-like structured concepts with rigorous logical semantics, eventually feeding into the Web Ontology Language (OWL) and the Semantic Web.
• Object-oriented programming descended in part from frames, every Java class, with its named fields, default values, type constraints, and method-attachment slots, is a frame in this sense; Alan Kay has explicitly traced Smalltalk's lineage to frames and Simula.
• Slot-filling tasks of modern conversational AI, a flight-booking dialogue system that must collect departure city, destination, date, time and number of passengers, are direct descendants of frame-based dialogue managers from the 1980s.

Default reasoning

The default values mechanism gave AI its first formal treatment of non-monotonic reasoning, reasoning that can be retracted in light of new evidence. The classic example: a bird frame has a default can-fly = true; on learning the specific bird is a penguin, the default is overridden. Logical formalisms for this, Reiter's default logic (1980), Moore's autoepistemic logic (1985), McCarthy's circumscription (1980), followed the frame proposal and are part of its conceptual aftermath. Modern neural systems implicitly perform default reasoning through learned regularities, but the explicit, inspectable, frame-based variety remains useful in safety-critical and clinical domains where the reasoning trace must be auditable.