User Tools

Site Tools


formalized_languages

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision
Previous revision
formalized_languages [2017/11/15 11:15]
127.0.0.1 external edit
formalized_languages [2018/02/15 12:29] (current)
Line 1: Line 1:
-====== ​1. Formalized languages ======+====== Formalized languages ======
  
 The Gellish family of Formalized Languages is based on language independent semantics and syntax, whereas it is nevertheless close to natural languages. This is realized by the recognition that concepts are basically language independent things, although they are denoted in different languages by different terms, and by the discovery that it is possible to express ideas in a language natural independent way as collections of basically binary relations that are arranged in a network of relations. Such expressions can be unambiguously be interpreted when they conform to patterns in the Gellish universal basic semantic structure. For this reason, each concept is represented in the Gellish family by a natural language independent unique identifier (UID) and each expression is part of a pattern that is derived from the basic semantic structure. Thus the languages of the Gellish family are based a universal basic semantic structure and a generic syntax, as will be described in this wiki. \\ The Gellish family of Formalized Languages is based on language independent semantics and syntax, whereas it is nevertheless close to natural languages. This is realized by the recognition that concepts are basically language independent things, although they are denoted in different languages by different terms, and by the discovery that it is possible to express ideas in a language natural independent way as collections of basically binary relations that are arranged in a network of relations. Such expressions can be unambiguously be interpreted when they conform to patterns in the Gellish universal basic semantic structure. For this reason, each concept is represented in the Gellish family by a natural language independent unique identifier (UID) and each expression is part of a pattern that is derived from the basic semantic structure. Thus the languages of the Gellish family are based a universal basic semantic structure and a generic syntax, as will be described in this wiki. \\
Line 6: Line 6:
 The languages are called //formal// languages, because they are formally defined, so that computers can unambiguously interpret the meaning from the expressions,​ Computers cannot do that with natural languages and without knowledge about the dedicated data models they cannot do that with databases either. Information that is expressed in a Gellish formal language is computer interpretable and application system independent. It can be generated when exporting data from systems for data exchanged between systems and parties in [[:​gellish_messages|Gellish Messages]] and can be imported, interpreted and stored in [[:​gellish_databases|database systems]] and files. Queries can also be expressed in a Gellish formal language. The language has a native standard Gellish Expression format, although it can also be stored in other formats. The languages are called //formal// languages, because they are formally defined, so that computers can unambiguously interpret the meaning from the expressions,​ Computers cannot do that with natural languages and without knowledge about the dedicated data models they cannot do that with databases either. Information that is expressed in a Gellish formal language is computer interpretable and application system independent. It can be generated when exporting data from systems for data exchanged between systems and parties in [[:​gellish_messages|Gellish Messages]] and can be imported, interpreted and stored in [[:​gellish_databases|database systems]] and files. Queries can also be expressed in a Gellish formal language. The language has a native standard Gellish Expression format, although it can also be stored in other formats.
  
