Title :
A formal knowledge representation system for the cognitive learning engine
Author :
Tian, Yousheng ; Wang, Yingxu ; Gavrilova, Marina L. ; Ruhe, Guenther
Author_Institution :
Univ. of Calgary, Calgary, AB, Canada
Abstract :
Knowledge representation is one of the central problems in the design and implementation of a cognitive learning engine (CLE). A formal knowledge representation system (FKRS) is developed for autonomous concept formation based on concept algebra. The object-attribute-relation (OAR) model for knowledge representation is adopted in the design of FKRS. The conceptual model, architectural model, and behavioral models of the FKRS system is formally designed and specified in real-time process algebra (RTPA). The FKRS system is implemented in Java as a major component towards the development of the CLE and other knowledge-based systems in cognitive computing and computational intelligence.
Keywords :
cognition; formal concept analysis; knowledge based systems; knowledge representation; process algebra; Java; architectural model; autonomous concept formation; behavioral models; cognitive computing; cognitive learning engine; computational intelligence; concept algebra; conceptual model; formal knowledge representation; knowledge-based systems; object-attribute-relation model; real-time process algebra; Ash; Integrated circuit modeling; Visualization; Weaving; Cognitive informatics; RTPA; algorithms; autonomous concept formation; cognitive learning engine; concept algebra; formal design models; knowledge representation; machine learning; software engineering; software science;
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.6016118
