Overall Objectives
Research Program
Application Domains
Software and Platforms
New Results
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: New Results

Syntax-Semantics Interface

TAG, Dependency Grammars, and ACG

Aleksandre Maskharashvili and Sylvain Pogodalla gave an ACG account of  [41] ’s process of transformation of the derivation trees of Tree Adjoining Grammar (TAG) into dependency trees. They made explicit how the requirement of keeping a direct interpretation of dependency trees into strings results into lexical ambiguity. Since the ACG framework has already been used to provide a logical semantics from TAG derivation trees, it results in a unified picture where derivation trees and dependency trees are related but independent equivalent ways to account for the same surface–meaning relation. This result has been published in [15] .

Semantics of Neg-Raising Predicates in TAG

Laurence Danlos, Philippe de Groote, and Sylvain Pogodalla proposed a lexical semantic interpretation of Neg-Raising (NR) predicates that heavily relies on a Montague-like semantics for TAG and on higher-order types. NR verbs form a class of verbs with a clausal complement that show the following behavior: when a negation syntactically attaches to the ma- trix predicate, it can semantically attach to the embedded predicate, as the implication of (2 ) by (1 ) shows. This corresponds to the NR reading of this predicate.

As a base case, the approach lexically provides both NR and non-NR readings to NR predicates. The proposal is implemented in the ACG framework as it offers a fairly standard interface to logical formal semantics for TAG. This result has been published in [13] .


Makoto Kanazawa and Philippe de Groote have defined a general intensionalization procedure that turns an extensional semantics for a language into an intensionalized one that is capable of accommodating truly intensional lexical items without changing the compositional semantic rules [10] . They have proved some formal properties of this procedure and have clarified its relation to the procedure implicit in Montague’s PTQ.