Abstract:Induction is fundamental to the acquisition of human knowledge. Twenty-four centuries ago, Plato raised the point that people have much more knowledge than what appears to be present in the information to which they have been exposed. Chomsky referred to it as Plato’s problem to describe the gap between knowledge and experience[1]. Induction can be regarded as an important property of intelligence. Human beings have the ability of generalizing from already known cases to new unknown cases with which they share similarities or patterns. Actually, people have been seeking patterns in data throughout human history. Hunters seek patterns in animal migration behavior in order to hunt for survival, farmers seek patterns in crop growth in order to feed themselves and their families, businessmen seek patterns from markets to make profit, and politicians seek patterns in voter opinions in order to be elected. A scientist’s job is to make sense of observed evidence (or data) in order to discover the patterns that govern how the physical world works and encapsulate them in theories that can be used for predicting what will happen in the future. Scientists are the first group of people who woke up and dared to argue with the followers of the Almighty on the issues such as the earth is not the center of the universe and human beings, like all other species, have evolved to what they are today. The powerful tool they have been employing, so called science, is based on such a hypothesis-evidence paradigm. With the development of new measuring tools, we can always find more new evidence about the nature and our hypothesis spaces have been updated again and again by those giants like Copernicus, Newton, Maxwell, Darwin and Einstein.

Inductive Inference and Software Testing.

Learning Likely Invariants to Explain Why a Program Fails

Abductive Inference and Scientific Metaphors

Induction and Learning

The Inductive Logic of Information Systems

Toward a Mathematical Theory of Inductive Inference

Phenomenal Yet Puzzling: Testing Inductive Reasoning Capabilities of Language Models with Hypothesis Refinement

When Is Inductive Inference Possible?

Software Automation: from 'silly' to 'Intelligent'

Inferring Inductive Invariants from Phase Structures

Applications of Causality and Causal Inference in Software Engineering

The Psychological Defense for the Rationality of Inductive Inference

Probabilistic Program Verification Via Inductive Synthesis of Inductive Invariants.

INDED: a distributed knowledge-based learning system

PreInfer: Automatic Inference of Preconditions via Symbolic Analysis

The Cognitive Neural Mechanism of Human Inductive Reasoning: A Brain Informatics Perspective

A Logical Study of Some Common Principles of Inductive Definition and its Implications for Knowledge Representation

Exploiting Synergy Between Testing and Inferred Partial Specifications

Sciduction: Combining Induction, Deduction, and Structure for Verification and Synthesis

Inductive learning: Algorithms and frontiers

Knowledge Graph Driven Inference Testing for Question Answering Software