<!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>SWH 2019 Keynote Semantic AI for Healthcare: The HORUS.AI platform</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Fondazione Bruno Kessler</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Trento</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Italy dragoni@fbk.eu</string-name>
        </contrib>
      </contrib-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>Background</title>
      <p>Automatically monitoring and supporting healthy lifestyle is a recent research trend,
fostered by the availability of low-cost monitoring devices, and it can significantly
contribute to the prevention of chronic diseases deriving from incorrect diet and lack of
physical activity.</p>
      <p>Chronic diseases, such as heart disease, cancer, and diabetes, are responsible for
approximately 70% of deaths among Europe and U.S. each year and they account for
about 75% of the health spending1,2. Such chronic diseases can be largely preventable
by eating healthy, exercising regularly, avoiding (tobacco) smoking, and receiving
preventive services. Prevention at every stage of life would help people stay healthy, avoid
or delay the onset of diseases, and keep diseases they already have from becoming
worse or debilitating; it would also help people lead productive lives and, at the end,
reduce the costs of public health.</p>
      <p>
        In the last decades, health care systems in many countries have invested
substantial effort in informing people about the benefits of adopting healthy behaviors in their
lives [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ]. Given the increasing popularity of mobile and personalized applications and
devices (e.g., smart watches), a natural follow up of this effort is the development of
platforms capable of providing user tailored advices, motivating people to adopt healthy
behaviors. Although Internet-based and mobile technologies allow to collect data from
personal devices, off-the-shelf wearable sensors, and external sources, exploiting these
data to generate effective personalized recommendations and to engage people in
developing and maintaining healthier patterns of living, is a challenging task. To carry
out this task, a system providing personalized support for a healthy lifestyle has to take
into account and reason on a considerable amount of knowledge from different domains
(e.g. user attitudes, preferences and environmental conditions, etc.), in order to
generate effective personalized recommendations, and to adapt the message in response to
the environment and the user status.
      </p>
      <p>
        However, engaging people in developing and maintaining healthier patterns of
living is a challenging task as well. To this end, generating effective personalized
recommendations implies, for example, the justification of given suggestions and the
adaptation of messages in response to the modification of the environment and of the user
status. For this reason, as opposed to hardwired persuasive features, systems that applies
general reasoning capabilities to provide flexible persuasive communication based on
rich and diverse linguistic outputs are required. In this context, modeling persuasion
mechanisms and performing flexible and context-dependent persuasive actions is more
ambitious than most current approaches on persuasive technologies (see Captology [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ]).
2
      </p>
    </sec>
    <sec id="sec-2">
      <title>Content</title>
      <p>
        Explainable Artificial Intelligence (XAI) aims at explaining the algorithmic decisions
of AI solutions with non-technical terms in order to make these decision trusted and
easily understandable by humans [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ]. This is of great interest for both Machine Learning
methods and symbolic reasoning in rule engines. The explanation of a reasoning process
can be very difficult, especially when a system is based on a set of complex logical
axioms whose logical inferences are performed with, for example, tableau algorithms
[
        <xref ref-type="bibr" rid="ref4">4</xref>
        ]. Indeed, inconsistencies in logical axioms may be not well understood by users if the
system limits to just report the violated axioms. Indeed, users are generally skilled to
understand neither formal languages nor the behavior of a whole system. This is crucial
for some applications, such as a power plant system where a warning message to the
user must be clear and concise to avoid catastrophic consequences.
      </p>
      <p>
        In this keynote I introduced the problem of adopting XAI systems within the
healthcare domain and I discussed which are the main challenges that we need to address for
design an effective, efficient, and reliable XAI approach that can be accepted within
the healthcare domain. Then, I presented the XAI platform we realized, called
HORUS.AI [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ]: a system based on logical reasoning that supports the monitoring of users’
behaviors and persuades them to follow healthy lifestyles 3.
      </p>
      <p>The HORUS.AI platform is an AI-based system built upon the integration of
semantic web technologies and persuasive techniques for motivating people to adopt healthy
lifestyle or for supporting them to cope with the self-management of chronic diseases.
The system collects data from users’ devices, explicit users’ inputs, or from the
external environment (e.g. facts of the world) and interacts with users by using a goal-based
metaphor. Interactive dialogues are used for proposing set of challenges to users that,
through a mobile application, are able to provide the required information and to receive
contextual motivational messages helping them to achieve the proposed goals.</p>
      <p>
        HORUS.AI is constituted by two main layers: the Knowledge and the
DialogBased Persuasive layers. The Knowledge Layer contains the knowledge bases
modeling the specific domains for which users are monitored (e.g. diet), the rules provided
by domain-experts, and the RDF-based reasoner that combines the modeled
knowledge with the users’ generated data. The concepts and rules of healthy behaviors are
formalized as a TBox of the HeLiS ontology [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ]. The axioms in HeLiS encode the
Mediterranean diet rules that can be associated with user profiles. The user data about
3 This work is compliant with good research practice standards. More details at:
http://ec.europa.eu/research/participants/data/ref/fp7/89888/ethics-for-researchers en.pdf
http://www.who.int/medicines/areas/quality safety/safety efficacy/gcp1.pdf
      </p>
      <p>Semantic AI for Healthcare - The HORUS.AI platform
