On JSM Reasoning Applicable to Unions of Factbase Subsets: Part 2
- Authors: Finn V.K.1, Shesternikova O.P.1,2
-
Affiliations:
- Federal Research Center Computer Science and Control Russian Academy of Sciences
- Progtech Ltd.
- Issue: Vol 51, No 6 (2017)
- Pages: 266-288
- Section: Information Analysis
- URL: https://journal-vniispk.ru/0005-1055/article/view/150189
- DOI: https://doi.org/10.3103/S0005105517060073
- ID: 150189
Cite item
Abstract
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 Magσ(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.
About the authors
V. K. Finn
Federal Research Center Computer Science and Control Russian Academy of Sciences
Author for correspondence.
Email: ira.finn@gmail.com
Russian Federation, Moscow
O. P. Shesternikova
Federal Research Center Computer Science and Control Russian Academy of Sciences; Progtech Ltd.
Email: ira.finn@gmail.com
Russian Federation, Moscow; Moscow
Supplementary files
