On Semantic Algebra: A Denotational Mathematics for Natural Language Comprehension and Cognitive Computing

Semantics is composed meaning of language expressions and perceptions at the levels of words, phrase, sentence, paragraph, and essay. The basic unit of formal semantics is a concept as a formal model of words in a natural language. Cognitive linguistics focuses on cognitive semantics and its interaction with underlying syntactic structures. A denotational mathematics known as semantic algebra is presented for rigorous semantics manipulations in cognitive linguistics. Semantic algebra deals with formal semantics of linguistics by a general mathematical model of semantics and a set of algebraic operators. On the basis of semantic algebra, language semantics may not only be deductively analyzed based on syntactic structures from the top down, but also be synthetically composed by the algebraic semantic operators from the bottom up at different levels of language units. Semantic algebra enables a wide range of applications in cognitive informatics, cognitive linguistics, computational linguistics, semantic computing, cognitive computing, machine learning, computing with words, as well as natural language analysis, synthesis, and comprehension.

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

[2]  Jonathan Lumpkin.  A Semantic Conception of Truth , 2014 .

[3]  Alaa A. Kharbouch,et al.  Three models for the description of language , 1956, IRE Trans. Inf. Theory.

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

[5]  Yingxu Wang,et al.  On cognitive foundations of creativity and the cognitive process of creation , 2008, 2008 7th IEEE International Conference on Cognitive Informatics.

[6]  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..

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

[8]  WangYingxu,et al.  The Formal Design Model of an Automatic Teller Machine ATM , 2010 .

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

[10]  Yingxu Wang.  On the informatics laws and deductive semantics of software , 2006, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

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

[12]  Yingxu Wang.  Inference Algebra (IA): A Denotational Mathematics for Cognitive Computing and Machine Reasoning (I) , 2011, Int. J. Cogn. Informatics Nat. Intell..

[13]  A. M. Ramer.  Mathematical Methods in Linguistics , 1992 .

[14]  Yingxu Wang,et al.  The Formal Design Model of a Real-Time Operating System (RTOS+): Static and Dynamic Behaviors , 2010, Int. J. Softw. Sci. Comput. Intell..

[15]  Yingxu Wang,et al.  The Cognitive Mechanisms and Formal Models of Consciousness , 2012, Int. J. Cogn. Informatics Nat. Intell..

[16]  Yingxu Wang,et al.  The Formal Design Models of Digraph Architectures and Behaviors , 2012, Int. J. Softw. Sci. Comput. Intell..

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

[18]  Yingxu Wang,et al.  Seamless Implementation of a Telephone Switching System Based on Formal Specifications in RTPA , 2012, Int. J. Softw. Sci. Comput. Intell..

[19]  Xiangfeng Luo,et al.  The Cognitive Complexity of Texts and Its Formal Measurement in Cognitive Linguistics , 2013 .

[20]  Yingxu Wang,et al.  The Formal Design Models of Tree Architectures and Behaviors , 2011, Int. J. Softw. Sci. Comput. Intell..

[21]  Shalom Lappin,et al.  当代语义理论指南 = The Handbook of Contemporary Semantic Theory , 2015 .

[22]  Andreas Langlotz,et al.  Idiomatic Creativity: A Cognitive-Linguistic Model of Idiom-Representation And Idiom-Variation in English , 2006 .

[23]  Yingxu Wang,et al.  In Search of Denotational Mathematics: Novel Mathematical Means for Contemporary Intelligence, Brain, and Knowledge Sciences , 2012 .

[24]  D. Crystal.  The Cambridge Encyclopedia of the English Language , 1998 .

[25]  Yingxu Wang.  On the Big-R Notation for Describing Iterative and Recursive Behaviors , 2006, 2006 5th IEEE International Conference on Cognitive Informatics.

[26]  Yingxu Wang.  Neuroinformatics Models of Human Memory: Mapping the Cognitive Functions of Memory onto Neurophysiological Structures of the Brain , 2013, Int. J. Cogn. Informatics Nat. Intell..

[27]  Yingxu Wang,et al.  Towards a Formal Framework of Cognitive Linguistics , 2012 .

[28]  Yingxu Wang,et al.  Advances in Cognitive Informatics and Cognitive Computing , 2010 .

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

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