her/his dietary behavior are acquired through a user’s dietary diary with the help of a
smartphone application. This information populates the HeLiS ABox with logical
individuals. The reasoner combines knowledge and user’s data (TBox and ABox) to infer
the user behavior and generates inconsistencies if the user does not follow the rules of
a healthy lifestyle. The results produced by reasoning operations are coded into
motivational strategies and messages by the Dialog-based Persuasive Layer.</p>
      <p>
        The Dialog-based Persuasive Layer creates and manages dialogues and generates
motivational messages based on the information provided by the Knowledge Layer and
learned from previous users’ behavior. Once an inconsistency, i.e., an unhealthy user
behavior, is detected the system shows the user a natural language message explaining
the wrong behavior and its consequences. This translation from a logic language to plain
text comprehensible by humans leverages a computational persuasion framework [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ]
and Natural Language Generation techniques [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ]. The latter exploit dynamic and smart
templates able to adapt to every persuasion strategy. This way, messages are tailored to
specific users.
      </p>
      <p>These two layers are supported by an Input/Output Layer exploited for directly
communicating with users (i.e. dedicated mobile application or social media channels) by
providing summaries of the acquired data, the chat containing the interactions between
the users and the system, and graphical items showing the users statuses with respect
to their goals. HORUS.AI has been validated within the context of different territorial
labs and projects and the observed results demonstrated the suitability of HORUS.AI
in real-world scenarios. In particular, I reported the validation we performed within a
pilot project (named Key To Health) run into Fondazione Bruno Kessler where a mobile
application linked to the HORUS.AI platform has been used by a group of 120 users
for 49 days.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>Intille</surname>
            ,
            <given-names>S.S.</given-names>
          </string-name>
          :
          <article-title>Ubiquitous Computing Technology for Just-in-Time Motivation of Behavior Change</article-title>
          .
          <source>In: Proceedings of UbiHealth 2003: The 2nd International Workshop on Ubiquitous Computing for Pervasive Healthcare Applications</source>
          . (
          <year>2003</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Fogg</surname>
            ,
            <given-names>B.J.</given-names>
          </string-name>
          : Persuasive Technology:
          <article-title>Using Computers to Change What We Think and Do</article-title>
          . Morgan Kaufmann Publishers (
          <year>2002</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Adadi</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Berrada</surname>
            ,
            <given-names>M.:</given-names>
          </string-name>
          <article-title>Peeking inside the black-box: A survey on explainable artificial intelligence (XAI)</article-title>
          .
          <source>IEEE Access</source>
          <volume>6</volume>
          (
          <year>2018</year>
          )
          <fpage>52138</fpage>
          -
          <lpage>52160</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Baader</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Horrocks</surname>
            ,
            <given-names>I.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Sattler</surname>
            ,
            <given-names>U.</given-names>
          </string-name>
          :
          <article-title>Description logics</article-title>
          .
          <source>In: Handbook of Knowledge Representation. Volume 3 of Foundations of Artificial Intelligence. Elsevier</source>
          (
          <year>2008</year>
          )
          <fpage>135</fpage>
          -
          <lpage>179</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>Dragoni</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Bailoni</surname>
            ,
            <given-names>T.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Maimone</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Marchesoni</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Eccher</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          :
          <string-name>
            <surname>HORUS.AI -</surname>
          </string-name>
          <article-title>A knowledge-based solution supporting health persuasive self-monitoring</article-title>
          . In van Erp,
          <string-name>
            <given-names>M.</given-names>
            ,
            <surname>Atre</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            , Lo´pez, V.,
            <surname>Srinivas</surname>
          </string-name>
          ,
          <string-name>
            <given-names>K.</given-names>
            ,
            <surname>Fortuna</surname>
          </string-name>
          , C., eds.
          <source>: Proceedings of the ISWC</source>
          <year>2018</year>
          <article-title>Posters &amp; Demonstrations, Industry and Blue Sky Ideas Tracks co-located with 17th International Semantic Web Conference (ISWC</article-title>
          <year>2018</year>
          ), Monterey, USA, October 8th - to - 12th,
          <year>2018</year>
          . Volume 2180 of CEUR Workshop Proceedings., CEUR-WS.org (
          <year>2018</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Dragoni</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Bailoni</surname>
            ,
            <given-names>T.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Maimone</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Eccher</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          :
          <string-name>
            <surname>Helis</surname>
          </string-name>
          :
          <article-title>An ontology for supporting healthy lifestyles</article-title>
          .
          <source>In: International Semantic Web Conference (2)</source>
          . Volume
          <volume>11137</volume>
          of Lecture Notes in Computer Science., Springer (
          <year>2018</year>
          )
          <fpage>53</fpage>
          -
          <lpage>69</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7. op den Akker, H.,
          <string-name>
            <surname>Cabrita</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          , op den Akker, R.,
          <string-name>
            <surname>Jones</surname>
            ,
            <given-names>V.M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Hermens</surname>
          </string-name>
          , H.:
          <article-title>Tailored motivational message generation: A model and practical framework for real-time physical activity coaching</article-title>
          .
          <source>Journal of Biomedical Informatics</source>
          <volume>55</volume>
          (
          <year>2015</year>
          )
          <fpage>104</fpage>
          -
          <lpage>115</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <surname>Gatt</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Krahmer</surname>
          </string-name>
          , E.:
          <article-title>Survey of the state of the art in natural language generation: Core tasks, applications and evaluation</article-title>
          .
          <source>J. Artif. Intell. Res</source>
          .
          <volume>61</volume>
          (
          <year>2018</year>
          )
          <fpage>65</fpage>
          -
          <lpage>170</lpage>
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>