An Object- Oriented Approach to Counter-Model Constructions in A Fragment of Natural Language

Abstract

This article presents a technical construction of reasoning and counter-models for some sentences called fragments as in [9] in English. Speaking English and logical inferences are brought together in computer based approach to natural language. Not only the inferences in the language [7] are given but also counter-model constructions in case of no inference from input sentences. Approach of this construction considers usage of minimal number of set elements.