<!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>Hybrid Procedural Semantics for Visual Dialogue: An Interactive Web Demonstration</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Lara Verheyen</string-name>
          <email>lara.verheyen@ai.vub.ac.be</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Jérôme Botoko Ekila</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Jens Nevens</string-name>
          <email>jens@ai.vub.ac.be</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Paul Van Eecke</string-name>
          <email>paul@ai.vub.ac.be</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Katrien Beuls</string-name>
          <email>katrien.beuls@unamur.be</email>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Artificial Intelligence Laboratory, Vrije Universiteit Brussel</institution>
          ,
          <addr-line>Pleinlaan 2, 1050 Brussels</addr-line>
          ,
          <country country="BE">Belgium</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Faculty of Informatics, University of Namur</institution>
          ,
          <addr-line>Rue Grandgagnage 21, 5000 Namur</addr-line>
          ,
          <country country="BE">Belgium</country>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>Itec, imec research group at KU Leuven</institution>
          ,
          <addr-line>E. Sabbelaan 51, 8500 Kortrijk</addr-line>
          ,
          <country country="BE">Belgium</country>
        </aff>
      </contrib-group>
      <fpage>48</fpage>
      <lpage>52</lpage>
      <abstract>
        <p>Visual dialogue refers to the task in which a conversational agent needs to hold a meaningful and coherent conversation with a human interlocutor about a scene they observe. To tackle this task, we introduce a novel methodology that makes use of (i) a novel data structure, called the conversation memory, which holds information that is incrementally conveyed in the conversation and (ii) a hybrid procedural semantic representation that is grounded in both the visual input and the conversation memory. In this paper, we present a demonstration that showcases this novel methodology. In this demonstration, a user can interact with a visual dialogue agent and discuss an image of their choice. While the agent is answering questions, the user can follow the agent's reasoning process. Due to its explainable and interpretable nature, the novel methodology can be used in a wide range of application domains, especially when it is important that the system is human-interpretable. We believe that this novel methodology of hybrid procedural semantics combined with a conversation memory paves the way for building truly intelligent and explainable systems that are able to hold human-like conversations.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1. Introduction and background</title>
      <sec id="sec-1-1">
        <title>The task of visual dialogue as introduced by [1]</title>
        <p>requires an agent to correctly answer a series of
questions about visual input. However, these
questions are not independent from each other. In many
cases, answering these questions involves resolving
coreferences with respect to earlier dialogue turns.
Compared to the task of visual question answering,
the interdependent questions are an extra
complexity inherent to the task of visual dialogue. Here,
the answers do not only have to be grounded in
the visual context, but also in the conversational
context.</p>
        <p>
          The CLEVR-Dialog dataset [
          <xref ref-type="bibr" rid="ref2">2</xref>
          ] was especially
designed to be a diagnostic benchmark for the visual
dialogue task. The dataset consists in dialogues
discussing images from the CLEVR dataset [
          <xref ref-type="bibr" rid="ref3">3</xref>
          ]. In
the course of a dialogue, an agent initially receives
an image and a caption describing some parts of
the contents of the image. Then, ten questions
are respectively asked and answered. The goal for
the agent is to answer each question correctly. An
example dialogue about the image in the upper right
corner of Figure 1 would be:
        </p>
      </sec>
      <sec id="sec-1-2">
        <title>C: There is a green object in the middle.</title>
        <p>Q: What is its shape? A: Sphere
Q: And its size? A: Small
Q: Is there an object to its left? A: Yes
Q: How many other objects are in the image?
A: 4</p>
      </sec>
      <sec id="sec-1-3">
        <title>A visual dialogue agent must thus be capable on</title>
        <p>the one hand of solving coreferences in the
conversation, and on the other hand of grounding references
in the image. Traditionally, the task of visual
dialogue is tackled with neural network approaches.</p>
        <p>
          For example, [
          <xref ref-type="bibr" rid="ref1">1</xref>
          ] introduced an encoder-decoder
architecture with encoders that have late-fusion,
hierarchical encoding and memory networks. Other
approaches take a more explicit approach and use
mechanisms that explicitly represent the dialogue
history. For example, [
          <xref ref-type="bibr" rid="ref4">4</xref>
          ] and [
          <xref ref-type="bibr" rid="ref5">5</xref>
          ] make use of an