[31]  Yingxu Wang,et al.  A Sociopsychological Perspective on Collective Intelligence in Metaheuristic Computing , 2010, Int. J. Appl. Metaheuristic Comput..

[32]  Yingxu Wang.  Toward a Cognitive Behavioral Reference Model of Artificial Brains , 2012 .

[33]  Noam Chomsky,et al.  Three models for the description of language , 1956, IRE Trans. Inf. Theory.

[34]  Jan A. Bergstra,et al.  Real time process algebra , 1991, Formal Aspects of Computing.

[35]  Witold Pedrycz,et al.  Perspectives on Cognitive Computing and Applications , 2010, Int. J. Softw. Sci. Comput. Intell..

[36]  Lotfi A. Zadeh,et al.  The concept of a linguistic variable and its application to approximate reasoning-III , 1975, Inf. Sci..

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

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

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

[40]  Yingxu Wang,et al.  An Operational Semantics of Real-Time Process Algebra (RTPA) , 2008, Int. J. Cogn. Informatics Nat. Intell..

[41]  Yingxu Wang,et al.  On Abstract Intelligence: Toward a Unifying Theory of Natural, Artificial, Machinable, and Computational Intelligence , 2009, Int. J. Softw. Sci. Comput. Intell..

[42]  Peter D. Mosses,et al.  Denotational semantics , 1995, LICS 1995.

[43]  Yingxu Wang,et al.  Inference Algebra (IA): A Denotational Mathematics for Cognitive Computing and Machine Reasoning (II) , 2011, Int. J. Cogn. Informatics Nat. Intell..

[44]  Yingxu Wang,et al.  A Denotational Semantics of Real-Time Process Algebra (RTPA) , 2008, Int. J. Cogn. Informatics Nat. Intell..

[45]  Tefko Saracevic,et al.  Information science: What is it? , 1968 .

[46]  Shusaku Tsumoto,et al.  Perspectives on eBrain and Cognitive Computing , 2012, Int. J. Cogn. Informatics Nat. Intell..

[47]  R. Montague.  Formal philosophy; selected papers of Richard Montague , 1974 .

[48]  Witold Pedrycz,et al.  Denotational Mathematical Models of an Air Traffic Control System (ATCS-II): Process Models of Functions in RTPA , 2013 .

[49]  Richard Montague,et al.  ENGLISH AS A FORMAL LANGUAGE , 1975 .

[50]  Jianhua Lu,et al.  Perspectives on the Field of Cognitive Informatics and its Future Development , 2011, Int. J. Cogn. Informatics Nat. Intell..

[51]  Yingxu Wang,et al.  On the cognitive process of human problem solving , 2010, Cognitive Systems Research.

[52]  Eugene H. Casad.  Cognitive linguistics in the redwoods : the expansion of a new paradigm in linguistics , 1996 .

[53]  I. Mackenzie.  The Semantic Conception of Truth , 1997 .

[54]  David R. Dowty,et al.  Introduction to Montague semantics , 1980 .

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

[56]  Yingxu Wang.  Formal Rules for Fuzzy Causal Analyses and Fuzzy Inferences , 2012, Int. J. Softw. Sci. Comput. Intell..

[57]  Huajun Chen,et al.  The Semantic Web , 2011, Lecture Notes in Computer Science.

[58]  Yingxu Wang,et al.  Novel Optimization Theories and Implementations in Numerical Methods , 2013 .

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

[60]  Noam Chomsky,et al.  वाक्यविन्यास का सैद्धान्तिक पक्ष = Aspects of the theory of syntax , 1965 .

[61]  László Dezsö,et al.  Universal Grammar , 1981, Certainty in Action.

[62]  Yingxu Wang,et al.  On Denotational Mathematics Foundations for the Next Generation of Computers: Cognitive Computers for Knowledge Processing , 2012 .

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

[64]  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).

[65]  H. Hughes.  The Cambridge Grammar of the English Language , 2003 .

[66]  Yingxu Wang,et al.  The Cognitive Process and Formal Models of Human Attentions , 2013, Int. J. Softw. Sci. Comput. Intell..

[67]  Yingxu Wang,et al.  Formal Relational Rules of English Syntax for Cognitive Linguistics, Machine Learning, and Cognitive Computing , 2013 .

