Mathematical methods in artificial intelligence
Mathematical methods in artificial intelligence
The Real-Time Process Algebra (RTPA)
Annals of Software Engineering
Is there a need for fuzzy logic?
Information Sciences: an International Journal
Software Engineering Foundations: A Software Science Perspective
Software Engineering Foundations: A Software Science Perspective
Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Cognitive informatics and denotational mathematical means for brain informatics
BI'10 Proceedings of the 2010 international conference on Brain informatics
An ontology-based universal design knowledge support system
Knowledge-Based Systems
A literature review of expert problem solving using analogy
EASE'09 Proceedings of the 13th international conference on Evaluation and Assessment in Software Engineering
Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Perspectives on the Field of Cognitive Informatics and its Future Development
International Journal of Cognitive Informatics and Natural Intelligence
International Journal of Cognitive Informatics and Natural Intelligence
The Formal Design Model of an Automatic Teller Machine ATM
International Journal of Software Science and Computational Intelligence
International Journal of Software Science and Computational Intelligence
Perspectives on Cognitive Computing and Applications
International Journal of Software Science and Computational Intelligence
The Formal Design Models of a Set of Abstract Data Types ADTs
International Journal of Software Science and Computational Intelligence
The Formal Design Model of a File Management System FMS
International Journal of Software Science and Computational Intelligence
The Formal Design Model of Doubly-Linked-Circular Lists DLC-Lists
International Journal of Software Science and Computational Intelligence
Empirical Studies on the Functional Complexity of Software in Large-Scale Software Systems
International Journal of Software Science and Computational Intelligence
The Formal Design Models of a Universal Array UA and its Implementation
International Journal of Software Science and Computational Intelligence
The Formal Design Models of Tree Architectures and Behaviors
International Journal of Software Science and Computational Intelligence
Seamless Implementation of a Telephone Switching System Based on Formal Specifications in RTPA
International Journal of Software Science and Computational Intelligence
Memory-based cognitive modeling for robust object extraction and tracking
Applied Intelligence
Hi-index | 0.00 |
One of the fundamental human cognitive processes is problem solving. As a higher-layer cognitive process, problem solving interacts with many other cognitive processes such as abstraction, searching, learning, decision making, inference, analysis, and synthesis on the basis of internal knowledge representation by the object-attribute-relation (OAR) model. Problem solving is a cognitive process of the brain that searches a solution for a given problem or finds a path to reach a given goal. When a problem object is identified, problem solving can be perceived as a search process in the memory space for finding a relationship between a set of solution goals and a set of alternative paths. This paper presents both a cognitive model and a mathematical model of the problem solving process. The cognitive structures of the brain and the mechanisms of internal knowledge representation behind the cognitive process of problem solving are explained. The cognitive process is formally described using real-time process algebra (RTPA) and concept algebra. This work is a part of the cognitive computing project that designed to reveal and simulate the fundamental mechanisms and processes of the brain according to Wang's layered reference model of the brain (LRMB), which is expected to lead to the development of future generation methodologies for cognitive computing and novel cognitive computers that are capable of think, learn, and perceive.