User Knowledge, Multimedia Dialogue, and the Missing Axiom Theory
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.
KeywordsTheorem Prove User Knowledge Target Goal Proof Tree Partial Proof
- 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
- 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
- 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
- Ronnie W. Smith and D. Richard Hipp, Spoken Natural Language Dialog Systems, Oxford University Press, New York, 1994.Google Scholar
- 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