Premium
Non‐monotonic characterization of induction and its application to inductive learning
Author(s) -
Núñez Gustavo,
Cortés Ulises,
Larrosa Javier
Publication year - 1995
Publication title -
international journal of intelligent systems
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.291
H-Index - 87
eISSN - 1098-111X
pISSN - 0884-8173
DOI - 10.1002/int.4550101004
Subject(s) - inductive reasoning , inference , inductive bias , computer science , monotonic function , rule induction , mathematical induction , rule of inference , artificial intelligence , machine learning , process (computing) , characterization (materials science) , jump , mathematics , task (project management) , multi task learning , programming language , mathematical analysis , geometry , management , physics , quantum mechanics , economics , materials science , nanotechnology
In this article a new approach to the formalization of inductive inference in terms of non‐monotonic inference is proposed. Induction is characterized as closed‐world reasoning from the available data, followed by an inductive jump, which consists in assuming that valid conclusions in the database (assuming closed‐world) hold also in the rest of the world. This conception of induction results is adequate to characterize those inference processes that could be formalized, that is, those based in analytical procedures of pattern‐matching or regularity detection in the available data. the proposed characterization formally describes the implicit deductive processes of induction and its non‐monotonic nature, and could be used as an abstract model of the mental process that leads to obtaining inductive hypotheses. This proposal reduces the problem of induction automatization to that of deduction automatization. Also, it constitutes a formal framework that covers several inductive inference methods used in machine learning. Besides it formalizes inductive definitions, which are very common in science and computer science. © 1995 John Wiley & Sons, Inc.