Article Per Year (5 Year)
p-Index From 2021 - 2026
0
P-Index
This Author published in this journals
All Journal Bulletin of Electrical Engineering and Informatics Bulletin of Electrical Engineering and Informatics Bulletin of Electrical Engineering and Informatics
Boris A. Kulik
Institute of Problems in Mechanical Engineering, Russian Academy of Sciences
Computer Science & IT Electrical & Electronics Engineering Engineering

Published : 3 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 1 Documents
Search
Journal : Bulletin of Electrical Engineering and Informatics

 1 
Inductive Generalization in Logical Inference and Techniques to Estimate It Boris A. Kulik; Alexander Ya. Fridman
Bulletin of Electrical Engineering and Informatics Vol 3, No 3: September 2014
Publisher : Institute of Advanced Engineering and Science

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.11591/eei.v3i3.290

Abstract

The paper presents a novel approach to problems of deductive reasoning in frames of n-tuple algebra (NTA) earlier developed by the authors. Investigations of such problems let us determine the minimal consequence in logical inference and develop techniques to find it. Besides, we have proved that many formally correct consequences are inductive generalizations of this minimal consequence. An NTA-based method is proposed to obtain a numerical estimation for the degree of such an inductive generalization. In particular, it becomes possible to predict the number of consequences for a given system of premises and the share of a minimal consequence in a universe.
Co-Authors Alexander Ya. Fridman