-===== 1.Logic =====+===== 1. Logic =====
  
 People implicitly make use of logic when interpreting natural languages. For example, we know that the concept car is a subtype of vehicle. Thus when we talk about a vehicle we know that that may be about a car. In order to enable software to draw similar conclusions when using formal languages it is necessary to include relations between concepts in the definition of the concepts in the formal language. Definitions of concepts therefore relate them to other concepts by standardized kinds of relations. In particular, each concept is defined as a subtype of one or more direct supertype concepts, thus forming a taxonomy of concepts. Gellish formal languages therefore includes an electronic [[:​gellish_english_dictionary|Taxonomic Dictionary]] that provide the concepts and terminology of the languages, as well as relations of particular kinds between the defined concepts, as far as required for the definition of the meaning of the concepts. Furthermore,​ every concept is identified by a natural language independent unique identifier (UID). Those UIDs represent the concepts independent of any language. Every concept can be denoted by various terms, names, codes or phrase, as are used by different language communities in different natural languages. Information that is expressed in one of the formal languages include the UIDs of the concepts. This enables that the expressions can be [[:​automated_translation|automatically translated]] from one formal language to another by Gellish enabled software. For example, queries in Formal Dutch, can be executed on databases that are in English, and the queries as well as the results can be presented to users in Dutch and vice versa. This is possible between any languages for which formal dictionaries are available. People implicitly make use of logic when interpreting natural languages. For example, we know that the concept car is a subtype of vehicle. Thus when we talk about a vehicle we know that that may be about a car. In order to enable software to draw similar conclusions when using formal languages it is necessary to include relations between concepts in the definition of the concepts in the formal language. Definitions of concepts therefore relate them to other concepts by standardized kinds of relations. In particular, each concept is defined as a subtype of one or more direct supertype concepts, thus forming a taxonomy of concepts. Gellish formal languages therefore includes an electronic [[:​gellish_english_dictionary|Taxonomic Dictionary]] that provide the concepts and terminology of the languages, as well as relations of particular kinds between the defined concepts, as far as required for the definition of the meaning of the concepts. Furthermore,​ every concept is identified by a natural language independent unique identifier (UID). Those UIDs represent the concepts independent of any language. Every concept can be denoted by various terms, names, codes or phrase, as are used by different language communities in different natural languages. Information that is expressed in one of the formal languages include the UIDs of the concepts. This enables that the expressions can be [[:​automated_translation|automatically translated]] from one formal language to another by Gellish enabled software. For example, queries in Formal Dutch, can be executed on databases that are in English, and the queries as well as the results can be presented to users in Dutch and vice versa. This is possible between any languages for which formal dictionaries are available.
  
-===== 1.2 Categories of kinds of relations (relation types) =====+===== 2Categories of kinds of relations (relation types) =====
  
 The expression power of formal languages is largely determined by the number and variety of kinds of relations that are available in the language definition. The Gellish formalized language definition includes about 1000 standard kinds of relations. They are defined in the upper ontology section of the Taxonomic Dictionary-Ontology. Their textual definitions and subtype-supertype hierarchy (taxonomy) is documented a computer readable file that itself is written in Gellish. The hierarchy is also available in printed form in the book [[http://​www.lulu.com/​shop/​andries-van-renssen/​taxonomic-dictionary-of-relations/​paperback/​product-22534783.html|Taxonomic Dictionary of Relations]] and in its Dutch equivalent [[http://​www.lulu.com/​shop/​andries-van-renssen/​taxonomisch-woordenboek-van-relaties/​paperback/​product-22534768.html|Taxonomisch Woordenboek van Relaties]]. The electronic version also includes definitions of the allowed roles and the allowed role players for the kinds of relations as well as a taxonomy of roles and of role players. Together that defines what are correct formal expressions and how expressions should be interpreted. The electronic language definition can be licensed, and can then be directly imported in Gellish enabled application systems to enable generation and computer interpretation of formal language expressions. The expression power of formal languages is largely determined by the number and variety of kinds of relations that are available in the language definition. The Gellish formalized language definition includes about 1000 standard kinds of relations. They are defined in the upper ontology section of the Taxonomic Dictionary-Ontology. Their textual definitions and subtype-supertype hierarchy (taxonomy) is documented a computer readable file that itself is written in Gellish. The hierarchy is also available in printed form in the book [[http://​www.lulu.com/​shop/​andries-van-renssen/​taxonomic-dictionary-of-relations/​paperback/​product-22534783.html|Taxonomic Dictionary of Relations]] and in its Dutch equivalent [[http://​www.lulu.com/​shop/​andries-van-renssen/​taxonomisch-woordenboek-van-relaties/​paperback/​product-22534768.html|Taxonomisch Woordenboek van Relaties]]. The electronic version also includes definitions of the allowed roles and the allowed role players for the kinds of relations as well as a taxonomy of roles and of role players. Together that defines what are correct formal expressions and how expressions should be interpreted. The electronic language definition can be licensed, and can then be directly imported in Gellish enabled application systems to enable generation and computer interpretation of formal language expressions.
formalized_languages.txt ยท Last modified: 2018/02/15 12:29 (external edit)