Objective
The specific objectives of DYANA-2 are four-fold: (i) To determine those aspects of the structure of information states which are relevant to natural language interpretation; (ii) To examine specific semantic and pragmatic phenomena which currently prevent the effective use of natural language in human-computer interaction; (iii) To develop sufficient understanding of the logical and computational properties of sign-based grammar architectures to allow application across all components of the grammar; (iv) To demonstrate the utility of sign-based grammar architecture by providing a principled account of cross-linguistic variation.
The research is concerned with the foundations of natural language interpretation and its consequences for knowledge representation, focusing on the themes of partial information and dynamic interpretation, with attention to the goal of developing a formal theory of natural language interpretation which admits computational implementation.
Results have been produced in the following areas:
grammar architecture (the solution to spurious ambiguity in the Lambek calculus, substructural categorial logic, second order Lambek calculus, categorical polymorphism, constraint based linguistic description);
interpretation in context (integrating dynamic and update semantics, simultaneous abstraction in situation theory, generalized quantifiers and plural anaphora, scope properties of indefinites, presupposition);
implementation and integration (implementation of the constraint based unification formalism, implementation of a DRT fragment using situation theory).
APPROACH AND METHODS
Research is carried out on an interdisciplinary, collaborative basis drawing on concepts and tools from linguistics, logic, artificial intelligence and computer science. The work is divided into three interdependent themes:
- Grammar Architecture, in which the formalisations of the sign-based approach are developed, thus enabling study of the abstract specification and parametric variation of linguistic structure within a computational setting. Here we aim to further the work in DYANA-1 on sign-based grammars, regarding both categorial type systems and unification based theories.
- Interpretation in Context, in which the further development of the outlook on meaning developed in DYANA-1 is addressed, and its application to phenomena such as quantification, anaphora, ellipsis, tense & aspect, questions, presupposition and modal subordination.
- Implementation and Integration, in which the aim is to show the feasibility of using the results from these theoretical investigations in the design of real-life computational applications. This will involve work in the maturing paradigm of computational syntax and the relatively underdeveloped field of computational semantics. It intends to give direction to work on integrating the two.
POTENTIAL
The research themes that constitute the DYANA project aim to meet some of the challenges that lie ahead on the way towards computer systems that use natural language. Although the major aim of the project is to carry out fundamental research in natural language processing, work is also directed towards the development of prototypes and proof-of-concept implementations. A DYANA Newsletter is published which contains up to date information about recent publications, new deliverables, and DYANA-related workshops.
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
- natural sciences computer and information sciences artificial intelligence
- humanities languages and literature linguistics
- natural sciences computer and information sciences data science natural language processing
- natural sciences computer and information sciences knowledge engineering
You need to log in or register to use this function
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Data not available
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Data not available
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Data not available
Coordinator
1000 GG AMSTERDAM
Netherlands
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.