Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: SLIM: Semi-Lazy Inference Mechanism for Plan Recognition   Plan Recognition algorithms require to recognize a complete hierarchy
explaining the agent's actions and goals. While the output of such algorithms
is informative to the recognizer, the cost of its calculation is high in
run-time, space, and completeness. Moreover, performing plan recognition online
requires the observing agent to reason about future actions that have not yet
been seen and maintain a set of hypotheses to support all possible options.
This paper presents a new and efficient algorithm for online plan recognition
called SLIM (Semi-Lazy Inference Mechanism). It combines both a bottom-up and
top-down parsing processes, which allow it to commit only to the minimum
necessary actions in real-time, but still provide complete hypotheses post
factum. We show both theoretically and empirically that although the
computational cost of this process is still exponential, there is a significant
improvement in run-time when compared to a state of the art of plan recognition
algorithm.

8
The categories of this paper are: hep-ex
29
The categories of this paper are: funct-an
9
The categories of this paper are: nlin
30
The categories of this paper are: q-alg
16
The categories of this paper are: stat
3
The categories of this paper are: physics
18
The categories of this paper are: econ
35
The categories of this paper are: mtrl-th
20
The categories of this paper are: acc-phys
32
The categories of this paper are: atom-ph
15
The categories of this paper are: nucl-ex
5
The categories of this paper are: gr-qc
37
The categories of this paper are: supr-con
23
The categories of this paper are: solv-int
11
The categories of this paper are: hep-lat
31
The categories of this paper are: ao-sci