Author: W.J. Savitch
Publisher: Springer Science & Business Media
ISBN: 9400934017
Category : Computers
Languages : en
Pages : 462
Book Description
Ever since Chomsky laid the framework for a mathematically formal theory of syntax, two classes of formal models have held wide appeal. The finite state model offered simplicity. At the opposite extreme numerous very powerful models, most notable transformational grammar, offered generality. As soon as this mathematical framework was laid, devastating arguments were given by Chomsky and others indicating that the finite state model was woefully inadequate for the syntax of natural language. In response, the completely general transformational grammar model was advanced as a suitable vehicle for capturing the description of natural language syntax. While transformational grammar seems likely to be adequate to the task, many researchers have advanced the argument that it is "too adequate. " A now classic result of Peters and Ritchie shows that the model of transformational grammar given in Chomsky's Aspects [IJ is powerful indeed. So powerful as to allow it to describe any recursively enumerable set. In other words it can describe the syntax of any language that is describable by any algorithmic process whatsoever. This situation led many researchers to reasses the claim that natural languages are included in the class of transformational grammar languages. The conclu sion that many reached is that the claim is void of content, since, in their view, it says little more than that natural language syntax is doable algo rithmically and, in the framework of modern linguistics, psychology or neuroscience, that is axiomatic.
The Formal Complexity of Natural Language
Author: W.J. Savitch
Publisher: Springer Science & Business Media
ISBN: 9400934017
Category : Computers
Languages : en
Pages : 462
Book Description
Ever since Chomsky laid the framework for a mathematically formal theory of syntax, two classes of formal models have held wide appeal. The finite state model offered simplicity. At the opposite extreme numerous very powerful models, most notable transformational grammar, offered generality. As soon as this mathematical framework was laid, devastating arguments were given by Chomsky and others indicating that the finite state model was woefully inadequate for the syntax of natural language. In response, the completely general transformational grammar model was advanced as a suitable vehicle for capturing the description of natural language syntax. While transformational grammar seems likely to be adequate to the task, many researchers have advanced the argument that it is "too adequate. " A now classic result of Peters and Ritchie shows that the model of transformational grammar given in Chomsky's Aspects [IJ is powerful indeed. So powerful as to allow it to describe any recursively enumerable set. In other words it can describe the syntax of any language that is describable by any algorithmic process whatsoever. This situation led many researchers to reasses the claim that natural languages are included in the class of transformational grammar languages. The conclu sion that many reached is that the claim is void of content, since, in their view, it says little more than that natural language syntax is doable algo rithmically and, in the framework of modern linguistics, psychology or neuroscience, that is axiomatic.
Publisher: Springer Science & Business Media
ISBN: 9400934017
Category : Computers
Languages : en
Pages : 462
Book Description
Ever since Chomsky laid the framework for a mathematically formal theory of syntax, two classes of formal models have held wide appeal. The finite state model offered simplicity. At the opposite extreme numerous very powerful models, most notable transformational grammar, offered generality. As soon as this mathematical framework was laid, devastating arguments were given by Chomsky and others indicating that the finite state model was woefully inadequate for the syntax of natural language. In response, the completely general transformational grammar model was advanced as a suitable vehicle for capturing the description of natural language syntax. While transformational grammar seems likely to be adequate to the task, many researchers have advanced the argument that it is "too adequate. " A now classic result of Peters and Ritchie shows that the model of transformational grammar given in Chomsky's Aspects [IJ is powerful indeed. So powerful as to allow it to describe any recursively enumerable set. In other words it can describe the syntax of any language that is describable by any algorithmic process whatsoever. This situation led many researchers to reasses the claim that natural languages are included in the class of transformational grammar languages. The conclu sion that many reached is that the claim is void of content, since, in their view, it says little more than that natural language syntax is doable algo rithmically and, in the framework of modern linguistics, psychology or neuroscience, that is axiomatic.
Formalized Natural Languages
Author: dr. ir. Andries Van Renssen
Publisher: Lulu.com
ISBN: 1304603768
Category : Computers
Languages : en
Pages : 239
Book Description
Formalized natural languages, such as Formalized English and Formalized Dutch, are powerful extensible languages and ontologies for information and knowledge modeling. The languages enable electronic data storage and data exchange in a neutral and system independent way. They also enable terminology standardization, automated translation, data integration and interoperability of systems. Formal English can be used as a basis for the creation of universal databases and interfaces between systems or to standardize the content of systems and to integrate data from different sources. It is the 2nd edition of Gellish, a Generic Extensible Ontological Language.
Publisher: Lulu.com
ISBN: 1304603768
Category : Computers
Languages : en
Pages : 239
Book Description
Formalized natural languages, such as Formalized English and Formalized Dutch, are powerful extensible languages and ontologies for information and knowledge modeling. The languages enable electronic data storage and data exchange in a neutral and system independent way. They also enable terminology standardization, automated translation, data integration and interoperability of systems. Formal English can be used as a basis for the creation of universal databases and interfaces between systems or to standardize the content of systems and to integrate data from different sources. It is the 2nd edition of Gellish, a Generic Extensible Ontological Language.
Formalizing Natural Languages
Author: Max Silberztein
Publisher: John Wiley & Sons
ISBN: 1119264146
Category : Language Arts & Disciplines
Languages : en
Pages : 346
Book Description
This book is at the very heart of linguistics. It provides the theoretical and methodological framework needed to create a successful linguistic project. Potential applications of descriptive linguistics include spell-checkers, intelligent search engines, information extractors and annotators, automatic summary producers, automatic translators, and more. These applications have considerable economic potential, and it is therefore important for linguists to make use of these technologies and to be able to contribute to them. The author provides linguists with tools to help them formalize natural languages and aid in the building of software able to automatically process texts written in natural language (Natural Language Processing, or NLP). Computers are a vital tool for this, as characterizing a phenomenon using mathematical rules leads to its formalization. NooJ – a linguistic development environment software developed by the author – is described and practically applied to examples of NLP.
Publisher: John Wiley & Sons
ISBN: 1119264146
Category : Language Arts & Disciplines
Languages : en
Pages : 346
Book Description
This book is at the very heart of linguistics. It provides the theoretical and methodological framework needed to create a successful linguistic project. Potential applications of descriptive linguistics include spell-checkers, intelligent search engines, information extractors and annotators, automatic summary producers, automatic translators, and more. These applications have considerable economic potential, and it is therefore important for linguists to make use of these technologies and to be able to contribute to them. The author provides linguists with tools to help them formalize natural languages and aid in the building of software able to automatically process texts written in natural language (Natural Language Processing, or NLP). Computers are a vital tool for this, as characterizing a phenomenon using mathematical rules leads to its formalization. NooJ – a linguistic development environment software developed by the author – is described and practically applied to examples of NLP.
Formal Languages and Applications
Author: Carlos Martin-Vide
Publisher: Springer
ISBN: 3540398864
Category : Technology & Engineering
Languages : en
Pages : 612
Book Description
Formal Languages and Applications provides a comprehensive study-aid and self-tutorial for graduates students and researchers. The main results and techniques are presented in an readily accessible manner and accompanied by many references and directions for further research. This carefully edited monograph is intended to be the gateway to formal language theory and its applications, so it is very useful as a review and reference source of information in formal language theory.
Publisher: Springer
ISBN: 3540398864
Category : Technology & Engineering
Languages : en
Pages : 612
Book Description
Formal Languages and Applications provides a comprehensive study-aid and self-tutorial for graduates students and researchers. The main results and techniques are presented in an readily accessible manner and accompanied by many references and directions for further research. This carefully edited monograph is intended to be the gateway to formal language theory and its applications, so it is very useful as a review and reference source of information in formal language theory.
Logical Form
Author: Andrea Iacona
Publisher: Springer
ISBN: 3319741543
Category : Philosophy
Languages : en
Pages : 139
Book Description
Logical form has always been a prime concern for philosophers belonging to the analytic tradition. For at least one century, the study of logical form has been widely adopted as a method of investigation, relying on its capacity to reveal the structure of thoughts or the constitution of facts. This book focuses on the very idea of logical form, which is directly relevant to any principled reflection on that method. Its central thesis is that there is no such thing as a correct answer to the question of what is logical form: two significantly different notions of logical form are needed to fulfill two major theoretical roles that pertain respectively to logic and to semantics. This thesis has a negative and a positive side. The negative side is that a deeply rooted presumption about logical form turns out to be overly optimistic: there is no unique notion of logical form that can play both roles. The positive side is that the distinction between two notions of logical form, once properly spelled out, sheds light on some fundamental issues concerning the relation between logic and language.
Publisher: Springer
ISBN: 3319741543
Category : Philosophy
Languages : en
Pages : 139
Book Description
Logical form has always been a prime concern for philosophers belonging to the analytic tradition. For at least one century, the study of logical form has been widely adopted as a method of investigation, relying on its capacity to reveal the structure of thoughts or the constitution of facts. This book focuses on the very idea of logical form, which is directly relevant to any principled reflection on that method. Its central thesis is that there is no such thing as a correct answer to the question of what is logical form: two significantly different notions of logical form are needed to fulfill two major theoretical roles that pertain respectively to logic and to semantics. This thesis has a negative and a positive side. The negative side is that a deeply rooted presumption about logical form turns out to be overly optimistic: there is no unique notion of logical form that can play both roles. The positive side is that the distinction between two notions of logical form, once properly spelled out, sheds light on some fundamental issues concerning the relation between logic and language.
Formal Languages in Logic
Author: Catarina Dutilh Novaes
Publisher: Cambridge University Press
ISBN: 1107020913
Category : Computers
Languages : en
Pages : 285
Book Description
Examines the cognitive impact on formal languages for human reasoning, drawing on philosophy, historical development, psychology and cognitive science.
Publisher: Cambridge University Press
ISBN: 1107020913
Category : Computers
Languages : en
Pages : 285
Book Description
Examines the cognitive impact on formal languages for human reasoning, drawing on philosophy, historical development, psychology and cognitive science.
Formalization of Natural Languages
Author: P. Kümmel
Publisher: Springer Science & Business Media
ISBN: 3642666655
Category : Science
Languages : en
Pages : 251
Book Description
The attempt to simulate dialogues in Natural Language by a machine requires extensive analyses of Natural Language's expression and content phenomena. Carefully deducted natural laws must be extracted. A division of all existing Natural Languages into carrier systems of a) agglutinated and b) isolated mor phological structures appears to be of principal significance. Thus morphology can be clearly separated from syntax. While morphology concerns structural phenomena, syntax refers to functional customs and rules of language expressions. Expression morphologies of usual language systems like English, French, German or, Russian exhibit tightly agglutinated characteristics. A smaller portion of Natural Language carrier systems provides morphologies of considerably less degrees of agglutination. Among them are ideographic-, pictographic-and, gesture systems as well as air-controller and children languages within a certain phase of development. Sometimes fully self-explanatory or content-related expression units within carrier systems of isolated morphologies guarantee significant insights into phenomena of Natural Language's content. Therefore evaluations on Natural Language expression structures can never be limited exclusively to auditive and phonographic morphologies. They also incorporate transport means of ideo- and pictogenetic characteristics, in order to evaluate morphology and syntax distinctively. The process of formalizing Natural Languages is highly interdisciplinary. It consists of 1) analyzing, 2) possible enumerating, 3) optimizing, and 4) synthesizing procedures. Irrelevant domains of formalization excesses are avoided by keeping strictly to definitions demarcating natural from artificial languages. Comparative evaluations of agglutinated as well as isolated morphologies are necessary.
Publisher: Springer Science & Business Media
ISBN: 3642666655
Category : Science
Languages : en
Pages : 251
Book Description
The attempt to simulate dialogues in Natural Language by a machine requires extensive analyses of Natural Language's expression and content phenomena. Carefully deducted natural laws must be extracted. A division of all existing Natural Languages into carrier systems of a) agglutinated and b) isolated mor phological structures appears to be of principal significance. Thus morphology can be clearly separated from syntax. While morphology concerns structural phenomena, syntax refers to functional customs and rules of language expressions. Expression morphologies of usual language systems like English, French, German or, Russian exhibit tightly agglutinated characteristics. A smaller portion of Natural Language carrier systems provides morphologies of considerably less degrees of agglutination. Among them are ideographic-, pictographic-and, gesture systems as well as air-controller and children languages within a certain phase of development. Sometimes fully self-explanatory or content-related expression units within carrier systems of isolated morphologies guarantee significant insights into phenomena of Natural Language's content. Therefore evaluations on Natural Language expression structures can never be limited exclusively to auditive and phonographic morphologies. They also incorporate transport means of ideo- and pictogenetic characteristics, in order to evaluate morphology and syntax distinctively. The process of formalizing Natural Languages is highly interdisciplinary. It consists of 1) analyzing, 2) possible enumerating, 3) optimizing, and 4) synthesizing procedures. Irrelevant domains of formalization excesses are avoided by keeping strictly to definitions demarcating natural from artificial languages. Comparative evaluations of agglutinated as well as isolated morphologies are necessary.
Formal Language Theory
Author: Ronald V. Book
Publisher: Academic Press
ISBN: 1483267504
Category : Mathematics
Languages : en
Pages : 469
Book Description
Formal Language Theory: Perspectives and Open Problems focuses on the trends and major open problems on the formal language theory. The selection first ponders on the methods for specifying families of formal languages, open problems about regular languages, and generators of cones and cylinders. Discussions focus on cylinders of algebraic languages, cone of algebraic languages, regularity of noncounting classes, group complexity, specification formalism, and grammars. The publication then elaborates on very small families of algebraic nonrational languages and formal languages and their relation to automata. The book tackles morphisms on free monoids and language theory, homomorphisms, and survey of results and open problems in the mathematical theory of L systems. Topics include single finite substitutions iterated, single homomorphisms iterated, representation of language families, homomorphism equivalence on a language, and problems about infinite words. The selection is a valuable source of data for researchers interested in the formal language theory.
Publisher: Academic Press
ISBN: 1483267504
Category : Mathematics
Languages : en
Pages : 469
Book Description
Formal Language Theory: Perspectives and Open Problems focuses on the trends and major open problems on the formal language theory. The selection first ponders on the methods for specifying families of formal languages, open problems about regular languages, and generators of cones and cylinders. Discussions focus on cylinders of algebraic languages, cone of algebraic languages, regularity of noncounting classes, group complexity, specification formalism, and grammars. The publication then elaborates on very small families of algebraic nonrational languages and formal languages and their relation to automata. The book tackles morphisms on free monoids and language theory, homomorphisms, and survey of results and open problems in the mathematical theory of L systems. Topics include single finite substitutions iterated, single homomorphisms iterated, representation of language families, homomorphism equivalence on a language, and problems about infinite words. The selection is a valuable source of data for researchers interested in the formal language theory.
Controlled Natural Language
Author: B. Davis
Publisher: IOS Press
ISBN: 161499904X
Category : Computers
Languages : en
Pages : 118
Book Description
Controlled natural languages (CNLs) are based on natural language and apply restrictions on vocabulary, grammar, and/or semantics. They fall broadly into 3 groups. Some are designed to improve communication for non-native speakers of the respective natural language; in others, the restrictions are to facilitate the use of computers to analyze texts, for example, to improve computer-aided translation; and a third group of CNLs are designed to enable reliable automated reasoning and formal knowledge representation from seemingly natural texts. This book presents the 11 papers, selected from 14 submitted, and delivered at the sixth in the series of workshops on Controlled Natural Language, (CNL 2018), held in Maynooth, Ireland, in August 2018. The papers cover a full spectrum of controlled natural languages, ranging from human oriented to machine-processable controlled languages and from more theoretical results to interfaces, reasoning engines, and the real-life application of CNLs. The book will be of interest to all those working with controlled natural language, whatever their approach.
Publisher: IOS Press
ISBN: 161499904X
Category : Computers
Languages : en
Pages : 118
Book Description
Controlled natural languages (CNLs) are based on natural language and apply restrictions on vocabulary, grammar, and/or semantics. They fall broadly into 3 groups. Some are designed to improve communication for non-native speakers of the respective natural language; in others, the restrictions are to facilitate the use of computers to analyze texts, for example, to improve computer-aided translation; and a third group of CNLs are designed to enable reliable automated reasoning and formal knowledge representation from seemingly natural texts. This book presents the 11 papers, selected from 14 submitted, and delivered at the sixth in the series of workshops on Controlled Natural Language, (CNL 2018), held in Maynooth, Ireland, in August 2018. The papers cover a full spectrum of controlled natural languages, ranging from human oriented to machine-processable controlled languages and from more theoretical results to interfaces, reasoning engines, and the real-life application of CNLs. The book will be of interest to all those working with controlled natural language, whatever their approach.
Formalizing Natural Languages with NooJ 2019 and Its Natural Language Processing Applications
Author: Héla Fehri
Publisher: Springer Nature
ISBN: 3030388336
Category : Computers
Languages : en
Pages : 228
Book Description
This book constitutes the refereed proceedings of the 13th International Conference, NooJ 2019, held in Hammamet, Tunisia, in June 2019. NooJ is a linguistic development environment that allows linguists to formalize several levels of linguistic phenomena. NooJ provides linguists with tools to develop dictionaries, regular grammars, context-free grammars, context-sensitive grammars and unrestricted grammars as well as their graphical equivalent to formalize each linguistic phenomenon. The 18 full papers presented were carefully reviewed and selected from 54 submissions. The papers are organized in the following tracks: Development of Linguistic Resources, Natural Language Processing Applications, NooJ for the Digital Humanities.
Publisher: Springer Nature
ISBN: 3030388336
Category : Computers
Languages : en
Pages : 228
Book Description
This book constitutes the refereed proceedings of the 13th International Conference, NooJ 2019, held in Hammamet, Tunisia, in June 2019. NooJ is a linguistic development environment that allows linguists to formalize several levels of linguistic phenomena. NooJ provides linguists with tools to develop dictionaries, regular grammars, context-free grammars, context-sensitive grammars and unrestricted grammars as well as their graphical equivalent to formalize each linguistic phenomenon. The 18 full papers presented were carefully reviewed and selected from 54 submissions. The papers are organized in the following tracks: Development of Linguistic Resources, Natural Language Processing Applications, NooJ for the Digital Humanities.