On the Class of JSM Reasoning That Uses the Isomorphism of Inductive Inference Rules |
| |
Authors: | V K Finn |
| |
Institution: | 1.Institute for Systems Analysis, Computer Science and Control Federal Research Center,Russian Academy of Sciences,Moscow,Russia |
| |
Abstract: | This paper defines a special class of JSM reasoning whose strategies use the isomorphism of direct products of lattices that represent inductive inference rules. It is shown that the JSM reasoning formed by inductive inferences rules, analogical inference rules, and procedures for abductive acceptance of hypotheses is relationally correct. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|