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

Automatic Documentation and Mathematical Linguistics（2018）

引用 1|浏览4

暂无评分

摘要

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 ag σ ( 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.

查看译文

关键词

JSM reasoning, generalized JSM method, predicates of similarity, rules of plausible inference, quasi-axiomatic theories (QAT), consistency of QAT, semantics of QAT

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要