Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Comparative programming languages
Comparative programming languages
Mathematical methods in artificial intelligence
Mathematical methods in artificial intelligence
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
Communicating sequential processes
Communications of the ACM
The Architecture of Cognition
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Robot Vision
Elements of the Theory of Computation
Elements of the Theory of Computation
A Mathematical Introduction to Robotic Manipulation
A Mathematical Introduction to Robotic Manipulation
Programming Languages: Principles and Practice
Programming Languages: Principles and Practice
The Real-Time Process Algebra (RTPA)
Annals of Software Engineering
ICCI '02 Proceedings of the 1st IEEE International Conference on Cognitive Informatics
Granular Computing on Binary Relations
TSCTC '02 Proceedings of the Third International Conference on Rough Sets and Current Trends in Computing
Granular computing: an emerging paradigm
Granular computing: an emerging paradigm
A Concise Introduction to Logic (with CD-ROM) (Concise Introduction to Logic)
A Concise Introduction to Logic (with CD-ROM) (Concise Introduction to Logic)
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
The Theoretical Framework and Cognitive Process of Learning
COGINF '07 Proceedings of the 6th IEEE International Conference on Cognitive Informatics
Software Engineering Foundations: A Software Science Perspective
Software Engineering Foundations: A Software Science Perspective
On contemporary denotational mathematics for computational intelligence
Transactions on computational science II
Cognitive informatics and contemporary mathematics for knowledge manipulation
RSKT'06 Proceedings of the First international conference on Rough Sets and Knowledge Technology
A layered reference model of the brain (LRMB)
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
On the informatics laws and deductive semantics of software
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
On the cognitive process of human problem solving
Cognitive Systems Research
Hi-index | 0.00 |
The abstract, rigorous, and expressive needs in cognitive informatics, intelligence science, software science, and knowledge science lead to new forms of mathematics collectively known as denotational mathematics. Denotational mathematics is a category of expressive mathematical structures that deals with high level mathematical entities beyond numbers and sets, such as abstract objects, complex relations, behavioral information, concepts, knowledge, processes, and systems. Denotational mathematics is usually in the form of abstract algebra that is a branch of mathematics in which a system of abstract notations is adopted to denote relations of abstract mathematical entities and their algebraic operations based on given axioms and laws. Four paradigms of denotational mathematics, known as concept algebra, system algebra, Real-Time Process Algebra (RTPA), and Visual Semantic Algebra (VSA), are introduced in this paper. Applications of denotational mathematics in cognitive informatics and computational intelligence are elaborated. Denotational mathematics is widely applicable to model and manipulate complex architectures and behaviors of both humans and intelligent systems, as well as long chains of inference processes.