A Formal Syntax of Natural Languages and the Deductive Grammar

• Autorzy: Wang Y.
• Języki publikacji: EN

Abstrakty

EN

This paper presents a formal syntax framework of natural languages for computational linguistics. The abstract syntax of natural languages, particularly English, and their formal manipulations are described. On the basis of the abstract syntax, a universal language processing model and the deductive grammar of English are developed toward the formalization of Chomsky's universal grammar in linguistics. Comparative analyses of natural and programming languages, as well as the linguistic perception on software engineering, are discussed. A wide range of applications of the deductive grammar of English have been explored in language acquisition, comprehension, generation, and processing in cognitive informatics, computational intelligence, and cognitive computing.

Słowa kluczowe

EN

cognitive informatics; linguistics; computational linguistics; formal languages; universal grammar; deductive grammar; formal syntax; formal semantics; EBNF; RTPA; comparative linguistics; software engineering; programming languages

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2009
• Tom: Vol. 90, nr 4
• Strony: 353--368
• Opis fizyczny: bibliogr. 34 poz., tab., wykr.

Twórcy

autor

Wang Y.

• International Center for Cognitive Informatics (ICfCI) Theoretical and Empirical Software Engineering Research Centre (TESERC) Dept. of Electrical and Computer Engineering, Schulich School of Engineering University of Calgary, 2500 University Drive, N,

Bibliografia

• [1] Aho, A.V., R. Sethi, and J.D. Ullman: Compilers: Principles, Techniques, and Tools, Addison-Wesley Publication Co., New York, 1985.
• [2] Casti J.L. and A. Karlqvist eds.: Complexity, Language, and Life: Mathematical Approaches, International Institute for Applied Systems Analysis, Laxenburg, Austria, 1986.
• [3] Chomsky, N.: Three Models for the Description of Languages, I.R.E. Transactions on Information Theory, 2(3), 113-124, 1956.
• [4] Chomsky, N.: Syntactic Structures, Mouton, the Hague, 1957.
• [5] Chomsky, N.: On Certain Formal Properties of Grammars, Information and Control, 2, 137-167, 1959.
• [6] Chomsky, N.: Context-Free Grammar and Pushdown Storage, Quarterly Progress Report, MIT Research Laboratory, 65, 187-194, 1962.
• [7] Chomsky, N.: Aspects of the Theory of Syntax, MIT Press, Cambridge,MA, 1965.
• [8] Chomsky, N.: Some Concepts and Consequences of the Theory of Government and Binding, MIT Press, Cambridge, MA, 1982.
• [9] Johnson, S.C.: Yacc - Yet Another Compiler Compiler, AT&T Bell Laboratories, Computing Science Technical Report No.32, AT&T Bell Labs., Murray Hill, NJ, 1975.
• [10] Lesk, M.E.: Lex - A Lexical Analyzer Generator, AT&T Bell Laboratories, Computing Science Technical Report No.39, Murray Hill, NJ, 1975.
• [11] Lewis, H. R. and Papadimitriou, C. H.: Elements of the Theory of Computation, 2nd ed., Prentice-Hall International, Englewood Cliffs, NJ, 1998.
• [12] McDermid, J. ed.: Software Engineer's Reference Book, Butterworth Heinemann Ltd., Oxford, UK, 1991.
• [13] Naur, P. ed.: Revised Report on the Algorithmic LanguageAlgol 60, Communications of the ACM, 6(1), 1-17, 1963.
• [14] Naur, P.: The European Side of the Last Phase of the Development of Algol, ACM SIGPLAN Notices, 13, 15-44, 1978.
• [15] O'Grady, W. and J. Archibald: Contemporary Linguistic Analysis: An Introduction, 4th ed., Pearson Education Canada Inc., Toronto, 2000.
• [16] Parr, T.: ANTLR Reference Manual, http://www.antlr.org/, 2000.
• [17] Pattee, H.H.: Universal Principles of Measurement and Language Functions in Evolving Systems, in J.L. Casti and A. Karlqvist eds. (1986), Complexity, Language, and Life: Mathematical Approaches, Springer-Verlag, Berlin, 268-281, 1986.
• [18] Tarski, A.: The Semantic Conception of Truth, Philosophic Phenomenological Research, 4, 13-47, 1944.
• [19] Thomas, L.: The Lives of a Cell: Notes of a Biology Watcher, Viking Press, NY, 1974.
• [20] Wang, Y.: The Real-Time Process Algebra (RTPA), Annals of Software Engineering, Springer, USA, 14, 235-274, 2002.
• [21] Wang, Y.: On Cognitive Informatics, Brain and Mind: A Transdisciplinary Journal of Neuroscience and Neurophilosophy, 4(2), 151-167, 2003.
• [22] Wang, Y.: Keynote: Cognitive Informatics - Towards the Future Generation Computers that Think and Feel, Proc. 5th IEEE InternationalConference on Cognitive Informatics (ICCI'06), Beijing, China, IEEE CS Press, pp. 3-7, 2006.
• [23] Wang, Y.: On the Informatics Laws and Deductive Semantics of Software, IEEE Transactions on Systems, Man, and Cybernetics (C), 36(2), March, pp.161-171, 2006.
• [24] Wang, Y.: Software Engineering Foundations: A Software Science Perspective, CRC Series in Software Engineering, Vol. II, Auerbach Publications, USA, July, 2007.
• [25] Wang, Y.: The Theoretical Framework of Cognitive Informatics, Int'l Journal of Cognitive Informatics and Natural Intelligence, USA, 1(1), 1-27, 2007.
• [26] Wang, Y.: The OAR Model of Neural Informatics for Internal Knowledge Representation in the Brain, Int'l Journal of Cognitive Informatics and Natural Intelligence, USA, 1(3), 64-75, 2007.
• [27] Wang, Y.: On Contemporary Denotational Mathematics for Computational Intelligence, Transactions of Computational Science, Springer, August, 2, 6-29, 2008.
• [28] Wang, Y.: On Concept Algebra: A DenotationalMathematical Structure for Knowledge and SoftwareModeling, Int'l Journal of Cognitive Informatics and Natural Intelligence, USA, 2(2), 1-19, 2008.
• [29] Wang, Y.: RTPA: A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors, Int'l Journal of Cognitive Informatics and Natural Intelligence, USA, 2(2), 44-62, 2008.
• [30] Wang, Y.: Deductive Semantics of RTPA, Int'l Journal of Cognitive Informatics and Natural Intelligence, USA, 2(2), 95-121, 2008.
• [31] Wang, Y.: On the Big-R Notation for Describing Iterative and Recursive Behaviors, Int'l Journal of Cognitive Informatics and Natural Intelligence, USA, 2(1), 17-28, 2008.
• [32] Wang, Y.: Mathematical Laws of Software, Transactions of Computational Science, Springer, Aug., 2, 46-83, 2008.
• [33] Wang, Y.: On Abstract Intelligence: Toward a Unified Theory of Natural, Artificial, Machinable, and Computational Intelligence, Int'l Journal of Software Science and Computational Intelligence, USA, 1(1), 1-17, 2009.
• [34] Wirth, N.: Algorithm + Data Structures = Programs, Prentice Hall, Englewood Cliffs, NJ, 1976.