Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Reasoning about Discrete and Continuous Noisy Sensors and Effectors in
  Dynamical Systems   Among the many approaches for reasoning about degrees of belief in the
presence of noisy sensing and acting, the logical account proposed by Bacchus,
Halpern, and Levesque is perhaps the most expressive. While their formalism is
quite general, it is restricted to fluents whose values are drawn from discrete
finite domains, as opposed to the continuous domains seen in many robotic
applications. In this work, we show how this limitation in that approach can be
lifted. By dealing seamlessly with both discrete distributions and continuous
densities within a rich theory of action, we provide a very general logical
specification of how belief should change after acting and sensing in complex
noisy domains.

16
The categories of this paper are: stat
10
The categories of this paper are: q-bio
23
The categories of this paper are: solv-int
9
The categories of this paper are: nlin
0
The categories of this paper are: hep-ph
31
The categories of this paper are: ao-sci
5
The categories of this paper are: gr-qc
2
The categories of this paper are: math
13
The categories of this paper are: quant-ph
7
The categories of this paper are: hep-th
3
The categories of this paper are: physics
15
The categories of this paper are: nucl-ex
27
The categories of this paper are: comp-gas
29
The categories of this paper are: funct-an
26
The categories of this paper are: bayes-an
8
The categories of this paper are: hep-ex