The project will develop technology for multilingual digital communication. The technology will enable services that citizens can use in their own languages, and also the spreading of up-to-date information in multiple languages. This will be done in a reliable way, so that the users can trust the information they get.
Today, translations to different languages must be made manually, because automatic tools are not reliable enough. The inference required for question answering is equally manual, because the information contained in contracts is not formal enough to be reasoned mechanically; methods like string-based search are not accurate enough. The aim is to solve both problems, with a solution that is common to a great extent.
The solution is to use controlled natural language (CNL), which is a subset of natural language with a formally specifiable structure. This idea is adapted to natural languages in the Grammatical Framework (GF), which moreover allows the mapping between abstract syntax and multiple simultaneous languages.
In addition to grammars, the project uses formal methods, such as automated reasoning and software verification.
Reasoning is used for question answering, but also for consistency checking of documents. Software verification is in this project applied to: computational grammars.