Sciweavers

1108 search results - page 59 / 222
» Visualization of Uncertainty and Reasoning
Sort
View
ECAI
2004
Springer
15 years 3 months ago
Uncertain Linear Constraints
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 for...
Nic Wilson
FM
2001
Springer
142views Formal Methods» more  FM 2001»
15 years 2 months ago
Model-Checking over Multi-valued Logics
Classical logic cannot be used to effectively reason about systems with uncertainty (lack of essential information) or inconsistency (contradictory information often occurring when...
Marsha Chechik, Steve M. Easterbrook, Victor Petro...
IJAR
2008
90views more  IJAR 2008»
14 years 9 months ago
The Dempster-Shafer calculus for statisticians
The Dempster-Shafer (DS) theory of probabilistic reasoning is presented in terms of a semantics whereby every meaningful formal assertion is associated with a triple (p, q, r) whe...
Arthur P. Dempster
COSIT
2003
Springer
101views GIS» more  COSIT 2003»
15 years 3 months ago
Maintaining Spatial Relations in an Incremental Diagrammatic Reasoner
Because diagrams are often created incrementally, a qualitative diagrammatic reasoning system must dynamically manage a potentially large set of spatial interpretations. This pape...
Ronald W. Ferguson, Joseph L. Bokor, Rudolph L. Ma...
AI
2008
Springer
15 years 4 months ago
Use of Fuzzy Histograms to Model the Spatial Distribution of Objects in Case-Based Reasoning
Abstract. In the context of the RoboCup Simulation League, we describe a new representation of a software agent’s visual perception (“scene”), well suited for case-based reas...
Alan Davoust, Michael W. Floyd, Babak Esfandiari