associative memory to represent the previous questions
with their corresponding attentions. In
combination with this associative memory, [
          <xref ref-type="bibr" rid="ref5">5</xref>
          ] use a neural
module networks architecture [
          <xref ref-type="bibr" rid="ref6">6</xref>
          ].
        </p>
        <p>
          Taking inspiration from this last approach, we
introduce a novel methodology, based on two
conboth the conversational context and the visual con- demonstration is for the user on the one hand to
text. To represent the history of a dialogue, the reflect on what it takes to hold a meaningful and
coconversation memory keeps track of relevant infor- herent conversation, and on the other hand to gain a
mation conveyed in the dialogue. To understand deep understanding of our innovative methodology
a question correctly, the agent maps the question based on hybrid procedural semantics.
onto a meaning representation in terms of
procedural semantics [
          <xref ref-type="bibr" rid="ref7">7, 8, 9</xref>
          ]. This meaning representation
consists of the conceptual operations that an agent 2. Methodology
needs to execute in order to answer a question.
Procedural semantics has been used successfully for the The novel methodology that we designed for solving
task of visual question answering [10, 11, 12]. We visual dialogue tasks builds on two foundational
have extended the procedural semantics that was ideas: the use of a conversation memory and a
designed for the task of visual question answering hybrid procedural semantics that is grounded in
[12] to include operations that cover the incremental both visual input and the conversation memory.
nature of dialogues. Moreover, the meaning repre- The conversation memory is a data structure
sentation is executed in a hybrid way, where some that keeps track of all relevant knowledge that is
steps are executed symbolically (in particular opera- built up during the dialogue. It is composed of
tions related to reasoning processes) and others are a number of turns, which represent the turns in
executed subsymbolically (in particular operations the dialogue (i.e., the observation and the
questionresponsible for perception). The hybrid method answer pairs). After each turn of the dialogue,
contrasts with the approach of [
          <xref ref-type="bibr" rid="ref5">5</xref>
          ], who use a neural information is added to the conversation memory.
module networks approach with queries that are Each turn in the conversation memory consists of
executed subsymbolically. its timestep, the utterance type of the turn, the
        </p>
        <p>In the demonstration that is introduced in this current topic of the conversation, and a symbolic
paper, our novel methodology is explained didac- representation of the mentioned attributes of the
tically in a step-wise fashion. The interactive web objects that were discussed.
demonstration can be found at https://ehai.ai.vub. The procedural semantics consists of operations
ac.be/demos/visual-dialog/1. The main interface that can interact with the conversation memory,
of the demo is shown in Figure 1. Through this when coreferences between turns (e.g., ‘it’) need to
interface, the user can discuss an image with a vi- be resolved. For example, the primitive operation
sual dialogue agent. The user chooses an image and get-last-topic returns the topic of the previous
selects a question. While the agent computes an turn, which was stored in the conversation memory.
answer to the question, the reasoning steps that Figure 2 shows the conversation memory after the
the agent is performing are shown. The goal of the second turn. The question corresponding to this
turn was ‘What is its shape?’, the answer that the
1A video accompanying the demonstration can be found at: agent computed ‘sphere’. The utterance type of
https://youtu.be/D3Ny6kta5d8
the question is ‘query’. ‘Attention-4 ’ is the visu- this topic in the image, which is itself the output
alisation of the topic of the turn. The attributes of get-context. Then, the symbolic operation
that are conveyed in the dialogue are symbolically unique checks whether the input attention contains
added to the memory. In this case, the attribute just one object. Lastly, the subsymbolic operation
‘green’ was known from the previous turn and the at- query-shape will use a classifier to classify the
intribute ‘sphere’ was added in the second turn. The put attention into a shape category. The output of
demonstration gives the user the option to view this last step is the answer to the question. Thus,
the previous turns in the dialogue, so that it be- the answer to the question ‘what is its shape?’ is in
comes clear how the information is built up over this case ‘sphere’.
the dialogue turns.</p>
        <p>The hybrid procedural semantics represents the
