Institute of Information Theory and Automation

You are here

Modeling vague quantifiers in mathematical fuzzy logic

Identification Code: 
1897-N25
Start: 
2015-01-01
End: 
2017-12-31
Project Focus: 
teoretický
Project Type (EU): 
other
Abstract: 
The main aim of the project is to deepen and extend the mathematical foundations for adequate modeling of vague quantifiers as fuzzy quantifiers in the framework of MFL. We will examine previous results on fuzzy quantifiers from this new perspective and extend them in several ways by considering formalisms and results of MFL, including H'ajek's fuzzy probability logic, general two-level syntax modal logics, first-order fuzzy quantification, higher-order formalisms, algebraic and game-theoretic semantics, and automated reasoning techniques. This innovative approach is not only expected to provide new usefulmathematical models for reasoning with vague quanti ers, but it will also stimulate the development of MFL itself by introducing further distinct families of deductive systems. The project will join two teams, based in Austria and the Czech Republic, with a long history of mutual cooperation in related topics, profiting from complementary expertise and skill.
kratochvil: 2017-05-16 15:42