<!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 Preliminary Survey of Explanation Facilities of AI-Based Design Support Approaches and Tools</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Viktor Eisenstadt</string-name>
          <email>viktor.eisenstadt@uni-hildesheim.de</email>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Klaus-Dieter Althof</string-name>
          <email>klaus-dieter.althof@dfki.de</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>German Research Center for Artificial Intelligence (DFKI) Trippstadter Strasse 122</institution>
          ,
          <addr-line>67663 Kaiserslautern</addr-line>
          ,
          <country country="DE">Germany</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>University of Hildesheim, Institute of Computer Science Samelsonplatz 1</institution>
          ,
          <addr-line>31141 Hildesheim</addr-line>
          ,
          <country country="DE">Germany</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>This work provides a first version of a survey of explanation facilities implemented in AI-based design support software. The goal of the survey is to provide a comprehensive analysis that examines the existing approaches, prototypes, and tools, that aim at support of conceptual or concrete design phases in domains such as architecture or CAD and possess a certain explainability feature or component. The requirement for the approaches to be included in this survey is that they should be mainly based on AI or AI-based techniques, such as artificial neural networks, case-based reasoning, multi-agent systems etc. Each of the icluded approaches will be shortly described, with an emphasis on its explanation facility which then will be checked for certain criteria. In this paper, only a short selection of the approaches is presented to provide a ifrst look at it and to build a foundation for the discussion of possbile suggestions, additions, or improvements during the workshop.</p>
      </abstract>
      <kwd-group>
        <kwd>knowledge-based design</kwd>
        <kwd>AI and creativity</kwd>
        <kwd>explanation</kwd>
        <kwd>survey</kwd>
        <kwd>computer-aided design</kwd>
        <kwd>computational design</kwd>
        <kwd>case-based reasoning</kwd>
        <kwd>XAI</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>
        Explainability of AI-based systems (XAI) is currently one of the most emerging
topics in the research field of artificial intelligence, being present from the early
days of this research area. Its aim is to improve the relationship between the
user and the AI-based system by explaining the system’s functionality, e.g., the
decisions made by the implemented algorithm. Main criteria for rating of an XAI
component are the understandability of produced explanations and the added
value of the component itself. In the last years, many initiatives were started to
examine the research topic of XAI further, the most well-known examples are the
workshops, such the XAI workshop at IJCAI [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ], ExACT series of workshops [
        <xref ref-type="bibr" rid="ref12">12</xref>
        ],
or the Workshop on Explainable Smart Systems [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ].
      </p>
      <p>The idea of support of design process with AI methods is not a novelty as
well, many approaches were developed that had an (explicit) explanation facility
implemented. Some of them were conceptualized with an explanation facility
as an integral part of the system, others were extended in the way that such a
component was added at a later stage of the development or conceptualization.
The applications domains, for which these approaches were developed, had a wide
range and varied from architecture, product design, engineering design to the
design of control systems. The approaches were also conceptualized for diferent
phases of the design process, e.g.:
– An early conceptual phase where the ideas of the product or building are
vague and only abstract information about the final shape is available.
– A later, more concrete design phase, where exact measurements and material
information are already collected and can be used for further development or
improvement of the design.</p>
      <p>The main aim of this survey is to examine the explanation facilities of
approaches, prototypes, and tools that contain an explanation feature or a
related functionality, in order to provide an overview of the past, current and
probably future directions of XAI in AI-based design. Our goal is to determine
problems and emerging challenges of combination of these two research directions
and to provide suggestions for their improvement. We also think that such an
overview can be useful for the future explanation components of the design
support tools that are knowledge-based and built upon an AI technique. In
this paper however, we provide only a preliminary version of this survey, as our
current primary goal is to collect opinions and suggestions for our intent, and
adopt and/or adapt them in order to improve this survey.</p>
      <p>The rest of this paper is structured as follows: in Section 2 we give a short
description of the planned survey, the approaches selected for this preliminary
survey will then be presented in Section 3, future work, e.g., which approaches are
planned to be included and presented in the final survey, is included in Section 4.
2</p>
    </sec>
    <sec id="sec-2">
      <title>Survey Structure</title>
      <p>
        To provide a proper structure for our survey, we took inspiration from many
other published surveys. The emphasis however, was on surveys that were
published for the research fields of either AI or computational design, e.g., CAD
(computer-aided design), CAAD (architecture), construction, control systems
design, recommender systems, case-based reasoning etc. The most related works
to date are the overviews of case-based approaches developed for architecture [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ],
the overview of cloud-based CAD services [
        <xref ref-type="bibr" rid="ref14">14</xref>
        ], or the survey of explanation
