Inference

From AGIRI.org

Inference is the process of drawing conclusions according to rules of Logic

The most commonly discussed type of inference is Deductive Inference but other kinds such as Inductive Inference and Abductive Inference are equally important.

There is also a distinction between First Order Inference and Higher Order Inference, which has a different significance within different Logic systems.

One may also refer to Commonsense Inference, meaning inference about everyday human life type events rather than for instance Mathematical Theorem Proving.

Mind Ontology Links

Supercategory: Focused Cognitive Process
Subcategory: Deductive Inference
Subcategory: Abductive Inference
Subcategory: Inductive Inference
Subcategory: Predictive Inference
Subcategory: Postdictive Inference
Subcategory: Temporal Inference
Subcategory: Belief Revision
Subcategory: First Order Inference
Subcategory: Higher Order Inference
Subcategory: Commonsense Inference
Subcategory: Mathematical Theorem Proving
Associated: Logic
Associated: PLN
Associated: NARS