Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: LYRICS: a General Interface Layer to Integrate Logic Inference and Deep
  Learning   In spite of the amazing results obtained by deep learning in many
applications, a real intelligent behavior of an agent acting in a complex
environment is likely to require some kind of higher-level symbolic inference.
Therefore, there is a clear need for the definition of a general and tight
integration between low-level tasks, processing sensorial data that can be
effectively elaborated using deep learning techniques, and the logic reasoning
that allows humans to take decisions in complex environments. This paper
presents LYRICS, a generic interface layer for AI, which is implemented in
TersorFlow (TF). LYRICS provides an input language that allows to define
arbitrary First Order Logic (FOL) background knowledge. The predicates and
functions of the FOL knowledge can be bound to any TF computational graph, and
the formulas are converted into a set of real-valued constraints, which
participate to the overall optimization problem. This allows to learn the
weights of the learners, under the constraints imposed by the prior knowledge.
The framework is extremely general as it imposes no restrictions in terms of
which models or knowledge can be integrated. In this paper, we show the
generality of the approach showing some use cases of the presented language,
including model checking, supervised learning and collective classification.

31
The categories of this paper are: ao-sci
8
The categories of this paper are: hep-ex
9
The categories of this paper are: nlin
35
The categories of this paper are: mtrl-th
22
The categories of this paper are: chao-dyn
11
The categories of this paper are: hep-lat
12
The categories of this paper are: nucl-th
29
The categories of this paper are: funct-an
17
The categories of this paper are: q-fin
2
The categories of this paper are: math
3
The categories of this paper are: physics
28
The categories of this paper are: alg-geom
24
The categories of this paper are: dg-ga
37
The categories of this paper are: supr-con
5
The categories of this paper are: gr-qc
20
The categories of this paper are: acc-phys