Yousheng Tian

Learn 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)
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)
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)
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)