=ADD=
=reftype=
14
=number=
00-24
=url=
ftp://ftp.risc.uni-linz.ac.at/pub/techreports/2000/00-24.ps.gz
=year=
2000
=month=
09
=author=
Ratschan; Stefan
=title=
Uncertainty Propagation in Heterogenous Algebras for Approximate Quantified Constraint Solving
=abstract=
  When trying to solve quantified constraints (i.e., first-order formulas over the
  real numbers) exactly, one faces the following problems: First, constants coming from
  measurements are often only approximately given. Second, solving such constraints is in
  general undecidable and for special cases highly complex. Third, exact solutions are
  often extremely complicated symbolic expressions.  In this paper we study how to do
  approximate computation instead --- working on approximate inputs and producing
  approximate output.  For this we show how quantified constraints can be viewed as
  expressions in heterogeneous algebra and study how to do uncertainty propagation
  there. Since set theory is a very fundamental approach for representing uncertainty,
  also here we represent uncertainty by sets.  Our considerations result in a general
  framework for approximate computation that can be applied in various different domains.
=sponsor=
FWF SFB1303