Community Research and Development Information Service - CORDIS

FP7

MATOMUVI — Result In Brief

Project ID: 247584
Funded under: FP7-PEOPLE
Country: Italy
Domain: Fundamental Research

Mathematics for uncertain and vague reasoning

Over 40 researchers from Europe and South America joined their efforts to develop a uniform approach to the study of uncertain and vague aspects of real-world phenomena.
Mathematics for uncertain and vague reasoning
Automated reasoning such as the algorithms in self-driving cars, artificial intelligence, etc. inevitably deal with two major challenges: vagueness and uncertainty of data. Those two inherent aspects of reality should not be confused e.g., ‘tomorrow will rain a lot’ is a piece of information that contains both uncertainty ‘tomorrow’ and vagueness ‘a lot’. Despite its reputation of ‘hard science’, mathematics, and in particular mathematical logic, owns powerful tools apt to model those phenomena. However, our ability to tame the complexity of these situations has only made its first steps and much is yet to be done.

The EU-funded MATOMUVI (Mathematical tools for the management of uncertain and vague information) project was a major collaborative initiative to study mathematical theories to deal with phenomena in which uncertainty and vagueness are entangled. The initiative builds on existing network of collaborations between European and Latin-American researchers from 15 universities in 5 countries.

The first research objective pursued within MATOMUVI was to systematise the study of logics that are able to deal with vague information. Indeed, when a departure is made from the reinsuring mathematical model of reality in which every question has a yes-or-no answer, the number of possible logical systems blows up, calling for more general perspectives and tools.

Next, project members enhanced their tools to cope with more complex real-world problems where vagueness and uncertainty are entangled. Specifically, the challenge for the team was to extend classical approaches to many-valued logics and develop a general theory of probabilities over continuously valued events.

This endeavour called for a deeper understanding of algebraic and alternative semantics of many-valued logic and their topological and combinatorial dualities, providing new tools to deal with non-classical events.

MATOMUVI supported the European and Latin-American consortium to draw into focus the manifold strengths of mathematical logic in uncertain and vague reasoning by promoting long- and short-term staff exchanges, international conferences and workshops.

Related information

Keywords

Many-valued logic, non-classical logic, computer science, MATOMUVI, real-world problems, topological dualities
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top