Meta-layer Problem Solving for Computational Construction Grammar

This web demo accompanies the paper:

Van Eecke, P. & K. Beuls (2017). Meta-layer Problem Solving for Computational Construction Grammar. Submitted.

Explanations on how to use this demo are here.


Menu:

WD-1. Routine Language Processing.

WD-2. Meta-Layer Problem Solving: Creating New Lexical Constructions.

WD-3. Meta-Layer Problem Solving: Inducing New Phrasal Constructions.

WD-4. Meta-Layer Problem Solving: Generalising and Specialising Constructions using Anti- and Pro-Unification


WD-1. Routine Language Processing

The following example illustrates the routine processing of the utterance 'the mouse'. Clicking twice on the green nodes in the application process will show the transient structures (grey-green boxes) and applied constructions (blue boxes) at each step. Within a construction or a transient structure, clicking on the ⊕ sign will reveal its features.


Comprehending "the mouse"


Applying
in comprehension


initial structure
application process
applied constructions
resulting structure

Meaning:

gstruct0(mouse?x-93820)struct1(unique?x-93820)struct0:varXdash938201->struct1:varXdash938202

Back to menu


WD-2. Meta-Layer Problem Solving: Creating New Lexical Constructions.

This example shows the creation of a new lexical construction. We try to formulate that a certain linguist likes a certain cat. However, the grammar contains no lexical construction for cat. The diagnostic notices that not all meaning predicates from the input were covered by constructions and the repair makes a new construction for the concept cat. A new string is invented and the syntactic and semantic class are underspecified in the construction.

Clicking on the green box with 'noun-phrase-cxn verb-phrase-cxn' will decompact it and reveal the orange node in which the diagnostic triggered and the yellow node in which the repair did its job. As always, clicking twice on the node in the application process shows the transient structure before construction application, the applied construction, and the transient structure after construction application.


Formulating 

gstruct0(linguisto-1)struct1(uniqueo-1)struct0:Odash11->struct1:Odash12struct2(deep-affectiono-1o-2)struct1:Odash12->struct2:Odash13struct3(uniqueo-2)struct2:Odash23->struct3:Odash24struct4(cato-2)struct3:Odash24->struct4:Odash25

Applying
in formulation


initial structure
application process
applied constructions
resulting structure

Utterance: "the linguist likes the dovuxo"

Consolidation:

As the branch of the repair in the construction application process above lead to a solution (dark green node), the repair-cxn, in this case the cat-cxn, has been added to the grammar ('consolidation'). This means it can now be used in routine processing. Below, we formulate the same sentence again, and can see that no diagnostics or repairs are triggered now. Also, note that the construction inventory now contains 9 constructions instead of 8.


Formulating 

gstruct0(linguisto-1)struct1(uniqueo-1)struct0:Odash11->struct1:Odash12struct2(deep-affectiono-1o-2)struct1:Odash12->struct2:Odash13struct3(uniqueo-2)struct2:Odash23->struct3:Odash24struct4(cato-2)struct3:Odash24->struct4:Odash25

Applying
in formulation


initial structure
application process
applied constructions
resulting structure

Utterance: "the linguist likes the dovuxo"

Back to menu


WD-3. Meta-Layer Problem Solving: Inducing New Phrasal Constructions.

The example demonstrates the creation of a new phrasal construction. The input utterance is 'the green mouse'. The grammar covers all words, but only contains a noun phrase construction that consists of an article and a noun. The diagnostic discovers that not all words have been integrated in the structure, and creates a new phrasal construction. The phrasal construction integrates the adjective into the noun phrase, captures its word order constraints and makes its referent identical to that of the noun phrase. The phrasal-cxn node is not shown in yellow, because it is also a solution node and therefore shown in dark green. When expanding it (click twice), you can still see the yellow mention in the status.


Comprehending "the green mouse"


Applying
in comprehension


initial structure
application process
applied constructions
resulting structure

Meaning:

gstruct0(mouse?x-93880)struct1(green?x-93880)struct0:varXdash938801->struct1:varXdash938802struct2(unique?x-93880)struct1:varXdash938802->struct2:varXdash938803

Back to menu


WD-4. Meta-Layer Problem Solving: Generalising and Specialising Constructions using Anti- and Pro-Unification

This example shows how anti- and pro-unification can be used to flexibly apply a construction on a transient structure and to learn a new construction from an observation. Concretely, we show how a noun phrase with a 'new' word order can be learned. The word order of the input utterance `un dīner formidable' (Art Noun Adj) conflicts with the word order specified in the NP-cxn (Art Adj Noun). Anti-unification helps to arrive at an interpretation and then pro-unification is used to consolidate this repair.

Let us have a look at the transient structure after the application of all lexical constructions. Click the ⊕ sign to reveail the features. Especially the meets predicates in the root are important for this example.

We can see that the noun phrase construction shown below cannot apply. The meets predicates in the NP-unit do not match those of the transient structure:


Now, we will see how the meta-layer solves the problem by anti- and pro-unifying the noun-phrase construction with the transient structure. The anti-unified and pro-unified construction are first shown for clarity, then the complete analysis with the meta-layer is shown. In the anti-unified construction, we can observe that the word order constraints have been relaxed and now contain unbound variables. In the pro-unified construction, we can see that the word order of the observation has been learned.


Comprehending "un dīner formidable"


Applying
in comprehension


initial structure
application process
applied constructions
resulting structure

Meaning:

gstruct0(statusindefinite?x-93919)struct1(qualitysplendid?x-93919)struct0:varXdash939191->struct1:varXdash939192struct2(mealdinner?x-93919)struct1:varXdash939192->struct2:varXdash939193


Now, we can also use the new noun-phrase-cxn in formulation:


Formulating (max 2 solutions) 

gstruct0(qualitysplendido-1)struct1(statusindefiniteo-1)struct0:Odash11->struct1:Odash12struct2(mealdinnero-1)struct1:Odash12->struct2:Odash13

Computing max 2 solutions for application of
in formulation


initial structure
application process
solution 1
applied constructions
resulting structure
solution 2
applied constructions
resulting structure

Utterances: "un dīner formidable, un formidable dīner"

Back to menu