Aggregating Similar Witnesses for Flexible Query Answering

摘要

In this paper we consider the situation when acceptability of an answer depends on aggregation of e.g. three criteria and having first fulfilled by an object b, second by c and the third by d what follows about acceptability of an object a. We use similarities and fuzzy predicate logic with equality axioms. We show that iteration of the database under the Tp operator gives solution which is sound and complete. We discuss the case when similarity is unknown. We use probabilistic arguments for a construction of a similarity from fuzzy sets representing above criteria.