<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Learning and Reasoning with Logic Tensor Networks: The Framework and an Application (Abstract of Invited Talk)</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Luciano Serafini</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Fondazione Bruno Kessler</institution>
          ,
          <addr-line>Trento</addr-line>
          ,
          <country country="IT">Italy</country>
        </aff>
      </contrib-group>
      <pub-date>
        <year>2021</year>
      </pub-date>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>Logic Tensor Networks (LTN) is a theoretical framework and an experimental platform that
integrates learning based on tensor neural networks with reasoning using first-order
manyvalued/fuzzy logic. LTN supports a wide range of reasoning and learning tasks with logical
knowledge and data using rich symbolic knowledge representation in first-order logic (FOL) to
be combined with eficient data-driven machine learning based on the manipulation of
realvalued vectors. In practice, FOL reasoning including function symbols is approximated through
the usual iterative deepening of clause depth. Given data available in the form of real-valued
vectors, logical soft and hard constraints and relations which apply to certain subsets of the
vectors can be specified compactly in FOL. All the diferent tasks can be represented in LTN as
a form of approximated satisfiability, reasoning can help improve learning, and learning from
new data may revise the constraints thus modifying reasoning. We apply LTNs to Semantic
Image Interpretation (SII) in order to solve the following tasks: (i) the classification of an image’s
bounding boxes and (ii) the detection of the relevant part-of relations between objects. The
results shows that the usage of background knowledge improves the performance of pure
machine learning data driven methods.</p>
    </sec>
  </body>
  <back>
    <ref-list />
  </back>
</article>