<!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>A System Layout for Cognitive Service Robots</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Stefan Schiffer1,2</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Alexander Ferrein2</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>1 Knowledge-Based, Systems Group (KBSG), RWTH Aachen University</institution>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>2 Mobile Autonomous Systems and, Cognitive Robotics Institute (MASCOR), FH Aachen University of Applied Sciences</institution>
        </aff>
      </contrib-group>
      <pub-date>
        <year>2016</year>
      </pub-date>
      <fpage>44</fpage>
      <lpage>45</lpage>
      <abstract>
        <p>-In this paper we discuss a system layout for cognitive service robots. The goal is to sketch components and their interplay needed for cognitive robotics as introduced by Ray Reiter. We are particularly interested in applications in domestic service robotics where we focus on integrating qualitative reasoning and human-robot interaction. The overall objective is to build and maintain a knowledge-based system and agent specification.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>
        II. A COGNITIVE SERVICE ROBOT SYSTEM LAYOUT
We now discuss a system layout for such a cognitive service
robot in domestic applications. Figure 1 shows an overview
of the elements that we think are necessary and useful for
a cognitive robotic system. The particular focus here is on
integrating qualitative reasoning and human-robot interaction
[
        <xref ref-type="bibr" rid="ref7">7</xref>
        ], [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ] for applications in domestic domains [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ].
      </p>
      <p>
        The blue elements are components that provide basic
capabilities like collision avoidance and localization. The green
boxes represent high-level components, that is, components
featuring a sophisticated reasoning mechanism. We use a
logic-based high-level language called ReadyLog [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ] which,
among other things, features decision-theoretic planning in
the spirit of [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ]. The orange components bridge between
the high-level and the human or extend the high-level with
mechanisms to facilitate intuitive interaction. The yellow box
finally, is an optional but desirable component to enable
e
c
n
a
n
e
t
n
i
a
M
lfe
S
l
o
r
t
n
o
C
y
z
z
u
F
      </p>
    </sec>
    <sec id="sec-2">
      <title>High-level Reasoning</title>
      <p>iev -n o&amp; anum itsoon
t
ilaauQ rseeepR ittsan H N
t</p>
    </sec>
    <sec id="sec-3">
      <title>Base Components</title>
      <p>l
ita son ign
a
Sp ita on
e t s
iv en ea
ta se R
tauQ repR and
li</p>
      <p>N
atural L
Interpretaatniognuage
s
itc ion
n t
a ta
eSm onnA</p>
      <p>um
BInsitcerHaction M
a
an-Roodbuoltes</p>
      <p>Fig. 1: A cognitive service robot system layout
enduring autonomy. It is an extension of the high-level control
that has tight connections to the basic components.</p>
      <sec id="sec-3-1">
        <title>A. Basic Human-Robot Interaction Modules</title>
        <p>
          Our domestic service robot is supposed to interact with
laymen. Hence, it needs to be operable by such laymen and
the interaction between the human and the robot needs to be
as natural and intuitive as possible. This is why we argue for
extending the basic capabilities with modules for three
important human-robot interaction components, namely speech,
face, and gesture recognition. Examplary solutions for such
components tailored for the particular application scenarios
can be found in [
          <xref ref-type="bibr" rid="ref3">3</xref>
          ], [
          <xref ref-type="bibr" rid="ref1">1</xref>
          ], and [
          <xref ref-type="bibr" rid="ref9">9</xref>
          ] respectively. We consider
these components since they represent (perhaps the most)
important modalities in human-robot interaction. Human-robot
interaction can be made even more natural and affective with
additional components such as text-to-speech and an animated
visual appearance.
        </p>
      </sec>
      <sec id="sec-3-2">
        <title>B. High-level Reasoning</title>
        <p>A domestic service robot that needs to assist humans with