facilities in recommender systems [
        <xref ref-type="bibr" rid="ref13">13</xref>
        ]. The main structure of our survey is as
follows: as AI+design combination had many periods of development we decided
to separate the approaches generally by the decade criteria (1980s, 1990s, 2000s,
and 2010s). The approaches of each decade will be briefly described and their
explanation facility will be presented more detailed. A conclusion sentence will
summarize the presented system’s functionality and the explanation component.
      </p>
    </sec>
    <sec id="sec-3">
      <title>Approaches with XAI Features</title>
      <p>In this section, we present a selection of AI+design-related approaches for this
preliminary version of the survey. As mentioned in the previous section, we
separate the approaches by the decade criteria. In this section, for each decade,
one approach will be summarized and its explanation facility will be evaluated
with criteria of added value and understandability of explanations (verifications,
transparency reports) etc. produced.
3.1</p>
      <sec id="sec-3-1">
        <title>Argo</title>
        <p>
          Argo [
          <xref ref-type="bibr" rid="ref6">6</xref>
          ] is a system for solving of design prolems by means of applying analogical
reasoning and was developed at the Microelectronics and Computer Technology
Corporation in Austin, TX, USA around 1988. The exemplary application domain
of the system is VLSI (very-large-scale integration) circuit design. Argo consists
of modules for “acquisition, storage, retrieval, evaluation, and application of
previous experience” [
          <xref ref-type="bibr" rid="ref6">6</xref>
          ]. The system works with so-caled design plans interpreted
as problem-solving plans and represented by directed acyclic rule-dependency
graphs, where the graphs can have diferent levels of abstract representations by
applying graph editing to the original graph.
        </p>
        <p>
          Explanation Feature Argo applies macrorules for creation of design graphs, the
macrorules for a single graph are a result of explanation-based scheme calculation.
As stated in [
          <xref ref-type="bibr" rid="ref6">6</xref>
          ]: “macrorules are built by regressing through the component rules
of the plan using a variant of explanation-based generalization”.
Explanationbased generalization [
          <xref ref-type="bibr" rid="ref9">9</xref>
          ] is an approach for generalization of training examples in
machine learning using explanation-based learning [
          <xref ref-type="bibr" rid="ref5">5</xref>
          ], an approach for supervised
learning by explaining the results of the training (e.g., what went wrong, what
was correct). These rules then solve as analogy for solution of a new problem,
i.e., they are used for retrieval as well as for learning from past cases.
Conclusion Typically for the AI approaches of this decade, Argo is based mostly
on complex rule-based operations, explanation-based generation of rules is an
integral system feature and adds to the overall traceability of the decisions.
3.2
        </p>
      </sec>
      <sec id="sec-3-2">
        <title>KOALA</title>
        <p>
          KOALA [
          <xref ref-type="bibr" rid="ref10">10</xref>
          ] is a distributed, i.e., autonomous agent-based system for decision
support in very early conceptual design phases in its application domain of
architecture. It was developed around 1996 at Collaborative Agent Design (CAD)
Research Center, CalPoly, San Luis Obispo, USA. The system consists of agents of
diferent types that work collaboratively on solving of a design task, each of them
has its own task domain: designer agent (reflects the human designer’s intentions),
domain agents (represent knowledge of specific architectural domains), space
agents (represent knowledge about spatial parts of the design, such as rooms),
and monitor agents (detect and resolve conflicts between other agent types).
Explanation Feature Despite the fact that it seems like that the explanation
component was eventually not implemented in KOALA, it was described in
detail in the corresponding paper [
          <xref ref-type="bibr" rid="ref10">10</xref>
          ]. Based on this description, the explanation
feature of KOALA was aimed at providing the agents’ inference traces that
lead to the given decision (how-question), answering general domain knowledge
questions (what-questions), and describing goals the agent would aim in the
current situation (why-questions).
        </p>
        <p>
          Conclusion The KOALA system was a contemporary distributed design supoort
system whose functionality and traceability of decisions could be probably
improved even more by implementing an explanation facility described in [
          <xref ref-type="bibr" rid="ref10">10</xref>
          ].
3.3
        </p>
      </sec>
      <sec id="sec-3-3">
        <title>WebCADET</title>
        <p>
          WebCADET [
          <xref ref-type="bibr" rid="ref4">4</xref>
          ] is a web-based distributed system for design support that relies
on the “AI as text” paradigm and the client-server-based software architecture.
The system was developed around 2000 at the University of Cambridge, the
Middlesex University, and the Napier University. It is the continuation of the
previously developed CADET system. Its application domain is product design
and the system is aimed at helping to improve the collaborative design process.
Its mode of operation makes use of text-based descriptions that can contain
conditions, history, or keywords that were inferred or recorded for the particular
product design. These texts are saved in a special knowledge base and used for
“design guidance, knowledge viewing, and knowledge capture” [
          <xref ref-type="bibr" rid="ref4">4</xref>
          ].
