The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, encompassing the facilitating theoretical foundations and the applications of large-scale computations and massive data processing. It addresses researchers and practitioners in areas ranging from aerospace to biochemistry, from electronics to geosciences, from mathematics to software architecture, presenting verifiable computational methods, findings and solutions and enabling industrial users to apply techniques of leading-edge, large-scale, high performance computational methods.
The fifth volume of the Transactions on Computational Science journal, edited by Yingxu Wang and Keith C.C. Chan, is devoted to the subject of cognitive knowledge representation. This field of study focuses on the internal knowledge representation mechanisms of the brain and how these can be applied to computer science and engineering. The issue includes the latest research results in internal knowledge representation at the logical, functional, physiological, and biological levels and describes their impacts on computing, artificial intelligence, and computational intelligence.
Author(s): Yingxu Wang (auth.), Marina L. Gavrilova, C. J. Kenneth Tan, Yingxu Wang, Keith C. C. Chan (eds.)
Series: Lecture Notes in Computer Science 5540 : Transactions on Computational Science
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2009
Language: English
Pages: 237
City: London
Tags: Information Storage and Retrieval; Artificial Intelligence (incl. Robotics); Data Mining and Knowledge Discovery; Mathematical Logic and Formal Languages; Math Applications in Computer Science; Database Management
Front Matter....Pages -
Toward a Formal Knowledge System Theory and Its Cognitive Informatics Foundations....Pages 1-19
On Temporal Properties of Knowledge Base Inconsistency....Pages 20-37
Images as Symbols: An Associative Neurotransmitter-Field Model of the Brodmann Areas....Pages 38-68
Knowledge Reduction of Covering Approximation Space....Pages 69-80
Formal Description of the Cognitive Process of Memorization....Pages 81-98
Intelligent Processing of an Unrestricted Text in First Order String Calculus....Pages 99-127
Knowledge Reduction in Concept Lattices Based on Irreducible Elements....Pages 128-142
A Knowledge Representation Tool for Autonomous Machine Learning Based on Concept Algebra....Pages 143-160
Dyna: A Tool for Dynamic Knowledge Modeling....Pages 161-181
Rough Sets and Functional Dependencies in Data: Foundations of Association Reducts....Pages 182-205
Hybrid Evolutionary Algorithm for the Graph Coloring Register Allocation Problem for Embedded Systems....Pages 206-219
Extended Pawlak’s Flow Graphs and Information Theory....Pages 220-236
Back Matter....Pages -