A Formal Knowledge Retrieval System for Cognitive Computers and Cognitive Robotics
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.