DocumentCode
3266220
Title
On inference algebra: A formal means for machine reasoning and cognitive computing
Author
Wang, Yingxu
Author_Institution
Dept. of Electr. & Comput. Eng., Univ. of Calgary, Calgary, AB, Canada
fYear
2011
fDate
18-20 Aug. 2011
Firstpage
4
Lastpage
6
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/COGINF.2011.6016115
Filename
6016115
Link To Document