A Formal Knowledge Retrieval System for Cognitive Computers and Cognitive Robotics
Yingxu Wang, Yousheng Tian · International Journal of Software Science and Computational Intelligence · 2013
Intelligent knowledge base theories and technologies are fundamentally centric in machine learning and cognitive robotics. This paper presents the design of a formal knowledge retrieval system (FKTS) for intelligent knowledge base modeling and manipulations based on concept algebra. In order to rigorously design and implement FKTS, real-time process algebra (RTPA) is adopted to formally describe the architectures and behaviors of FKTS. The architectural model of FKTS in the form of a set of unified structure models (USMs) is rigorously described. On the basis of USMs, functional models of FKTS are hierarchically refined by a set of unified process models (UPMs). The UPMs of FFTS are divided into two subsystems known as those of the knowledge visualization and knowledge base retrieval subsystems where the content-addressed searching mechanism is implemented in knowledge bases manipulations. The FKTS system is design and implemented as a part of the cognitive learning engine (CLE) for cognitive computers and cognitive robots.