On JSM Reasoning Applicable to Unions of Factbase Subsets: Part 2
В. К. Финн, O. P. Shesternikova · Automatic Documentation and Mathematical Linguistics · 2017
In the first part of this paper (STI, Ser. 2, 2017, No. 11, pp. 11–25), we considered four types of strategies in JSM reasoning that contain predicates M σ (V,X,Y) to generate hypotheses with a ternary causality relations. This paper investigates quasi-axiomatic theories (QAT), whose logical means is JSM reasoning with different types of strategies and considers the semantic bases of QAT.