Team signes

Overall Objectives
Scientific Foundations
Application Domains
New Results
Other Grants and Activities

Section: New Results


Wide-coverage semantics lexicons

Participant : Richard Moot [correspondent] .

On the level of semantics, Richard Moot has begun the development of two wide-coverage semantic lexicons, one producing DRT semantics (Kamp & Reyle 2003) and one producing a continuation-based semantics in the style of Philipp de Groote (2006). The system has been presented at the TALN 2010 conference with 2 papers and a demonstration and at the workshop on Logical Methods for Discourse with a presentation and a demonstration.

Text generation with XLFG

Participant : Lionel Clément [correspondent] .

XLFG is still used for teaching and research in formal syntax. Now Lionel Clément is extending with some automatic text generation capabilities. This extension involves some new algorithmic and software developments.

Lexical semantics

Participants : Christian Bassac, Christian Retoré [correpondent] , Bruno Mery.

Bruno Mery Christian Bassac, Christian Retoré pursued the development of their type theoretical model of lexical semantics.

Bruno Mery gave an elegant account of the quantification over the different aspects of a lexeme by using the proper notion of projections. In some sentences, some objects might be counted according to one aspect and to another aspect when a pronoun refers to them. In the following example: books are first counted as physical object, and thereafter as contents, since Boas did not read each copy of the same book: All the books in the library burnt but Boas already read them. This appears in the manuscript of Bruno Mery’s PhD.

Christian Retoré provided a further refinement by using linear types. That way, the control of transformations from an aspect of a word to another is blocked or licensed by the type themselves and not by an external rule. This gives a purely type theoretical account of the proper co-predication over different meanings (This book is interesting but heavy.) and rejects the infelicitous ones (* Washington borders the Potomac and attacked Iraq). He gave talks in Paris, Montpellier and Verona on such issues.

Logic and linguistics

Participants : Michele Abrusci, Ivano Ciardelli, Christian Retoré [Correspondent] .

Ivano Ciardelli, Jean Gillibert, Christian Retoré are producing a direct proof of the completeness of sheaf of classical models with respect to intuitionistic predicate calculus.

Michele Abrusci and Christian Retoré studied the logical formalisation of ordinary language quantification (“some”, “for all”, but also “the majority of”, “most of”) and they found evidences that set theoretic models do not provide a relevant account. They started a proof theoretical view of these phenomena, relying on proofs and refutations. A paper is submitted to the congress CLMPS.

Sylvain Pogodalla and Christian Retoré found a counter example to the criterion of Michele Abrusci for viewing Lambek proofs with cuts as graphs satisfying a certain criterion. Some graphs not satisfying the criterion to correspond to proof with cuts.


Logo Inria