On JSM Reasoning Applicable to Unions of Factbase Subsets: Part 2


Cite item

Full Text

Open Access Open Access
Restricted Access Access granted
Restricted Access Subscription Access

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

Supplementary Files
Action
1. JATS XML

Copyright (c) 2017 Allerton Press, Inc.