论文信息 - Brand X: LISP Suport for Semantic Networks

Brand X: LISP Suport for Semantic Networks

BRAND X is a simple representation language implemented as a pure extension of LISP. BRAND X provides the following additional facilities over LISP: Unique and canonical structures, property lists for all objects, labels for all objects, and a syntax to express each of these, supported by a reader and printer. BRAND X is intended as an "assembly language" for representation languages, attempting to provide facilities generally found useful in the simplest manner, without any strong commitment to specific representational conventions. The fundamental ideas of the language are described, an overview of its features and notation is given, and some inherent problems of implementation and semantics are presented.

Peter Szolovits | William A. Martin

[1] Carl Hewitt,et al. Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot , 1972 .

[2] Drew McDermott,et al. From PLANNER to CONNIVER: a genetic approach , 1972, AFIPS '72 (Fall, part II).

[3] Daniel G. Bobrow,et al. On Overview of KRL, a Knowledge Representation Language , 1976, Cogn. Sci..

[4] Peter Szolovits,et al. An Overview of OWL, a language for knowledge representation , 1977 .

[5] Richard J. Waldinger,et al. QA4: A Procedural Calculus for Intuitive Reasoning. , 1972 .

[6] Ira P. Goldstein,et al. NUDGE, A Knowledge-Based Scheduling Program , 1977, IJCAI.

[7] David A. Moon,et al. The Lisp Machine manual , 1981, SGAR.

[8] William A. Martin. Roles, Co-Descriptors, and the Formal Representation of Quantified English Expressions , 1981, Am. J. Comput. Linguistics.

[9] Craig Schaffert,et al. Abstraction mechanisms in CLU , 1977, Commun. ACM.

[10] Ronald J. Brachman,et al. Research in Natural Language Understanding , 1978 .

[11] Lowell B Hawkinson. XLMS: A Linguistic Memory System, , 1980 .

[12] Daniel G. Bobrow,et al. A note on hash linking , 1975, CACM.