Abstract

We build the reasoning tool of metalanguage support (MS) with the embedded mechanism of the invention of predicates and metapredicates for the comprehension and synthesis tasks. This tool, based on metalanguage representation with weakened soundness, gains the inference flexibility to represent the formal scenarios (for example, a limited class of "logical" anecdotes, derived from NL). We introduce the concept of formal scenario as an alternative to the traditional axiomatic method (logical program) for the practical applications and develop specific MS means to perform the reasoning within a formal scenario. The anecdote scenario is an appealing object of study in the logical programming because it reflects the top level of human intellectual activity on one hand and is rather compact on the other. We present such applications as scenario comprehension and generation, genetic algorithm of MS formula modifications, NL aspects of scenarios and modeling of the psychological disorder with...

Citations