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

fYear

2011

fDate

18-20 Aug. 2011

Firstpage

23

Lastpage

32

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;

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.6016118

Filename

6016118