Résumé: This paper presents a formal 'fragment' of database semantics as a declarative model of a cognitive agent. It is called a Slim machine and functionally integrates the procedures of natural language interpretation, conceptualization, and production as well as query and inference. Each of these functions is illustrated explicitly by a corresponding LA-grammar. In addition, a control structure based on the principle of balance is presented. This principle mediates between the knowledge of the Slim machine and its current situation by selecting a suitable action. B.V.

Langue: Anglais