[68]  Yingxu Wang,et al.  Semantic Manipulations and Formal Ontology for Machine Learning based on Concept Algebra , 2011, Int. J. Cogn. Informatics Nat. Intell..

[69]  Yingxu Wang,et al.  On Formal and Cognitive Semantics for Semantic Computing , 2010, Int. J. Semantic Comput..

[70]  Yingxu Wang,et al.  The Formal Design Model of a Telephone Switching System (TSS) , 2009, Int. J. Softw. Sci. Comput. Intell..

[71]  David A. Schmidt,et al.  Denotationaisemantics: a methodology for language development , 1986 .

[72]  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.

[73]  Yingxu Wang,et al.  A Formal Knowledge Retrieval System for Cognitive Computers and Cognitive Robotics , 2013, Int. J. Softw. Sci. Comput. Intell..

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

[75]  Yingxu Wang,et al.  A Computational Simulation of the Cognitive Process of Children Knowledge Acquisition and Memory Development , 2011, Int. J. Cogn. Informatics Nat. Intell..

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

[77]  Shushma Patel,et al.  A layered reference model of the brain (LRMB) , 2006, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[78]  Witold Pedrycz,et al.  Denotational Mathematical Models of an Air Traffic Control System (ATCS-I): Structure Models of Architectures in RTPA , 2013 .

[79]  Yingxu Wang,et al.  On Neuroinformatics: Mathematical Models of Neuroscience and Neurocomputing , 2012 .

[80]  Yingxu Wang,et al.  On Cognitive Informatics , 2002, Proceedings First IEEE International Conference on Cognitive Informatics.

[81]  Adam Morton,et al.  Formal Semantics of Natural Language , 1975 .

[82]  Nick Cercone,et al.  Computational Linguistics , 1986, Communications in Computer and Information Science.

[83]  Luis-Felipe Rodríguez,et al.  Cognitive Computational Models of Emotions and Affective Behaviors , 2012, Int. J. Softw. Sci. Comput. Intell..

[84]  Witold Pedrycz,et al.  Cognitive Informatics and Cognitive Computing in Year 10 and Beyond , 2011, Int. J. Cogn. Informatics Nat. Intell..

[85]  Yingxu Wang,et al.  Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing , 2009, Fundam. Informaticae.

[86]  John Archibald,et al.  Contemporary Linguistic Analysis: An Introduction , 2000 .

[87]  Yingxu Wang,et al.  The Formal Design Model of a Lift Dispatching System (LDS) , 2009, Int. J. Softw. Sci. Comput. Intell..

[88]  Lotfi A. Zadeh,et al.  Quantitative fuzzy semantics , 1971, Inf. Sci..

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

[90]  Yiyu Yao,et al.  Perspectives on Cognitive Informatics and Cognitive Computing , 2010, Int. J. Cogn. Informatics Nat. Intell..

[91]  Yingxu Wang,et al.  The Cognitive Process of Comprehension: A Formal description , 2010, Int. J. Cogn. Informatics Nat. Intell..

[92]  Yingxu Wang,et al.  On Long Lifespan Systems and Applications , 2012 .

[93]  Vyvyan Evans,et al.  Cognitive Linguistics: An Introduction , 2001 .

[94]  Ivana Šarić,et al.  Andreas Langlotz. 2006. Idiomatic Creativity: A Cognitive Linguistic Model of Idiom-Representations and Idiom-Variation in English. Amsterdam - Philadelphia: John Benjamins. , 2010 .

[95]  Shusaku Tsumoto,et al.  Perspectives on Cognitive Computers and Knowledge Processors , 2013, Int. J. Cogn. Informatics Nat. Intell..

[96]  Yingxu Wang,et al.  Welcome to the Journal of Advanced Mathematics and Applications Contemporary Mathematics as a Metamethodology of Science, Engineering, Society, and Humanity , 2012 .

[97]  James A. Hendler,et al.  The Semantic Web" in Scientific American , 2001 .

[98]  Lotfi A. Zadeh,et al.  A COMPUTATIONAL APPROACH TO FUZZY QUANTIFIERS IN NATURAL LANGUAGES , 1983 .