complex and cognitively challenging tasks, must be endowed
with some form of reasoning that allows it to take decisions
in such complex scenarios. This high-level reasoning abstracts
from the details of lower levels and provides mechanisms
to come up with a dedicated course of action for a robot
to reach a particular goal. Our robot features a logic-based
high-level reasoning component for that purpose. It allows for
flexibly combining programming and planning in the behavior
specification of the robot.</p>
        <p>
          One of the issues in developing a robotic system that
interacts with humans is the difference in representations
with humans and machines. A technical system mostly uses
numbers to represent things like speed, distance, and
orientation while humans use imprecise linguistic notions. A
robotic system that assists humans in their daily life, must
be equipped with means to understand and to communicate
with humans in terms and with notions that are natural to
humans. The qualitative representations and reasoning with
them should be available especially for positional information
(e.g. as proposed in [
          <xref ref-type="bibr" rid="ref12">12</xref>
          ]) since these are very frequent in
domestic settings, for example, with references to objects and
places.
        </p>
      </sec>
      <sec id="sec-3-3">
        <title>D. Semantic Annotations</title>
        <p>
          Another building block to mediate between the raw sensor
data and the numerical information that the base components
of a cognitive robot work with are semantic annotations. In our
cognitive robot system, for instance, we allow for generating
semantically annotated maps [
          <xref ref-type="bibr" rid="ref10">10</xref>
          ]. This attaches semantic
information to places like functions of a room or where it
is likely to find people in an apartment. Another example
could be part of the object recognition [
          <xref ref-type="bibr" rid="ref6">6</xref>
          ], where objects are
described by a set of (semantic) attributes. This way, one can
dynamically build classes of objects, for example, all objects
with a specific color.
        </p>
      </sec>
      <sec id="sec-3-4">
        <title>E. Natural Language Interpretation</title>
        <p>
          Humans tend to be imprecise and imperfect in their natural
spoken language. Therefore, when natural language is used to
give instructions to a robot, the robot is potentially confronted
with incomplete, ambiguous, or even incorrect commands.
Aiming for a robust and flexible system a method for natural
language interpretation that can account for handling such
fallibility is beneficial. We present such a system [
          <xref ref-type="bibr" rid="ref13">13</xref>
          ] that
uses decision-theoretic planning in the spirit of DT-Golog [
          <xref ref-type="bibr" rid="ref2">2</xref>
          ]
to interpret the instruction given to the robot. It is able to
account for imprecise and missing information and initiates
steps for clarification accordingly.
        </p>
      </sec>
      <sec id="sec-3-5">
        <title>F. Self-Maintenance</title>
        <p>
          A robotic system that is capable of planning and executing
complex tasks is a complex system itself. That is why such
a system is itself vulnerable to errors. These errors are not
restricted to action execution but span to internal system errors
as well. As an additional component in the system layout
we proposed a system for self-maintenance [
          <xref ref-type="bibr" rid="ref14">14</xref>
          ] that is able
to detect and circumvent certain errors. Thus we increase
the system’s robustness and enable longer-term autonomous
operation.
        </p>
        <p>III. CONCLUSION</p>
        <p>In this paper, we discussed the layout of a cognitive
