Dialog-driven Adaptation of Explanations of Proofs

Fiedler, Armin

Dialog-driven Adaptation of Explanations of Proofs

Download BibTeX Cite

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence. Pages 1295-1299.

Abstract

In order to generate high quality explanations in mathematical domains, the presentation must be adapted to the knowledge of the intended audience. Most proof presentation systems only communicate proofs on a fixed degree of abstraction independently of the addressee’s knowledge. In this paper, we shall present the proof explanation system P.rex. Based on assumptions about the addressee’s knowledge, its dialog planner chooses a degree of abstraction for each proof step to be explained. In reaction to the user’s interactions, which are allowed at any time, it enters clarification dialogs to revise its user model and to adapt the explanation.

Armin Fiedler. 2001. Dialog-driven Adaptation of Explanations of Proofs. In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI-01. IJCAI, 1295–1299. https://ijcai.org/proceedings/2001/170

@inproceedings{ijcai2001p170,
  title     = {Dialog-driven Adaptation of Explanations of Proofs},
  author    = {Fiedler, Armin},
  booktitle = {Proceedings of the Seventeenth International Joint Conference on
               Artificial Intelligence, {IJCAI-01}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  pages     = {1295--1299},
  year      = {2001},
  url       = {https://ijcai.org/proceedings/2001/170},
}

TY  - CPAPER
TI  - Dialog-driven Adaptation of Explanations of Proofs
AU  - Fiedler, Armin
T2  - Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI-01
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2001
SP  - 1295
EP  - 1299
UR  - https://ijcai.org/proceedings/2001/170
ER  -