A survey of methods to evaluate quantified sentences

Abstract

The evaluation of quantified sentences is used to solve several problems. Most of the methods proposed in the literature are not satisfactory because they do not verify some intuitive properties. In this paper we propose an extension of both possibilistic and probabilistic methods, based on the Sugeno and the Choquet fuzzy integrals respectively, for the evaluation of type II sentences, the most general kind of sentences. These methods verify good properties, and they are shown to be better than existing ones. Some of the properties of the methods allow us to design an efficient algorithm with linear complexity to perform the evaluation under reasonable assumptions.