User Knowledge, Multimedia Dialogue, and the Missing Axiom Theory

  • Alan W. Biermann
Conference paper
Part of the CISM International Centre for Mechanical Sciences book series (CISM, volume 407)


The missing axiom theory of dialogue (Smith and Hipp, 1994; Smith et al., 1995) asserts that an interaction takes place in order to achieve a goal, and it employs theorem proving mechanisms to try to prove that the goal has been achieved. If the system proves the goal assertion, no significant dialogue will take place. However, if it fails, then it attempts to isolate key assertions, “missing axioms,” which, if they could be proven, would enable the proof of the target goal. Then the system opens dialogue with other participants, humans or machines, to try to achieve these necessary subgoals. If these subgoals can be achieved, the complete proof of the dialogue goal will be possible and the interaction can terminate successfully.


Theorem Prove User Knowledge Target Goal Proof Tree Partial Proof 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. Alan W. Biermann, Curry Guinn, Michael S. Fulkerson, Greg Keim, Zhang Liang, Douglas Melamed, K. Rajagopalan, Goal-Oriented Multimedia Dialogue with Variable Initiative, in Foundations of Intelligent Systems, Zbigniew W. Ras and Andrzej Skowron (Eds.), Springer, Berlin, pages 1–16, 1997.Google Scholar
  2. Alan W. Biermann and Philip M. Long, The Composition of Messages in Speech-Graphics Interactive Systems, Proceedings of the 1996 International Symposium on Spoken Dialogue, Philadelphia, Penna., October 2–3, pages 97–100, 1996.Google Scholar
  3. Curry I. Guinn, Mechanisms for Mixed-Initiative Human-Computer Collaborative Discourse, Proceedings of the 34th Annual Meeting of the ACL, Santa Cruz, June 24–27, 1996.Google Scholar
  4. Ronnie W. Smith and D. Richard Hipp, Spoken Natural Language Dialog Systems, Oxford University Press, New York, 1994.Google Scholar
  5. Ronnie W. Smith, D. Richard Hipp, and Alan W. Biermann, An Architecture for Voice Dialog Systems Based on Prolog-Style Theorem Proving, Computational Linguistics, Vol. 21, No. 3, pages 281–320, 1995.Google Scholar

Copyright information

© Springer Science+Business Media New York 1999

Authors and Affiliations

  • Alan W. Biermann
    • 1
  1. 1.Department of Computer ScienceDuke UniversityDurhamUSA

Personalised recommendations