diff --git a/lib/resource-1.0/doc/gslt-sem-2006.html b/lib/resource-1.0/doc/gslt-sem-2006.html index 70fd31165..e1fefb366 100644 --- a/lib/resource-1.0/doc/gslt-sem-2006.html +++ b/lib/resource-1.0/doc/gslt-sem-2006.html @@ -7,67 +7,12 @@
-
Current funding @@ -101,7 +46,6 @@ Main applications
-
Staff contributions to grammar libraries: @@ -154,7 +98,6 @@ Resource library patches and suggestions from the WebALT staff:
-
The main device of division of labour in programming. @@ -180,7 +123,6 @@ Practical advantages:
-
Libraries promote abstraction: you abstract away from details. @@ -199,7 +141,6 @@ if it just has a support for functions or macros.
-
Example: we want to create a GUI (Graphical User Interface) button @@ -249,7 +190,6 @@ The library has an API (Application Programmer's Interface) with:
-
This is what you often see as a feedback from a program: @@ -277,7 +217,6 @@ The code that should be written is of course
-
The same as with "Yes": you have to know the words "you", @@ -304,7 +243,6 @@ of "message":
-
You also have to know the case required by the verb "have" @@ -328,7 +266,6 @@ address the user:
-
In analogy with the "Yes" case, you write @@ -350,7 +287,6 @@ It is time to move from canned text to a grammar.
-
You may want to write @@ -378,7 +314,6 @@ For this purpose, you need a library with the API
-
The library API for language will certainly grow big and become @@ -423,7 +358,6 @@ Thus some amount of interaction is needed.
-
The library has construction functions like @@ -451,7 +385,6 @@ knowledge by application programmers!
-
GF = Grammatical Framework @@ -495,7 +428,6 @@ Simplest possible example:
-
The realizatin function is, for each language, implemented by @@ -517,7 +449,6 @@ The GF formalism moreover has the property of reversibility:
-
multilingual grammar = abstract syntax + concrete syntaxes @@ -534,7 +465,6 @@ Examples of the idea:
-
An abstract syntax has other names: @@ -566,7 +496,6 @@ Problem: the expertise of both a linguist and a domain expert are required.
-
Arithmetic of natural numbers: abstract syntax @@ -589,7 +518,6 @@ Arithmetic of natural numbers: abstract syntax
-
We can translate using the abstract syntax as interlingua: @@ -611,7 +539,6 @@ But is it really so simple?
-
The previous multilingual grammar breaks these rules in many situations: @@ -628,7 +555,6 @@ All these sentences are grammatically incorrect.
-
GF can express the linguistic rules that are needed to @@ -659,7 +585,6 @@ Linguistic knowledge dominates in the size of this grammar.
-
Application grammar ("semantic grammar") @@ -682,7 +607,6 @@ Resource grammar ("syntactic grammar")
-
The expressive power is between TAG and HPSG. @@ -702,7 +626,6 @@ We have built a module system that can hide details.
-
Assume the following API @@ -733,7 +656,6 @@ Notice: the choice of adjective is domain expert knowledge.
-
What should there be in the library? @@ -765,7 +687,6 @@ hence cannot use existing proprietary resources.
-
Coverage, for each language: @@ -798,7 +719,6 @@ Presentation:
-
Where do we get the data from? @@ -818,7 +738,6 @@ The resource grammar library is entirely open-source free software
-
Grammatical correctness of everything generated. @@ -838,7 +757,6 @@ Tools for regression testing (treebank generation and comparison)
-
Language coverage: @@ -873,7 +791,6 @@ Linguistic innovation in syntax:
-
Application grammars use domain-specific @@ -897,7 +814,6 @@ for all for the whole language.
-
Grammar composition: any grammar can serve as resource to another one.
@@ -935,7 +851,6 @@ In Lang (ground level resource API)
-
The current GF Resource Project covers ten languages: @@ -962,7 +877,6 @@ In addition, we have parts (morphology) of Arabic, Estonian, Latin, and Urdu
-
@@ -979,7 +893,6 @@ Cf. "matrix" in BLARK, LinGo
-
ParadigmsSwe
@@ -1000,7 +913,6 @@ Cf. "matrix" in BLARK, LinGo
-
English: negation and auxiliary vs. non-auxiliary verbs @@ -1023,7 +935,6 @@ Scandinavian: determiners
-
For the ten languages we have considered, it is possible @@ -1049,7 +960,6 @@ Reservations:
-
Simplest case: use the API in the same way for all languages. @@ -1078,7 +988,6 @@ than writing a resource grammar!
-
We can go even farther than share an abstract API: we can share implementations @@ -1098,7 +1007,6 @@ Exploited in two families:
-
We cannot anticipate all vocabulary needed in application grammars. @@ -1122,7 +1030,6 @@ Example heuristic, from ParadigsSwe:
-
decl2Noun : Str -> N = \bil ->
@@ -1139,7 +1046,6 @@ Example heuristic, from ParadigsSwe:
-
Some formats that can be generated from GF grammars
-printer=lbnf BNF Converter, thereby C/Bison, Java/JavaCup
@@ -1157,7 +1063,6 @@ Example heuristic, from ParadigsSwe:
-
Use as program components
Haskell, Java, Prolog
@@ -1171,7 +1076,6 @@ Push-button creation of spoken language translators (using Nuance)
-
Grammar library as linguistic resource
Can we use the libraries outside domain-specific fragments?
@@ -1194,7 +1098,6 @@ Two ideas:
-
Corpus generation
The most general format is multilingual treebank generation:
@@ -1225,7 +1128,6 @@ Can this be useful? Cf. Rebecca Jonson this afternoon.
-
Related work
CLE = Core Language Engine
@@ -1255,7 +1157,6 @@ Parsing detached from grammar (Nivre) - grammar detached from parsing
-
Demo
Stoneage grammar, based on the Swadesh word list.
@@ -1267,6 +1168,6 @@ Implemented as application on top of the resource grammar.
Illustrate generation and spoken-language parsing.
-
-
+
+