|
[full paper] |
Nic Wilson
Linear constraints occur naturally in many reasoning problems and the information that they represent is often uncertain. There is a difficulty in applying many AI uncertainty formalisms to this situation, as their representation of the underlying logic, either as a mutually exclusive and exhaustive set of possibilities, or as a propositional or a predicate logic, is inappropriate (or at least unhelpful). To overcome this, we express reasoning with linear constraints as a logic, and develop the formalisms based on this different underlying logic. We focus in particular on a possibilistic logic representation of uncertain linear constraints, and a Dempster-Shafer representation.
Keywords: Reasoning under Uncertainty, Spatial Reasoning, Temporal Reasoning, Nonmonotonic Reasoning
Citation: Nic Wilson: Uncertain Linear Constraints. In R.López de Mántaras and L.Saitta (eds.): ECAI2004, Proceedings of the 16th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2004, pp.231-235.