meaning of utterances. The meaning representation 3. Visual dialogue demo
is expressed in terms of the conceptual operations
that need to be performed to obtain an answer to a Figure 1 shows the main interface of the
demonquestion. This makes the meaning representation stration. The interface consists of two main parts.
directly executable. Each operation in the meaning On the right, there is a chat window in which the
representation is performed either symbolically or user can interact with the visual dialogue agent,
subsymbolically. The symbolic operations are oper- by choosing images and asking questions. On the
ations that typically represent reasoning processes, left, the user can follow the reasoning process of
such as comparisons or operations on the conversa- the agent. This part is itself divided in an
uttertion memory (e.g., get-last-topic). Subsymbolic ance, execution network and conversation memory.
operations are linked to perception and are exe- Utterance shows the utterance under consideration,
cuted directly on the image (e.g., find-cubes). In which can be an observation (i.e., a statement about
most cases, these subsymbolic primitives are imple- the image) or a question. The utterance is then
mented by neural networks, in other cases matrix mapped onto a procedural semantic representation,
operations on attentions are used (e.g., binary and, which is shown under execution network. The
meanor, ...). ing representation can be viewed before execution</p>
        <p>
          An example of the meaning representation of the and after execution. Figure 3 shows the execution
question ‘what is its shape?’ is shown in Figure process of the meaning representation. The last
3. It consists of the steps get-memory, get-last- window shows the conversation memory, which is
topic, get-context, find-in-context, unique updated after the agent computes the answer.
and query-shape. The output of an operation be- The demonstration proceeds as follows. First, the
comes the input to another operation. For example, user chooses an image. Then, the visual dialogue
the output of the operation get-memory becomes agent processes the image and utters a statement
the input to the operation get-last-topic. The about the image. The underlying meaning
represenoperation find-in-context gets as input the out- tation of the statement and the hybrid execution
put of both get-last-topic and get-context. network are shown. Meanwhile in the chat, the
The first operation get-memory is a symbolic op- agent provides more information about the
methoderation that returns the conversation memory. This ology. Next, the agent updates its conversation
conversation memory is the input to the next sym- memory with information from the observation.
Afbolic operation get-last-topic, which returns the terwards, a few questions appear for the user to
symbolic representation of the topic of the previ- choose from. These questions are based on the
ous turn. The operation find-in-context retrieves questions from the CLEVR-Dialog dataset [
          <xref ref-type="bibr" rid="ref2">2</xref>
          ]. The
        </p>
      </sec>
    </sec>
    <sec id="sec-2">
      <title>4. Contribution</title>
      <sec id="sec-2-1">
        <title>The goal of this didactic demonstration is twofold.</title>
        <p>On the one hand, it aims to let users experience
the challenges involved in understanding grounded
natural language conversations. On the other hand,
it aims to showcase our novel hybrid procedural
semantics-based methodology for solving visual
dialogue tasks. The demonstration especially focusses
on showcasing the explainability and interpretability
of the reasoning processes performed by the agent,
which is one of the major advantages of our approach
as compared to other state-of-the-art approaches.
This makes our approach particularly interesting
to human-centric AI applications, in which
explainability and interpretability are a major concern.
Possible applications include safety-critical systems
such as emergency response platforms and decision
support systems that are required to motivate
decisions in a human-understandable fashion.</p>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>5. Conclusion</title>
      <p>The demonstration that is proposed in this paper
shows the dynamics of two novel techniques for the
task of visual dialogue: (i) a conversation memory
that is incrementally updated and (ii) a procedural
semantics that is executed in a hybrid way. The
conversation memory is a representation of all
previous turns of the dialogue and is used to solve
coreferences with respect to previous turns. The
procedural semantics is a meaning representation
for utterances in terms of steps that need to be
performed. The meaning representation is executed
in a hybrid manner with symbolic primitives to
execute reasoning operations and subsymbolic
primitives that are responsible for operations related to
perception. In the interactive web demonstration,
the user can ask questions to the agent. While the
[8] T. Winograd, Understanding natural language,</p>
      <p>Cognitive Psychology 3 (1972) 1–191.
[9] P. N. Johnson-Laird, Procedural semantics,</p>
      <p>Cognition 5 (1977) 189–214.
