238 BIOINFORMATICS, DENOTATIONAL MATHEMATICS
At the systems level, the questions addressed in systems neuroscience
include how the circuits are formed and used anatomically and physiologically
to produce the physiological functions, such as refl exes, sensory integration,
motor coordination, circadian rhythms, emotional responses, learning, and
memory. In other words, they address how these neural circuits function and
the mechanisms through which behaviors are generated.
At the cognitive level, cognitive neuroscience addresses the questions of
how psychological/cognitive functions are produced by the neural circuitry.
The emergence of powerful new measurement techniques such as neuro-
imaging, electrophysiology, and human genetic analysis, combined with
sophisticated experimental techniques from cognitive psychology, allow neu-
roscientists and psychologists to address abstract questions such as how human
cognition and emotion are mapped to specifi c neural circuitries.
9.3 DENOTATIONAL MATHEMATICS AND
COGNITIVE COMPUTING
Denotational mathematics is a category of expressive mathematical structures
that deals with high - level mathematical entities beyond numbers and sets, such
as abstract objects, complex relations, behavioral information, concepts, knowl-
edge, processes, and systems. Denotational mathematics is usually in the form
of abstract algebra, a branch of mathematics in which a system of abstract
notations is adopted to denote relations of abstract mathematical entities and
their algebraic operations based on given axioms and laws.
Typical paradigms of denotational mathematics are concept algebra, system
algebra, real - time process algebra (RTPA), visual semantic algebra (VSA),
fuzzy logic, and rough sets. A wide range of applications of denotational math-
ematics has been identifi ed in many modern science and engineering disci-
plines that deal with complex and intricate mathematical entities and structures
beyond numbers, Boolean variables, and traditional sets (Wang, 2008 ). Wang
defi ned the basic expressive power and mathematical means in system model-
ing as outlined in Table 9.2 .
Within the new forms of descriptive mathematics, concept algebra is designed
to deal with the new abstract mathematical structure of concepts and their
representation and manipulation. Concept algebra provides a denotational
mathematical means for algebraic manipulations of abstract concepts. Concept
algebra can be used to model, specify, and manipulate generic to be – type
problems, particularly system architectures, knowledge bases, and detail - level
system designs, in cognitive informatics, computational intelligence, computing
science, software engineering, and knowledge engineering.
System algebra is created for the rigorous treatment of abstract systems and
their algebraic operations. System algebra provides a denotational mathemati-
cal means for algebraic manipulations of all forms of abstract systems. System
algebra can be used to model, specify, and manipulate generic to be and to