Title :
On inference algebra: A formal means for machine reasoning and cognitive computing
Author_Institution :
Dept. of Electr. & Comput. Eng., Univ. of Calgary, Calgary, AB, Canada
Abstract :
Inference as a fundamental mechanism of thought is one of the gifted abilities of human beings. Inference can be described as a cognitive process that creates rational causations between a pair of cause and effect based on empirical arguments, formal reasoning, and/or statistical regulations [2, 15, 24, 26]. Conventional logic inferences may be classified as logical arguments, deductive, inductive, abductive, and analogical inferences [4, 9, 10, 11, 15].
Keywords :
algebra; cognitive systems; inference mechanisms; abductive inference; analogical inference; cognitive computing; cognitive process; conventional logic inference; deductive inference; empirical argument; formal reasoning; fundamental mechanism; inductive inference; inference algebra; logical argument; machine reasoning; statistical regulation; Cognition; Software; Software engineering;
Conference_Titel :
Cognitive Informatics & Cognitive Computing (ICCI*CC ), 2011 10th IEEE International Conference on
Conference_Location :
Banff, AB
Print_ISBN :
978-1-4577-1695-9
DOI :
10.1109/COGINF.2011.6016115