[10] J. Andreas, M. Rohrbach, T. Darrell, D. Klein,
Learning to compose neural networks for
question answering, in: Proceedings of the 2016
Conference of the North American Chapter
of the Association for Computational
Linguistics: Human Language Technologies, 2016, pp.
1545–1554.
[11] J. Johnson, B. Hariharan, L. van der Maaten,
J. Hofman, L. Fei-Fei, C. Lawrence Zitnick,
R. Girshick, Inferring and executing programs
for visual reasoning, in: Proceedings of the
IEEE International Conference on Computer
Vision, 2017, pp. 2989–2998.
[12] J. Nevens, P. Van Eecke, K. Beuls,
Computational construction grammar for visual
question answering, Linguistics Vanguard 5 (2019)
20180070.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <surname>A. Das</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          <string-name>
            <surname>Kottur</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          <string-name>
            <surname>Gupta</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          <string-name>
            <surname>Singh</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          <string-name>
            <surname>Yadav</surname>
            ,
            <given-names>J. M.</given-names>
          </string-name>
          <string-name>
            <surname>Moura</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          <string-name>
            <surname>Parikh</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          <string-name>
            <surname>Batra</surname>
          </string-name>
          , Visual Dialog,
          <source>in: Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition</source>
          ,
          <year>2017</year>
          , pp.
          <fpage>1080</fpage>
          -
          <lpage>1089</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>S.</given-names>
            <surname>Kottur</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J. M.</given-names>
            <surname>Moura</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Parikh</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Batra</surname>
          </string-name>
          ,
          <string-name>
            <surname>M.</surname>
          </string-name>
          <article-title>Rohrbach, CLEVR-Dialog: A Diagnostic Dataset for Multi-Round Reasoning in Visual Dialog, in: Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long and Short Papers), Association for Computational Linguistics</article-title>
          , Minneapolis, Minnesota,
          <year>2019</year>
          , pp.
          <fpage>582</fpage>
          -
          <lpage>595</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>J.</given-names>
            <surname>Johnson</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B.</given-names>
            <surname>Hariharan</surname>
          </string-name>
          , L. van der Maaten, L.
          <string-name>
            <surname>Fei-Fei</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          <string-name>
            <surname>Lawrence Zitnick</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          <string-name>
            <surname>Girshick</surname>
          </string-name>
          ,
          <article-title>CLEVR: A diagnostic dataset for compositional language and elementary visual reasoning</article-title>
          ,
          <source>in: The IEEE Conference on Computer Vision and Pattern Recognition (CVPR)</source>
          ,
          <year>2017</year>
          , pp.
          <fpage>2901</fpage>
          -
          <lpage>2910</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>P. H.</given-names>
            <surname>Seo</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Lehrmann</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B.</given-names>
            <surname>Han</surname>
          </string-name>
          ,
          <string-name>
            <surname>L</surname>
          </string-name>
          . Sigal,
          <article-title>Visual reference resolution using attention memory for visual dialog</article-title>
          ,
          <source>in: Proceedings of the 31st International Conference on Neural Information Processing Systems</source>
          , Curran Associates Inc.,
          <string-name>
            <surname>Red</surname>
            <given-names>Hook</given-names>
          </string-name>
          ,
          <string-name>
            <surname>NY</surname>
          </string-name>
          , USA,
          <year>2017</year>
          , p.
          <fpage>3722</fpage>
          -
          <lpage>3732</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>S.</given-names>
            <surname>Kottur</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J. M. F.</given-names>
            <surname>Moura</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Parikh</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Batra</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Rohrbach</surname>
          </string-name>
          ,
          <article-title>Visual coreference resolution in visual dialog using neural module networks</article-title>
          ,
          <source>in: Proceedings of the 15th European Conference on Computer Vision (ECCV)</source>
          ,
          <year>2018</year>
          , pp.
          <fpage>153</fpage>
          -
          <lpage>169</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>J.</given-names>
            <surname>Andreas</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Rohrbach</surname>
          </string-name>
          ,
          <string-name>
            <given-names>T.</given-names>
            <surname>Darrell</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Klein</surname>
          </string-name>
          ,
          <article-title>Neural module networks</article-title>
          ,
          <source>in: The IEEE Conference on Computer Vision and Pattern Recognition (CVPR)</source>
          ,
          <year>2016</year>
          , pp.
          <fpage>39</fpage>
          -
          <lpage>48</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>W. A.</given-names>
            <surname>Woods</surname>
          </string-name>
          ,
          <article-title>Procedural semantics for a question-answering machine</article-title>
          ,
          <source>in: Proceedings of the December 9-11</source>
          ,
          <year>1968</year>
          , Fall Joint Computer Conference,
          <string-name>
            <surname>Part</surname>
            <given-names>I</given-names>
          </string-name>
          , New York, NY, USA,
          <year>1968</year>
          , pp.
          <fpage>457</fpage>
          -
          <lpage>471</lpage>
          . URL: https://doi.org/10. 1145/1476589.1476653.
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>