Research Output

Explanation-based learning with analogy for impasse resolution

  This paper proposes an algorithm for the inclusion of analogy into Explanation-Based Learning (EBL). Analogy can be used when an impasse is reached to extend the deductive closure of EBL’s domain theory. This enables the generation of control laws, via EBL, for hardware which is not catered for in the domain theory. This advantage addresses a problem which represents a dearth in the current literature. Integrated Modular Avionics (IMA) literature has thus far been concerned with the architectural considerations. This paper seeks to address the impact of hardware changes on the controllers within an IMA architecture. An algorithm is proposed and applied to control an aviation platform with an incomplete domain theory. Control rules are generated when no deductive explanations are possible, which still reflect the intent of the domain theory.

  • Type:


  • Date:

    24 May 2016

  • Publication Status:


  • Publisher

    Elsevier BV

  • DOI:


  • Cross Ref:


  • ISSN:


  • Library of Congress:

    QA75 Electronic computers. Computer science

  • Dewey Decimal Classification:

    006.3 Artificial intelligence

  • Funders:

    Engineering and Physical Sciences Research Council


Timperley, M., Mokhtar, M., Bellaby, G., & Howe, J. (2016). Explanation-based learning with analogy for impasse resolution. Expert Systems with Applications, 61, 181-191.



Explanation-based learning; Impasse resolution; Analogy

Monthly Views:

Available Documents

  • pdf

    Explanation-based learning with analogy for impasse resolution


    This article is maintained by: Elsevier; Article Title: Explanation-based learning with analogy for impasse resolution; Journal Title: Expert Systems with Applications; CrossRef DOI link to publisher maintained version:; Content Type: article; Copyright: © 2016 Elsevier Ltd. All rights reserved.

  • Downloadable citations