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


Citar

Texto integral

Acesso aberto Acesso aberto
Acesso é fechado Acesso está concedido
Acesso é fechado Somente assinantes

Resumo

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.

Sobre autores

V. Finn

Federal Research Center Computer Science and Control Russian Academy of Sciences

Autor responsável pela correspondência
Email: ira.finn@gmail.com
Rússia, Moscow

O. Shesternikova

Federal Research Center Computer Science and Control Russian Academy of Sciences; Progtech Ltd.

Email: ira.finn@gmail.com
Rússia, Moscow; Moscow

Arquivos suplementares

Arquivos suplementares
Ação
1. JATS XML

Declaração de direitos autorais © Allerton Press, Inc., 2017