Yousheng Tian

Learn More
It is recognized that the generic form of machine learning is a knowledge acquisition and manipulation process mimicking the brain. Therefore, knowledge representation as a dynamic concept network is centric in the design and implementation of the intelligent knowledge base of a Cognitive Learning Engine (CLE). This paper presents a Formal Knowledge(More)
Concept Algebra (CA) is a denotational mathematical structure for formal knowledge representation and manipulations in cognitive computing and machine learning. CA provides a rigorous and dynamic knowledge modeling and processing tool, which extends the informal, static, and application-specific ontological technologies. An operational semantics for the(More)
Towards the formalization of ontological methodologies for dynamic machine learning and semantic analyses, a new form of denotational mathematics known as concept algebra is introduced. Concept Algebra (CA) is a denotational mathematical structure for formal knowledge representation and manipulation in machine learning and cognitive computing. CA provides a(More)
A real-time operating system (RTOS) provides a platform for the design and implementation of a wide range of applications in real-time systems, embedded systems, and mission-critical systems. This paper presents a formal design model for a general RTOS known as RTOS+ that enables a specific target RTOS to be rigorously and efficiently derived in real-world(More)
A real-time operating system (RTOS) provides a platform for the design and implementation of a wide range of applications in real-time systems, embedded systems, and mission-critical systems. This paper presents a formal design model for a general RTOS known as RTOS+ that enables a specific target RTOS to be rigorously and efficiently derived in real-world(More)
On-line knowledge discovery is an important area of knowledge engineering. This paper develops a visualized concept network explorer and a semantic analyzer to locate, capture, and refine queries based on concept algebra. A graphical interface is built using concept and semantic models to refine users' query structures. This tool kit can generate a(More)
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(More)
Files are a typical abstract data type for data objects and software modeling, which provides a standard encapsulation and access interface for manipulating large-volume information and persistent data. File management systems are an indispensable component of operating systems and real-time systems for file manipulations. This paper develops a(More)