WordNet: a lexical database for English
Communications of the ACM
Mathematical methods in artificial intelligence
Mathematical methods in artificial intelligence
EuroWordNet: a multilingual database with lexical semantic networks
EuroWordNet: a multilingual database with lexical semantic networks
The Real-Time Process Algebra (RTPA)
Annals of Software Engineering
ConceptNet — A Practical Commonsense Reasoning Tool-Kit
BT Technology Journal
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
A Formal Syntax of Natural Languages and the Deductive Grammar
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II)
Contemporary cybernetics and its facets of cognitive informatics and computational intelligence
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics - Special issue on cybernetics and cognitive informatics
On contemporary denotational mathematics for computational intelligence
Transactions on computational science II
Cognitive informatics models of the brain
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
A Web Knowledge Discovery Engine Based on Concept Algebra
International Journal of Cognitive Informatics and Natural Intelligence
On Cognitive Models of Causal Inferences and Causation Networks
International Journal of Software Science and Computational Intelligence
International Journal of Software Science and Computational Intelligence
| Hi-index | 0.00 |
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 rigorous knowledge modeling and processing tool, which extends the informal, static, and application-specific ontological technologies to a formal, dynamic, and general mathematical means. An operational semantics for the calculus of CA is formally elaborated using a set of computational processes in real-time process algebra RTPA. A case study is presented on how machines, cognitive robots, and software agents may mimic the key ability of human beings to autonomously manipulate knowledge in generic learning using CA. This work demonstrates the expressive power and a wide range of applications of CA for both humans and machines in cognitive computing, semantic computing, machine learning, and computational intelligence.