Welcome to the InfoSci Platform
Reference Hub50
The Cognitive Processes of Formal Inferences

The Cognitive Processes of Formal Inferences

Yingxu Wang
Copyright: © 2007 |Volume: 1 |Issue: 4 |Pages: 12
ISSN: 1557-3958|EISSN: 1557-3966|ISSN: 1557-3958|EISBN13: 9781615201969|EISSN: 1557-3966|DOI: 10.4018/jcini.2007100106
Cite Article Cite Article

MLA

Wang, Yingxu. "The Cognitive Processes of Formal Inferences." IJCINI vol.1, no.4 2007: pp.75-86. http://doi.org/10.4018/jcini.2007100106

APA

Wang, Y. (2007). The Cognitive Processes of Formal Inferences. International Journal of Cognitive Informatics and Natural Intelligence (IJCINI), 1(4), 75-86. http://doi.org/10.4018/jcini.2007100106

Chicago

Wang, Yingxu. "The Cognitive Processes of Formal Inferences," International Journal of Cognitive Informatics and Natural Intelligence (IJCINI) 1, no.4: 75-86. http://doi.org/10.4018/jcini.2007100106

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

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 article describes the cognitive processes of formal inferences such as deduction, induction, abduction, and analogy. Conventional propositional arguments adopt static causal inference. This article 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 four 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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.