Abstract Objects to Represent Large Answers to Queries in a Concise Form
Robert Demolombe · Flexible Query Answering Systems · 2001
Abstract objects can be used to represent in a concise form answers that are communicated by telephone. We present a formal framework in first order logic in which are defined abtract answers, their lower bounds and their upper bounds. Algebraic formulas are given to efficiently compute the abstract answers from the abstraction of the predicates that occur in a given query. We also present a method to reduce the error caused by the abstraction process that has to be computed when users want to get an exact answer.