Semantic Manipulations and Formal Ontology for Machine Learning based on Concept Algebra

Towards the formalization of ontological methodologies for dynamic machine learning and semantic analyses, a new form of denotational mathematics known as concept algebra is introduced. Concept Algebra CA is a denotational mathematical structure for formal knowledge representation and manipulation in machine learning and cognitive computing. CA provides a rigorous knowledge modeling and processing tool, which extends the informal, static, and application-specific ontological technologies to a formal, dynamic, and general mathematical means. An operational semantics for the calculus of CA is formally elaborated using a set of computational processes in real-time process algebra RTPA. A case study is presented on how machines, cognitive robots, and software agents may mimic the key ability of human beings to autonomously manipulate knowledge in generic learning using CA. This work demonstrates the expressive power and a wide range of applications of CA for both humans and machines in cognitive computing, semantic computing, machine learning, and computational intelligence.

[1]  Yingxu Wang,et al.  A formal knowledge representation system for the cognitive learning engine , 2011, IEEE 10th International Conference on Cognitive Informatics and Cognitive Computing (ICCI-CC'11).

[2]  Piek Vossen,et al.  EuroWordNet: A multilingual database with lexical semantic networks , 1998, Springer Netherlands.

[3]  Rui Li,et al.  An empirical study on pertinent aspects of sketch maps for navigation , 2012, 2012 IEEE 11th International Conference on Cognitive Informatics and Cognitive Computing.

[4]  Kenji Sugawara,et al.  Interactive Design Method of Agent System for Symbiotic Computing , 2007, 6th IEEE International Conference on Cognitive Informatics.

[5]  L. Beran,et al.  [Formal concept analysis]. , 1996, Casopis lekaru ceskych.

[6]  Yingxu Wang,et al.  A Formal Syntax of Natural Languages and the Deductive Grammar , 2009, Fundam. Informaticae.

[7]  Andrew Targowski.  Cognitive Informatics and Wisdom Development: Interdisciplinary Approaches , 2010 .

[8]  Yiyu Yao,et al.  On the System Algebra Foundations for Granular Computing , 2009, Int. J. Softw. Sci. Comput. Intell..

[9]  Yingxu Wang,et al.  A Web Knowledge Discovery Engine Based on Concept Algebra , 2007, 2007 Canadian Conference on Electrical and Computer Engineering.

[10]  Bernhard Ganter,et al.  Formal Concept Analysis , 2013 .

[11]  Edward A. Bender,et al.  Mathematical methods in artificial intelligence , 1996 .

[12]  Tadeusz Wibig,et al.  Autonomic Computing for a Complex Problem of Experimental Physics , 2010, Int. J. Cogn. Informatics Nat. Intell..

[13]  Roger Frost,et al.  International Organization for Standardization (ISO) , 2004 .

[14]  Yingxu Wang,et al.  The Theoretical Framework and Cognitive Process of Learning , 2007, 6th IEEE International Conference on Cognitive Informatics.

[15]  James A. Anderson.  The Ersatz Brain Project: A brain-like computer architecture for cognition , 2012, 2012 IEEE 11th International Conference on Cognitive Informatics and Cognitive Computing.

[16]  Yingxu Wang,et al.  On inference algebra: A formal means for machine reasoning and cognitive computing , 2011, IEEE 10th International Conference on Cognitive Informatics and Cognitive Computing (ICCI-CC'11).

[17]  Lotfi A. Zadeh,et al.  From Computing with Numbers to Computing with Words - from Manipulation of Measurements to Manipulation of Perceptions , 2005, Logic, Thought and Action.

[18]  Yingxu Wang,et al.  On Concept Algebra for Computing with Words (CWW) , 2010, Int. J. Semantic Comput..

[19]  Yingxu Wang,et al.  RTPA: A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors , 2008, Int. J. Cogn. Informatics Nat. Intell..

[20]  Yingxu Wang,et al.  Deductive Semantics of RTPA , 2008, Int. J. Cogn. Informatics Nat. Intell..

[21]  Yingxu Wang,et al.  A Formal Knowledge Representation System (FKRS) for the Intelligent Knowledge Base of a Cognitive Learning Engine , 2011, Int. J. Softw. Sci. Comput. Intell..

[22]  Yingxu Wang,et al.  Cognitive informatics models of the brain , 2006, IEEE Trans. Syst. Man Cybern. Syst..

[23]  Mark A. Smith,et al.  Functions of Unconscious and Conscious Emotion in the Regulation of Implicit and Explicit Motivated Behavior , 2011 .

[24]  Yingxu Wang,et al.  On Cognitive Computing , 2009, Int. J. Softw. Sci. Comput. Intell..

[25]  Yingxu Wang.  Developments in Natural Intelligence Research and Knowledge Engineering: Advancing Applications , 2012 .

[26]  Yingxu Wang.  Toward a Formal Knowledge System Theory and Its Cognitive Informatics Foundations , 2009, Trans. Comput. Sci..

[27]  Tetsuya Murai,et al.  An Evaluation Method of Relative Reducts Based on Roughness of Partitions , 2010, Int. J. Cogn. Informatics Nat. Intell..

[28]  Yingxu Wang,et al.  The Real-Time Process Algebra (RTPA) , 2002, Ann. Softw. Eng..

[29]  Yingxu Wang,et al.  On Visual Semantic Algebra (VSA): A Denotational Mathematical Structure for Modeling and Manipulating Visual Objects and Patterns , 2009, Int. J. Softw. Sci. Comput. Intell..

[30]  Eshaa M. Alkhalifa.  Cognitively Informed Systems: Utilizing Practical Approaches to Enrich Information Presentation and Transfer , 2006 .

[31]  W.,et al.  Categories and Concepts · Theoretical Views and Inductive Data Analysis , 2009 .

[32]  Yingxu Wang,et al.  On System Algebra: A Denotational Mathematical Structure for Abstract System Modeling , 2008, Int. J. Cogn. Informatics Nat. Intell..

[33]  Edward E. Smith,et al.  Categories and concepts , 1984 .

[34]  Félix F. Ramos Corchado,et al.  Brain architecture for visual object identification , 2011, IEEE 10th International Conference on Cognitive Informatics and Cognitive Computing (ICCI-CC'11).

[35]  Yingxu Wang,et al.  Software Engineering Foundations: A Software Science Perspective , 2007 .

[36]  Gustavo Abib,et al.  Organizational and technological implications of cognitive machines: designing future information management systems , 2011 .

[37]  Gregory L. Murphy,et al.  Theories and concept formation. , 1993 .

[38]  Lotfi A. Zadeh,et al.  Some reflections on soft computing, granular computing and their roles in the conception, design and utilization of information/intelligent systems , 1998, Soft Comput..

[39]  Rudolf Wille,et al.  Restructuring Lattice Theory: An Approach Based on Hierarchies of Concepts , 2009, ICFCA.

[40]  Yingxu Wang,et al.  On Contemporary Denotational Mathematics for Computational Intelligence , 2008, Trans. Comput. Sci..

[41]  Robert A. Wilson,et al.  Book Reviews: The MIT Encyclopedia of the Cognitive Sciences , 2000, CL.

[42]  Yingxu Wang.  Transdisciplinary Advancements in Cognitive Mechanisms and Human Information Processing , 2011 .

[43]  D. Medin,et al.  Context and structure in conceptual combination , 1988, Cognitive Psychology.

[44]  Robert C. Berwick.  Songs to syntax: Cognition, combinatorial computation, and the origin of language , 2011, IEEE 10th International Conference on Cognitive Informatics and Cognitive Computing (ICCI-CC'11).

[45]  Yingxu Wang,et al.  Contemporary Cybernetics and Its Facets of Cognitive Informatics and Computational Intelligence , 2009, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[46]  Walter Riofrio,et al.  On Biological Computing, Information and Molecular Networks , 2010 .

[47]  Yingxu Wang.  On Cognitive Models of Causal Inferences and Causation Networks , 2011, Int. J. Softw. Sci. Comput. Intell..

[48]  Eshaa M. Alkhalifa,et al.  Cognitively Informed Intelligent Interfaces: Systems Design and Development , 2012 .

[49]  Shiaofen Fang,et al.  Interactive feature visualization and detection for 3D face classification , 2010, 9th IEEE International Conference on Cognitive Informatics (ICCI'10).

[50]  Michael R. W. Dawson,et al.  Representing an Intrinsically Nonmetric Space of Compass Directions in an Artificial Neural Network , 2007, Int. J. Cogn. Informatics Nat. Intell..

[51]  Jordi Vallverd,et al.  Thinking Machines and the Philosophy of Computer Science: Concepts and Principles , 2010 .

[52]  Nino B. Cocchiarella.  Conceptual Realism as a Formal Ontology , 1996 .

[53]  Yingxu Wang,et al.  The OAR Model of Neural Informatics for Internal Knowledge Representation in the Brain , 2007, Int. J. Cogn. Informatics Nat. Intell..

[54]  Athanasios V. Vasilakos,et al.  Ambient Intelligence on the Dance Floor , 2009, Int. J. Cogn. Informatics Nat. Intell..

[55]  Rokia Missaoui,et al.  INCREMENTAL CONCEPT FORMATION ALGORITHMS BASED ON GALOIS (CONCEPT) LATTICES , 1995, Comput. Intell..

[56]  Witold Kinsner,et al.  A Modular Dynamical Cryptosystem Based on Continuous-Interval Cellular Automata , 2011, Int. J. Cogn. Informatics Nat. Intell..

[57]  Yingxu Wang,et al.  Cognitive informatics models of the brain , 2006, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[58]  George A. Miller,et al.  Introduction to WordNet: An On-line Lexical Database , 1990 .

[59]  T. Gevers,et al.  Communication and Automatic Interpretation of Affect from Facial Expressions , 2010 .

[60]  George A. Miller,et al.  WordNet: A Lexical Database for English , 1995, HLT.

[61]  June K. Hilton.  The effect of technology on student science achievement , 2006 .

[62]  Yingxu Wang.  Cognitive Informatics for Revealing Human Cognition: Knowledge Manipulations in Natural Intelligence , 2012 .

[63]  Fatos T. Yarman-Vural,et al.  Enhancing Local Linear Models Using Functional Connectivity for Brain State Decoding , 2013, Int. J. Cogn. Informatics Nat. Intell..

[64]  Hugo Liu,et al.  ConceptNet — A Practical Commonsense Reasoning Tool-Kit , 2004 .

[65]  Yingxu Wang,et al.  The Theoretical Framework of Cognitive Informatics , 2007, Int. J. Cogn. Informatics Nat. Intell..

[66]  Yingxu Wang,et al.  Cognitive Robots: A Reference Model Toward Intelligent Authentication , 2010 .

[67]  Yingxu Wang,et al.  On Concept Algebra: A Denotational Mathematical Structure for Knowledge and Software Modeling , 2008, Int. J. Cogn. Informatics Nat. Intell..

[68]  Xiaofeng Liao,et al.  A Novel Algorithm for Block Encryption of Digital Image Based on Chaos , 2011, Int. J. Cogn. Informatics Nat. Intell..

[69]  Yingxu Wang,et al.  A Knowledge Representation Tool for Autonomous Machine Learning Based on Concept Algebra , 2009, Trans. Comput. Sci..

[70]  Stefano Federici,et al.  The Bootstrap Discovery Behaviour Model: Why Five Users are Not Enough to Test User Experience , 2012 .

[71]  Wen-Ran Zhang,et al.  YinYang Bipolar Relativity: A Unifying Theory of Nature, Agents and Causality with Applications in Quantum Computing, Cognitive Informatics and Life Sciences , 2011 .

[72]  Yingxu Wang.  Engineering Foundations of Software Engineering , 2007 .