A diagnosing procedure to be used in intelligent systems for language instruction is presented. Based on a knowledge representation scheme for a certain class of syntactic correctness conditions the system carries out a thorough analysis of possible error hypotheses and their consequences. A comparison with earlier attempts shows a clearly improved precision of diagnostic results. First of all,...

The aim of this paper is to present a formal semantics inspired by the notion of Mental Imagery, largely researched in Cognitive Science and Experimental Psychology, that grasps the full significance of the concept of context. The outcomes presented here are considered important for both the Knowledge Representation and Philosophy of Language communities for two reasons. Firstly, the semantics ...