A New Variant of the Generalized JSM-Method for Automatic Support of Scientific Research

被引:9
|
作者
Finn V.K. [1 ]
Shesternikova O.P. [2 ]
机构
[1] Federal Research Center Computer Science and Control, Russian Academy of Sciences, Moscow
[2] Progtech Ltd., Moscow
关键词
ban on counter examples; brake of cause; generalized [!text type='JS']JS[!/text]M-method;
D O I
10.3103/S0147688217050045
中图分类号
学科分类号
摘要
This article reviews a new variant of the generalized JSM-method for automatic support of scientific research (ASRS). This version of the JSM-method applied for ASRS contains ternary predicates of similarity (cause, brake, effect) which contain binary “cause–effect” predicates and explicit brake definitions. The article considers a possibility for the basis of fact partition for the cases of the truth of the generalized method and an inductive method of similarity with a ban on counter-example predicates. © 2017, Allerton Press, Inc.
引用
收藏
页码:338 / 344
页数:6
相关论文
共 39 条