Explanation Feature The explanation feature of WebCADET is activated
in the design guidance mode, which is comparable to the retrieval phase of
other approaches, however, in WebCADET, this takes the form of a manual
evaluation of the above named design text rules, where the user first should select
the concrete evaluation attribute. The explanation presents justification of the
design evaluation process by providing the rule-based inrefence traces as well as
references in form of links to the relevant publications.
        </p>
        <p>Conclusion WebCADET was one of the first web-based design support
approaches that relied on human-readable linked data that was also embedded in
the explanation, which in turn served as a reasonable justification for the
rulebased evaluation that looked familiar for web-users, thus providing an intuitive
environment for the user interface.
3.4</p>
      </sec>
      <sec id="sec-3-4">
        <title>SLASSY</title>
        <p>
          SLASSY [
          <xref ref-type="bibr" rid="ref3">3</xref>
          ] is an intelligent system for assistance in engineering design that
makes use of its self-learning abilities, and is based on a general structure that
consists of diferent machines that are responsible for execution of diferent tasks
(an explanation machine inter alia is available). The system was developed at the
Engineering Design Department of the University of Erlangen-Nürnberg around
2012 for the application domain of sheet-bulk metal forming. The
self-learningbased structure of SLASSY allows for intelligent adaptation to the current task
by means of applying a learning algorithm for automated knowledge acquisition.
SLASSY difers between primary and secondary design elements, the knowledge
for assistance is then generated by means of applying a number of specific
metamodels. These meta-models are responsible for prediction of the most suitable
corresponding design part for the current task.
        </p>
        <p>
          Explanation Feature The explanation component of SLASSY provides
information about the predictions made by the meta model. In contrast to other
explanation features presented in this paper, the explanation consists mostly of
numeric values and is not conctructed via, e.g., natural language generation. The
information contained does not provide any justification information, however it
can be considered as a means to provide more system transparency.
Conclusion SLASSY is a system with a modern touch of AI for analysis and
synthesis of the possible design parts. Its explanation component however, does
not provide understandable expressions for inexperienced users and thus has
added value only for experienced ones (although this might not be a problem
considering the very narrow application domain).
In this paper, we presented a selection of AI-based design support approaches
that contain an explanation facility or a related feature that can provide more
insights into the functionality of the corresponding system, e.g., how it came to
the current decision. This version of the paper is intended to be a an impulse and
background for a discussion about explanation facilities in the past and modern
AI approaches for design support. In the planned extended (final) version of
this survey more approaches will be analysed and described, some examples are
ARCHIE [
          <xref ref-type="bibr" rid="ref15">15</xref>
          ], CaseBook [
          <xref ref-type="bibr" rid="ref7">7</xref>
          ], or MetisCBR [
          <xref ref-type="bibr" rid="ref2">2</xref>
          ]. An overview of possible future
