ARLO: Another Representation Language Offer


Autoria(s): Haase, Kenneth W., Jr.
Data(s)

20/10/2004

20/10/2004

01/10/1986

Resumo

This paper describes ARLO, a representation language loosely modelled after Greiner and Lenant's RLL-1. ARLO is a structure-based representation language for describing structure-based representation languages, 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 compiles into lisp code and ARLO structures whose interpretation fulfills the specified semantics of the representation. In addition, ARLO itself- as a representation language for expressing and compiling partial and complete language specifications- is described and interpreted in the same manner as the language it describes and implements. This self-description can be extended of 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 capabilities and limitations, applying general learning and problem solving strategies to enlarge or alleviate them.

Formato

95 p.

13247756 bytes

4867930 bytes

application/postscript

application/pdf

Identificador

AITR-901

http://hdl.handle.net/1721.1/6855

Idioma(s)

en_US

Relação

AITR-901

Palavras-Chave #knowledge representation #representation languages #smeta-representation #reflection #artificial intelligence #AIslanguages #RLL