service robotic system that integrates qualitative reasoning and
human-robot interaction for applications in domestic service
robotics. The system layout features components that allow
for implementing a capable service robotic system. The layout
addresses bridging the gap between the robot and the human
with several measures, making available the qualitative notions
that humans commonly use in the robot system, in general,
and in the high-level reasoning, in particular. This allows
for natural interaction and with its advanced reasoning the
robot can assist its human users with complex and cognitively
challenging tasks. This is especially useful with disabled or
elderly people.</p>
      </sec>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>Vaishak</given-names>
            <surname>Belle</surname>
          </string-name>
          , Thomas Deselaers, and
          <string-name>
            <given-names>Stefan</given-names>
            <surname>Schiffer</surname>
          </string-name>
          .
          <article-title>Randomized trees for real-time one-step face detection and recognition</article-title>
          .
          <source>In Proc. Int'l Conf. on Pattern Recognition (ICPR'08)</source>
          , pages
          <fpage>1</fpage>
          -
          <lpage>4</lpage>
          . IEEE Computer Society, December 8-11
          <year>2008</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>Craig</given-names>
            <surname>Boutilier</surname>
          </string-name>
          , Ray Reiter, Mikhail Soutchanski, and
          <string-name>
            <given-names>Sebastian</given-names>
            <surname>Thrun</surname>
          </string-name>
          .
          <article-title>Decision-theoretic, high-level agent programming in the situation calculus</article-title>
          .
          <source>In Proc. Nat'l Conf. on Artificial Intelligence (AAAI-00)</source>
          , pages
          <fpage>355</fpage>
          -
          <lpage>362</lpage>
          , Menlo Park, CA,
          <year>July</year>
          30- 3
          <year>2000</year>
          . AAAI Press.
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>Masrur</given-names>
            <surname>Doostdar</surname>
          </string-name>
          , Stefan Schiffer, and
          <string-name>
            <given-names>Gerhard</given-names>
            <surname>Lakemeyer</surname>
          </string-name>
          .
          <article-title>Robust speech recognition for service robotics applications</article-title>
          .
          <source>In Proc. Int'l RoboCup Symposium</source>
          (RoboCup
          <year>2008</year>
          ), volume
          <volume>5399</volume>
          <source>of LNCS</source>
          , pages
          <fpage>1</fpage>
          -
          <lpage>12</lpage>
          . Springer, July
          <volume>14</volume>
          -18
          <year>2008</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>Alexander</given-names>
            <surname>Ferrein</surname>
          </string-name>
          and
          <string-name>
            <given-names>Gerhard</given-names>
            <surname>Lakemeyer</surname>
          </string-name>
          .
          <article-title>Logic-based robot control in highly dynamic domains</article-title>
          .
          <source>Robotics and Autonomous Systems</source>
          ,
          <volume>56</volume>
          (
          <issue>11</issue>
          ):
          <fpage>980</fpage>
          -
          <lpage>991</lpage>
          ,
          <year>2008</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <surname>Hector</surname>
            <given-names>J.</given-names>
          </string-name>
          <string-name>
            <surname>Levesque</surname>
            and
            <given-names>Gerhard</given-names>
          </string-name>
          <string-name>
            <surname>Lakemeyer</surname>
          </string-name>
          .
          <article-title>Cognitive Robotics</article-title>
          . In Frank van Harmelen,
          <string-name>
            <surname>Vladimir Lifschitz</surname>
          </string-name>
          , and Bruce Porter, editors,
          <source>Handbook of Knowledge Representation</source>
          , chapter
          <volume>23</volume>
          , pages
          <fpage>869</fpage>
          -
          <lpage>886</lpage>
          . Elsevier,
          <year>2008</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>Tim</given-names>
            <surname>Niemueller</surname>
          </string-name>
          , Stefan Schiffer, Gerhard Lakemeyer, and
          <string-name>
            <surname>Safoura</surname>
          </string-name>
          Rezapour-Lakani.
          <article-title>Life-long learning perception using cloud database technology</article-title>
          .
          <source>In Proc. IROS Workshop on Cloud Robotics</source>
          ,
          <year>2013</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>Stefan</given-names>
            <surname>Schiffer</surname>
          </string-name>
          .
          <article-title>Integrating Qualitative Reasoning and Human-Robot Interaction for Domestic Service Robots</article-title>
          . Dissertation, RWTH Aachen University, Department of Computer Science, Feb
          <year>2015</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <given-names>Stefan</given-names>
            <surname>Schiffer</surname>
          </string-name>
          .
          <article-title>Integrating qualitative reasoning and human-robot interaction in domestic service robotics</article-title>
          .
          <source>KI - Ku¨nstliche Intelligenz</source>
          ,
          <volume>30</volume>
          (
          <issue>3</issue>
          ):
          <fpage>257</fpage>
          -
          <lpage>265</lpage>
          ,
          <year>2016</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>Stefan</given-names>
            <surname>Schiffer</surname>
          </string-name>
          , Tobias Baumgartner, and
          <string-name>
            <given-names>Gerhard</given-names>
            <surname>Lakemeyer</surname>
          </string-name>
          .
          <article-title>A modular approach to gesture recognition for interaction with a domestic service robot</article-title>
          .
          <source>In Intelligent Robotics and Applications</source>
          , pages
          <fpage>348</fpage>
          -
          <lpage>357</lpage>
          . Springer,
          <year>2011</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [10]
          <string-name>
            <surname>Stefan</surname>
            <given-names>Schiffer</given-names>
          </string-name>
          , Alexander Ferrein, and
          <string-name>
            <given-names>Gerhard</given-names>
            <surname>Lakemeyer</surname>
          </string-name>
          .
          <article-title>Football is coming home</article-title>
          .
          <source>In Proc. 2006 Int'l Symp. on Practical Cognitive Agents and Robots (PCAR'06)</source>
          , pages
          <fpage>39</fpage>
          -
          <lpage>50</lpage>
          , New York, NY, USA, November
          <volume>27</volume>
          -28
          <year>2006</year>
          . ACM.
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [11]
          <string-name>
            <surname>Stefan</surname>
            <given-names>Schiffer</given-names>
          </string-name>
          , Alexander Ferrein, and
          <string-name>
            <given-names>Gerhard</given-names>
            <surname>Lakemeyer</surname>
          </string-name>
          .
          <article-title>CAESAR - An Intelligent Domestic Service Robot</article-title>
          .
          <source>Journal of Intelligent Service Robotics</source>
          , pages
          <fpage>1</fpage>
          -
          <lpage>15</lpage>
          ,
          <year>2012</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          [12]
          <string-name>
            <surname>Stefan</surname>
            <given-names>Schiffer</given-names>
          </string-name>
          , Alexander Ferrein, and
          <string-name>
            <given-names>Gerhard</given-names>
            <surname>Lakemeyer</surname>
          </string-name>
          .
          <article-title>Reasoning with Qualitative Positional Information for Domestic Domains in the Situation Calculus</article-title>
          .
          <source>Journal of Intelligent and Robotic Systems</source>
          ,
          <volume>66</volume>
          (
          <issue>1- 2</issue>
          ):
          <fpage>273</fpage>
          -
          <lpage>300</lpage>
          ,
          <year>2012</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          [13]
          <string-name>
            <surname>Stefan</surname>
            <given-names>Schiffer</given-names>
          </string-name>
          , Niklas Hoppe, and
          <string-name>
            <given-names>Gerhard</given-names>
            <surname>Lakemeyer</surname>
          </string-name>
          .
          <article-title>Natural language interpretation for an interactive service robot in domestic domains</article-title>
          .
          <source>In Agents and Artificial Intelligence</source>
          , volume
          <volume>358</volume>
          , pages
          <fpage>39</fpage>
          -
          <lpage>53</lpage>
          . Springer,
          <year>2013</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          [14]
          <string-name>
            <surname>Stefan</surname>
            <given-names>Schiffer</given-names>
          </string-name>
          , Andreas Wortmann, and Gerhard Lakemeyer.
          <article-title>SelfMaintenance for Autonomous Robots controlled by ReadyLog</article-title>
          .
          <source>In Proc. IARP Workshop on Technical Challenges for Dependable Robots in Human Environments</source>
          , pages
          <fpage>101</fpage>
          -
          <lpage>107</lpage>
          , Toulouse, France, June 16-17
          <year>2010</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          [15]
          <string-name>
            <surname>Thomas</surname>
            <given-names>Wisspeintner</given-names>
          </string-name>
          , Tijn van der Zant, Luca Iocchi, and Stefan Schiffer. RoboCup@Home:
          <article-title>Scientific Competition and Benchmarking for Domestic Service Robots</article-title>
          .
          <source>Interaction Studies</source>
          ,
          <volume>10</volume>
          (
          <issue>3</issue>
          ):
          <fpage>392</fpage>
          -
          <lpage>426</lpage>
          ,
          <year>2009</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>