Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On Plans With Loops and Noise   In an influential paper, Levesque proposed a formal specification for
analysing the correctness of program-like plans, such as conditional plans,
iterative plans, and knowledge-based plans. He motivated a logical
characterisation within the situation calculus that included binary sensing
actions. While the characterisation does not immediately yield a practical
algorithm, the specification serves as a general skeleton to explore the
synthesis of program-like plans for reasonable, tractable fragments.
  Increasingly, classical plan structures are being applied to stochastic
environments such as robotics applications. This raises the question as to what
the specification for correctness should look like, since Levesque's account
makes the assumption that sensing is exact and actions are deterministic.
Building on a situation calculus theory for reasoning about degrees of belief
and noise, we revisit the execution semantics of generalised plans. The
specification is then used to analyse the correctness of example plans.

34
The categories of this paper are: chem-ph
26
The categories of this paper are: bayes-an
17
The categories of this paper are: q-fin
30
The categories of this paper are: q-alg
35
The categories of this paper are: mtrl-th
4
The categories of this paper are: cond-mat
31
The categories of this paper are: ao-sci
20
The categories of this paper are: acc-phys
25
The categories of this paper are: patt-sol
12
The categories of this paper are: nucl-th
15
The categories of this paper are: nucl-ex
37
The categories of this paper are: supr-con
36
The categories of this paper are: cmp-lg
11
The categories of this paper are: hep-lat
14
The categories of this paper are: math-ph
0
The categories of this paper are: hep-ph