Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Abstracting Probabilistic Models: A Logical Perspective   Abstraction is a powerful idea widely used in science, to model, reason and
explain the behavior of systems in a more tractable search space, by omitting
irrelevant details. While notions of abstraction have matured for deterministic
systems, the case for abstracting probabilistic models is not yet fully
understood.
  In this paper, we provide a semantical framework for analyzing such
abstractions from first principles. We develop the framework in a general way,
allowing for expressive languages, including logic-based ones that admit
relational and hierarchical constructs with stochastic primitives. We motivate
a definition of consistency between a high-level model and its low-level
counterpart, but also treat the case when the high-level model is missing
critical information present in the low-level model. We prove properties of
abstractions, both at the level of the parameter as well as the structure of
the models. We conclude with some observations about how abstractions can be
derived automatically.

35
The categories of this paper are: mtrl-th
5
The categories of this paper are: gr-qc
7
The categories of this paper are: hep-th
23
The categories of this paper are: solv-int
21
The categories of this paper are: adap-org
34
The categories of this paper are: chem-ph
22
The categories of this paper are: chao-dyn
18
The categories of this paper are: econ
6
The categories of this paper are: astro-ph
29
The categories of this paper are: funct-an
17
The categories of this paper are: q-fin
13
The categories of this paper are: quant-ph
36
The categories of this paper are: cmp-lg
9
The categories of this paper are: nlin
20
The categories of this paper are: acc-phys
14
The categories of this paper are: math-ph