Reasoning about Probabilities in Dynamic Systems using Goal Regression

09/26/2013
by   Vaishak Belle, et al.
0

Reasoning about degrees of belief in uncertain dynamic worlds is fundamental to many applications, such as robotics and planning, where actions modify state properties and sensors provide measurements, both of which are prone to noise. With the exception of limited cases such as Gaussian processes over linear phenomena, belief state evolution can be complex and hard to reason with in a general way. This paper proposes a framework with new results that allows the reduction of subjective probabilities after sensing and acting to questions about the initial state only. We build on an expressive probabilistic first-order logical account by Bacchus, Halpern and Levesque, resulting in a methodology that, in principle, can be coupled with a variety of existing inference solutions.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/14/2018

Reasoning about Discrete and Continuous Noisy Sensors and Effectors in Dynamical Systems

Among the many approaches for reasoning about degrees of belief in the p...
research
09/09/1998

Reasoning about Noisy Sensors and Effectors in the Situation Calculus

Agents interacting with an incompletely known world need to be able to r...
research
03/27/2013

Uncertain Reasoning Using Maximum Entropy Inference

The use of maximum entropy inference in reasoning with uncertain informa...
research
02/27/2013

A Logic for Default Reasoning About Probabilities

A logic is defined that allows to express information about statistical ...
research
03/24/2016

An Expressive Probabilistic Temporal Logic

This paper argues that a combined treatment of probabilities, time and a...
research
03/27/2013

Assessment, Criticism and Improvement of Imprecise Subjective Probabilities for a Medical Expert System

Three paediatric cardiologists assessed nearly 1000 imprecise subjective...
research
01/30/2013

Dealing with Uncertainty on the Initial State of a Petri Net

This paper proposes a method to find the actual state of a complex dynam...

Please sign up or login with your details

Forgot password? Click here to reset