Scheduled System Maintenance:
On Monday, April 27th, IEEE Xplore will undergo scheduled maintenance from 1:00 PM - 3:00 PM ET (17:00 - 19:00 UTC). No interruption in service is anticipated.
By Topic

The cognitive processes of analysis and synthesis in formal inferences

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Wang, Yingxu ; Dept. of Electr. & Comput. Eng., Univ. of Calgary, Calgary, AB

Analyses and syntheses are a pair of fundamental cognitive processes at the meta-inference layer of the brain. This paper presents the cognitive processes of analysis and synthesis as a part of the brainpsilas inference mechanisms. The cognitive foundations of analysis and synthesis are explored, and their mathematical models are created in concept algebra and system algebra by concept and/or system decomposition, composition, specification, and aggregation. Based on the cognitive and mathematical models, the cognitive processes of analysis and synthesis are formally described in real-time process algebra (RTPA). The formal modeling and rigorous explanation of this pair of cognitive processes for formal inference reveal a part of the mechanisms of the brain as modeled in the layered reference model of the brain (LRMB).

Published in:

Cognitive Informatics, 2008. ICCI 2008. 7th IEEE International Conference on

Date of Conference:

14-16 Aug. 2008