×

On formal and cognitive semantics for semantic computing. (English) Zbl 1214.68167

Summary: Semantics is the meaning of symbols, notations, concepts, functions, and behaviors, as well as their relations that can be deduced onto a set of predefined entities and/or known concepts. Semantic computing is an emerging computational methodology that models and implements computational structures and behaviors at semantic or knowledge level beyond that of symbolic data. In semantic computing, formal semantics can be classified into the categories of to be, to have, and to do semantics. This paper presents a comprehensive survey of formal and cognitive semantics for semantic computing in the fields of computational linguistics, software science, computational intelligence, cognitive computing, and denotational mathematics. A set of novel formal semantics, such as deductive semantics, concept-algebra-based semantics, and visual semantics, is introduced that forms a theoretical and cognitive foundation for semantic computing. Applications of formal semantics in semantic computing are presented in case studies on semantic cognition of natural languages, semantic analyses of computing behaviors, behavioral semantics of human cognitive processes, and visual semantic algebra for image and visual object manipulations.

MSC:

68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q55 Semantics in the theory of computing
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Aho A. V., Compilers: Principles, Techniques, and Tools (1985) · Zbl 1155.68020
[2] Anderson J. R., The Architecture of Cognition (1983)
[3] Bender E. A., Mathematical Methods in Artificial Intelligence (1996) · Zbl 0896.68113
[4] Berners-Lee T., Scientific American Magazine (2001)
[5] DOI: 10.1037/0033-295X.94.2.115 · doi:10.1037/0033-295X.94.2.115
[6] DOI: 10.1023/A:1018983515535 · Zbl 1012.68565 · doi:10.1023/A:1018983515535
[7] Bjorner D., Formal Specification and Software Development (1982) · Zbl 0525.68001
[8] Bow S. T., Pattern Recognition and Image Preprocessing (1992)
[9] DOI: 10.1109/TIT.1956.1056813 · Zbl 0156.25401 · doi:10.1109/TIT.1956.1056813
[10] Chomsky N., Syntactic Structures (1957)
[11] DOI: 10.1016/S0019-9958(59)90362-6 · Zbl 0088.10801 · doi:10.1016/S0019-9958(59)90362-6
[12] Chomsky N., Aspects of the Theory of Syntax (1965)
[13] Chomsky N., Some Concepts ands Consequences of the Theory of Government and Binding (1982)
[14] Codin R., Computational Intelligence 11 pp 246–
[15] DOI: 10.1037/0033-295X.82.6.407 · doi:10.1037/0033-295X.82.6.407
[16] DOI: 10.1002/047003033X · doi:10.1002/047003033X
[17] DOI: 10.1145/360933.360975 · Zbl 0308.68017 · doi:10.1145/360933.360975
[18] Dijkstra E. W., A Discipline of Programming (1976) · Zbl 0368.68005
[19] DOI: 10.1007/978-3-642-59830-2 · doi:10.1007/978-3-642-59830-2
[20] Goguen J. A., Algebraic Semantics of Imperative Programming (1996) · Zbl 0887.68066
[21] Goguen J. A., Journal of the ACM 24 pp 59–
[22] DOI: 10.1007/978-1-4612-5983-1 · doi:10.1007/978-1-4612-5983-1
[23] Grishman R., Computational Linguistics: An Introduction (1987)
[24] Gunter C. A., Foundations of Computing (1992)
[25] Guttag J. V., Acta Informatica 10 pp 27–
[26] J. A. Hampton, Psychological Representation of Concepts of Memory (Psychology Press, Hove, England, 1997) pp. 81–110.
[27] DOI: 10.1145/363235.363259 · Zbl 0179.23105 · doi:10.1145/363235.363259
[28] DOI: 10.1145/359576.359585 · Zbl 0383.68028 · doi:10.1145/359576.359585
[29] Hoare C. A. R., Communicating Sequential Processes (1985) · Zbl 0637.68007
[30] Horn B. K. P., Robot Vision (1986)
[31] Hurley P. J., A Concise Introduction to Logic (1997) · Zbl 0863.03001
[32] Jones C. B., Software Development: A Rigorous Approach (1980) · Zbl 0424.68019
[33] M. I. Jordan, The MIT Encyclopedia of the Cognitive Sciences, eds. R. A. Wilson and C. K. Frank (MIT Press, Cambridge, MA, 1999) pp. i73–i80.
[34] Lewis H. R., Elements of the Theory of Computation (1998)
[35] Louden K. C., Programming Languages: Principles and Practice (1993) · Zbl 0832.68006
[36] Marcotty M., Programming Language Landscape (1996)
[37] Marr D., Vision (1982)
[38] Matlin M. W., Cognition (1998)
[39] Software Engineer’s Reference Book (1991)
[40] DOI: 10.1016/0010-0285(88)90018-7 · doi:10.1016/0010-0285(88)90018-7
[41] Meystel A. M., Intelligent Systems, Architecture, Design, and Control (2002) · Zbl 0634.68104
[42] Miclet L., Structural Methods in Pattern Recognition (1986) · Zbl 0662.68097
[43] G. L. Murphy, Categories and Concepts, Theoretical Views and Inductive Data Analysis, eds. I. V. Mechelen (Academic Press, New York, 1993) pp. 173–200.
[44] Murry R. M., A Mathematical Introduction to Robotic Manipulation (1993)
[45] Payne D. G., Cognitive Psychology (1998)
[46] Reed S., Cognitive Psychology 3 pp 383–
[47] Schmidt D., Denotational Semantics: A Methodology for Language Development (1988)
[48] Schmidt D., The Structure of Typed Programming Languages (1994) · Zbl 0834.68004
[49] Schmidt D., ACM Computing Surveys 28
[50] DOI: 10.1007/BFb0012801 · doi:10.1007/BFb0012801
[51] Shadbolt N., IEEE Intelligent Systems
[52] DOI: 10.1142/S1793351X07000068 · doi:10.1142/S1793351X07000068
[53] DOI: 10.1142/S1793351X07000160 · doi:10.1142/S1793351X07000160
[54] DOI: 10.4159/harvard.9780674866270 · doi:10.4159/harvard.9780674866270
[55] DOI: 10.1007/978-1-4612-0075-8 · doi:10.1007/978-1-4612-0075-8
[56] DOI: 10.4018/jcini.2008070105 · Zbl 05518181 · doi:10.4018/jcini.2008070105
[57] Tarski A., Philosophic Phenomenological Research 4 pp 13–
[58] DOI: 10.1023/A:1020561826073 · Zbl 1012.68600 · doi:10.1023/A:1020561826073
[59] Wang Y., Brain and Mind: A Transdisciplinary Journal of Neuroscience and Neurophilosophy 4 pp 151– · doi:10.1023/A:1025401527570
[60] DOI: 10.1109/TSMCC.2006.871138 · doi:10.1109/TSMCC.2006.871138
[61] DOI: 10.1201/9780203496091 · doi:10.1201/9780203496091
[62] Wang Y., International Journal of Cognitive Informatics and Natural Intelligence 1 pp 1–
[63] Wang Y., Transactions of Computational Science 2 pp 6–
[64] DOI: 10.4018/jcini.2008040101 · Zbl 05518179 · doi:10.4018/jcini.2008040101
[65] DOI: 10.4018/jcini.2008040106 · Zbl 05518172 · doi:10.4018/jcini.2008040106
[66] Wang Y., Transactions of Computational Science 2 pp 46–
[67] Wang Y., International Journal of Software Science and Computational Intelligence 1 pp 1–
[68] Wang Y., International Journal of Software Science and Computational Intelligence 1 pp 1–
[69] Wang Y., Fundamenta Informaticae 90 pp 353–
[70] Wang Y., International Journal of Software Science and Computational Intelligence 1 pp 1–
[71] DOI: 10.4018/jssci.2009010105 · doi:10.4018/jssci.2009010105
[72] DOI: 10.1109/TSMCB.2009.2013721 · doi:10.1109/TSMCB.2009.2013721
[73] Wang Y., Fundamenta Informaticae 90 pp 203–
[74] DOI: 10.1145/356596.356598 · doi:10.1145/356596.356598
[75] Wikstrom A., Functional Programming Using Standard ML (1987)
[76] DOI: 10.1007/978-94-009-7798-3_15 · doi:10.1007/978-94-009-7798-3_15
[77] Wilson R. A., The MIT Encyclopedia of the Cognitive Sciences (2001)
[78] DOI: 10.1007/s005000050030 · Zbl 05471048 · doi:10.1007/s005000050030
[79] Zadeh L. A., IEEE Trans. on Circuits and Systems I 45 pp 105–
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.