directions will also be presented.
        </p>
      </sec>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>Aha</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Darrell</surname>
            ,
            <given-names>T.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Pazzani</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Reid</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Sammut</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Stone</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          : Ijcai-17 workshop on explainable
          <source>ai (xai)</source>
          .
          <source>In: IJCAI-17 Workshop on Explainable AI (XAI)</source>
          (
          <year>2017</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Ayzenshtadt</surname>
            ,
            <given-names>V.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Langenhan</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Bukhari</surname>
            ,
            <given-names>S.S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Althof</surname>
            ,
            <given-names>K.D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Petzold</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Dengel</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          :
          <article-title>Thinking with containers: A multi-agent retrieval approach for the case-based semantic search of architectural designs</article-title>
          . In: Filipe, J., van den Herik, J. (eds.) 8th
          <source>International Conference on Agents and Artificial Intelligence (ICAART- 2016), February 24-26</source>
          , Rome, Italy.
          <source>SCITEPRESS</source>
          (
          <year>2016</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Breitsprecher</surname>
            ,
            <given-names>T.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Wartzack</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          :
          <article-title>Architecture and realization of a selflearning engineering assistance system for the use within sheetbulk metal forming</article-title>
          .
          <source>In: DS 71: Proceedings of NordDesign</source>
          <year>2012</year>
          ,
          <article-title>the 9th NordDesign conference</article-title>
          , Aarlborg University, Denmark.
          <fpage>22</fpage>
          -
          <lpage>24</lpage>
          .
          <fpage>08</fpage>
          .
          <year>2012</year>
          (
          <year>2012</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Caldwell</surname>
            ,
            <given-names>N.H.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Clarkson</surname>
            ,
            <given-names>P.J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Rodgers</surname>
            ,
            <given-names>P.A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Huxor</surname>
            ,
            <given-names>A.P.</given-names>
          </string-name>
          :
          <article-title>Web-based knowledge management for distributed design</article-title>
          .
          <source>IEEE Intelligent Systems and their Applications</source>
          <volume>15</volume>
          (
          <issue>3</issue>
          ),
          <fpage>40</fpage>
          -
          <lpage>47</lpage>
          (
          <year>2000</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5. DeJong, G.,
          <string-name>
            <surname>Mooney</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          :
          <article-title>Explanation-based learning: An alternative view</article-title>
          .
          <source>Machine learning 1(2)</source>
          ,
          <fpage>145</fpage>
          -
          <lpage>176</lpage>
          (
          <year>1986</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Huhns</surname>
            ,
            <given-names>M.N.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Acosta</surname>
          </string-name>
          , R.D.:
          <article-title>Argo: A system for design by analogy</article-title>
          .
          <source>In: Artificial Intelligence Applications</source>
          ,
          <year>1988</year>
          .,
          <source>Proceedings of the Fourth Conference on</source>
          . pp.
          <fpage>146</fpage>
          -
          <lpage>151</lpage>
          . IEEE (
          <year>1988</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <surname>Inanc</surname>
            ,
            <given-names>B.S.</given-names>
          </string-name>
          : Casebook.
          <article-title>an information retrieval system for housing floor plans</article-title>
          .
          <source>In: The Proceedings of 5th Conference on Computer Aided Architectural Design Research (CAADRIA)</source>
          . pp.
          <fpage>389</fpage>
          -
          <lpage>398</lpage>
          (
          <year>2000</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <surname>Lim</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Smith</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Stumpf</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          :
          <source>Exss 2018: Workshop on explainable smart systems</source>
          (
          <year>2018</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9. Mitchell, T.M., Keller, R.M.,
          <string-name>
            <surname>Kedar-Cabelli</surname>
          </string-name>
          , S.T.:
          <article-title>Explanation-based generalization: A unifying view</article-title>
          .
          <source>Machine learning 1(1)</source>
          ,
          <fpage>47</fpage>
          -
          <lpage>80</lpage>
          (
          <year>1986</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <surname>Pohl</surname>
            ,
            <given-names>K.J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Pohl</surname>
            ,
            <given-names>J.G.</given-names>
          </string-name>
          :
          <article-title>Koala: An object-agent design system</article-title>
          .
          <source>Collaborative Agent Design (CAD) Research</source>
          Center p.
          <volume>66</volume>
          (
          <year>1996</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11.
          <string-name>
            <surname>Richter</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Heylighen</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Donath</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          :
          <article-title>Looking back to the future - an updated case base of case-based design tools for architecture</article-title>
          .
          <source>Knowledge Modelling-eCAADe</source>
          (
          <year>2007</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12.
          <string-name>
            <surname>Roth-Berghofer</surname>
            ,
            <given-names>T.</given-names>
          </string-name>
          :
          <article-title>Explanation-aware computing exact 2012</article-title>
          . In: Proceedings of the Seventh International ExaCt workshop
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          13.
          <string-name>
            <surname>Tintarev</surname>
            ,
            <given-names>N.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Masthof</surname>
            ,
            <given-names>J.:</given-names>
          </string-name>
          <article-title>A survey of explanations in recommender systems</article-title>
          .
          <source>In: Data Engineering Workshop</source>
          , 2007 IEEE 23rd International Conference on. pp.
          <fpage>801</fpage>
          -
          <lpage>810</lpage>
          . IEEE (
          <year>2007</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          14.
          <string-name>
            <surname>Wu</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Terpenny</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Schaefer</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          :
          <article-title>Digital design and manufacturing on the cloud: A review of software and services</article-title>
          .
          <source>AI</source>
          EDAM
          <volume>31</volume>
          (
          <issue>1</issue>
          ),
          <fpage>104</fpage>
          -
          <lpage>118</lpage>
          (
          <year>2017</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          15.
          <string-name>
            <surname>Zimring</surname>
            ,
            <given-names>C.M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Pearce</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Goel</surname>
            ,
            <given-names>A.K.</given-names>
          </string-name>
          , Kolodner, J.L.,
          <string-name>
            <surname>Sentosa</surname>
            ,
            <given-names>L.S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Billington</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          :
          <article-title>Case-based decision support: A case study in architectural design (</article-title>
          <year>1992</year>
          )
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>