Descriptions as Constraints in Object-Oriented Representation

A motivation is given to introduce indefinite descriptions. Parts of a description language are presented. Mechanisms for the interpretation of indefinite descriptions are briefly discussed.

[1]  Alan Borning,et al.  ThingLab: a constraint-oriented simulation laboratory , 1979 .

[2]  Peter Henderson,et al.  A lazy evaluator , 1976, POPL.

[3]  William A. Kornfeld.  Equality for Prolog , 1983, IJCAI.

[4]  Carl Hewitt,et al.  Viewing Control Structures as Patterns of Passing Messages , 1977, Artif. Intell..

[5]  Terry Winograd,et al.  Language as a cognitive process 1: Syntax , 1982 .

[6]  Robert A. Kowalski,et al.  Logic for problem solving , 1982, The computer science library : Artificial intelligence series.