Journal
INTERNATIONAL JOURNAL OF COGNITIVE INFORMATICS AND NATURAL INTELLIGENCE
Volume 5, Issue 4, Pages 61-82Publisher
IGI GLOBAL
DOI: 10.4018/jcini.2011100105
Keywords
Abstract Intelligence; Causal Differential; Cognitive Computers; Cognitive Informatics; Computational Intelligence; Denotational Mathematics; Formal Causations; Inference Algebra; Inference Engine
Categories
Funding
- Natural Science and Engineering Council of Canada (NSERC)
Ask authors/readers for more resources
Inference as the basic mechanism of thought is one of the gifted abilities of human beings. It is recognized that a coherent theory and mathematical means are needed for dealing with formal causal inferences. This paper presents a novel denotational mathematical means for formal inferences known as Inference Algebra (IA). IA is structured as a set of algebraic operators on a set of formal causations. The taxonomy and framework of formal causal inferences of IA are explored in three categories: a) Logical inferences on Boolean, fuzzy, and general logic causations; b) Analytic inferences on general functional, correlative, linear regression, and nonlinear regression causations; and c) Hybrid inferences on qualification and quantification causations. IA introduces a calculus of discrete causal differential and formal models of causations; based on them nine algebraic inference operators of IA are created for manipulating the formal causations. IA is one of the basic studies towards the next generation of intelligent computers known as cognitive computers. A wide range of applications of IA are identified and demonstrated in cognitive informatics and computational intelligence towards novel theories and technologies for machine- enabled inferences and reasoning.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available