Abstract :
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.
Keywords :
LA-grammar , Procedural semantics , SLIM theory of language , Concatenated propositions , Autonomous navigation , Motor algorithm , semantic networks , Human–computer communication , Natural language , Query , Inference
