for Another Representation Language Offer

Related languages
RLL => ARLO   Implementation

  • Haase, Kenneth W., Jr. "ARLO (Another Representation Language Offer): The Implementation of a Language for Describing Representation Languages" Technical Report TR 901 MIT Artificial Intelligence Laboratory Cambridge, Massachussets 02139 view details Abstract: This paper describes ARLO, a representation language language loosely modelled after Greiner and  Lenat's including itself. A given representation language is specified in ARLO by a collection of structures describing how its descriptions are interpreted, defaulted, and verified. This high level description is compiled into lisp code and ARLO structures whose interpretation fulfills the specified semantics of the representation. In addition, AFLO itself ? as a representation language for expressing and compiling partial and complete language specifications ? is described and interpreted in the same manner as the languages it describes and implements. This self description can be extended or modified to expand or alter the expressive power of ARLO's initial configuration. Languages which describe themselves ? like ARLO ? provide powerful mediums for systems which perform automatic self-modification, optimization, debugging, or documentation. AI systems implemented in such a self-descriptive language can reflect on their own.