The Cognitive Processes of Formal Inferences

2011 ◽  
pp. 92-105
Author(s):  
Yingxu Wang
Keyword(s):  
Mathematical Models ◽  
Causal Inference ◽  
Real Time ◽  
Cognitive Processes ◽  
Cognitive Process ◽  
Process Algebra ◽  
Applied Research ◽  
Theoretical Research ◽  
Time Process ◽  
The Brain

Theoretical research is predominately an inductive process, while applied research is mainly a deductive process. Both inference processes are based on the cognitive process and means of abstraction. This chapter describes the cognitive processes of formal inferences such as deduction, induction, abduction, and analogy. Conventional propositional arguments adopt static causal inference. This chapter introduces more rigorous and dynamic inference methodologies, which are modeled and described as a set of cognitive processes encompassing a series of basic inference steps. A set of mathematical models of formal inference methodologies is developed. Formal descriptions of the 4 forms of cognitive processes of inferences are presented using Real-Time Process Algebra (RTPA). The cognitive processes and mental mechanisms of inferences are systematically explored and rigorously modeled. Applications of abstraction and formal inferences in both the revilement of the fundamental mechanisms of the brain and the investigation of next generation cognitive computers are explored.

On the Cognitive Processes of Human Perception with Emotions, Motivations, and Attitudes

2009 ◽  
pp. 141-153
Author(s):  
Yingxu Wang
Keyword(s):  
Software Engineering ◽  
Mathematical Models ◽  
Real Time ◽  
Cognitive Processes ◽  
Reference Model ◽  
Human Perception ◽  
Comprehensive Model ◽  
Time Process ◽  
Rigorous Model ◽  
The Brain

An interactive motivation-attitude theory is developed based on the Layered Reference Model of the Brain (LRMB) and the object-attributerelation (OAR) model. This paper presents a rigorous model of human perceptual processes such as emotions, motivations, and attitudes. A set of mathematical models and formal cognitive processes of perception is developed. Interactions and relationships between motivation and attitude are formally described in real-time process algebra (RTPA). Applications of the mathematical models of motivations and attitudes in software engineering are demonstrated. This work is a part of the formalization of LRMB, which provides a comprehensive model for explaining the fundamental cognitive processes of the brain and their interactions. This work demonstrates that the complicated human emotional and perceptual phenomena can be rigorously modeled and formally treated based on cognitive informatics theories and denotational mathematics.

On the Cognitive Processes of Human Perception with Emotions, Motivations, and Attitudes

2009 ◽  
pp. 685-697
Author(s):  
Yingxu Wang
Keyword(s):  
Software Engineering ◽  
Mathematical Models ◽  
Real Time ◽  
Cognitive Processes ◽  
Reference Model ◽  
Human Perception ◽  
Comprehensive Model ◽  
Time Process ◽  
Rigorous Model ◽  
The Brain

An interactive motivation-attitude theory is developed based on the Layered Reference Model of the Brain (LRMB) and the object-attributerelation (OAR) model. This paper presents a rigorous model of human perceptual processes such as emotions, motivations, and attitudes. A set of mathematical models and formal cognitive processes of perception is developed. Interactions and relationships between motivation and attitude are formally described in real-time process algebra (RTPA). Applications of the mathematical models of motivations and attitudes in software engineering are demonstrated. This work is a part of the formalization of LRMB, which provides a comprehensive model for explaining the fundamental cognitive processes of the brain and their interactions. This work demonstrates that the complicated human emotional and perceptual phenomena can be rigorously modeled and formally treated based on cognitive informatics theories and denotational mathematics.

The Cognitive Process of Comprehension

2010 ◽  
Vol 4 (3) ◽  
pp. 44-58 ◽  
Author(s):  
Yingxu Wang ◽  
Davrondzhon Gafurov
Keyword(s):  
Cognitive Processes ◽  
Intelligent Systems ◽  
Cognitive Process ◽  
Process Algebra ◽  
Formal Model ◽  
Reference Model ◽  
Process Models ◽  
Abstract Thought ◽  
Comprehension Process ◽  
The Brain

Comprehension is an ability to understand the meaning of a concept or an action. Comprehension is an important intelligent power of abstract thought and reasoning of humans or intelligent systems. It is highly curious to explore the internal process of comprehension in the brain and to explain its basic mechanisms in cognitive informatics and computational intelligence. This paper presents a formal model of the cognitive process of comprehension. The mechanism and process of comprehension are systematically explained with its conceptual, mathematical, and process models based on the Layered Reference Model of the Brain (LRMB) and the Object-Attribute-Relation (OAR) model for internal knowledge representation. Contemporary denotational mathematics such as concept algebra and Real-Time Process Algebra (RTPA) are adopted in order to formally describe the comprehension process and its interaction with other cognitive processes of the brain.

On the Cognitive Processes of Human Perception with Emotions, Motivations, and Attitudes

2011 ◽  
pp. 65-77 ◽  
Author(s):  
Yingxu Wang
Keyword(s):  
Software Engineering ◽  
Mathematical Models ◽  
Cognitive Processes ◽  
Reference Model ◽  
Human Perception ◽  
Comprehensive Model ◽  
Time Process ◽  
Rigorous Model ◽  
The Brain ◽  
Object Attribute

An interactive motivation-attitude theory is developed based on the Layered Reference Model of the Brain (LRMB) and the Object-Attribute-Relation (OAR) model. This chapter presents a rigorous model of human perceptual processes such as emotions, motivations, and attitudes. A set of mathematical models and formally described cognitive processes are developed. The interactions and relationships between motivation and attitude are formally described in real-time process algebra (RTPA). Applications of the mathematical models of motivations and attitudes in software engineering are demonstrated. This work is the detailed description of a part of the layered reference model of the brain (LRMB) that provides a comprehensive model for explaining the fundamental cognitive processes of the brain and their interactions. This work demonstrates that the complicated human emotional and perceptual phenomena can be rigorously modeled in mathematics and be formally treated and described.

scholarly journals Real time process algebra

1991 ◽  
Vol 3 (2) ◽  
pp. 142-188 ◽  
Author(s):  
J. C. M. Baeten ◽  
J. A. Bergstra
Keyword(s):  
Real Time ◽  
Process Algebra ◽  
Time Process
Sign in / Sign up

Export Citation Format

Share Document