Smith, R.W. Integration of Domain Problem Solving with Natural Language Dialog: The Missing Axiom Theory, in the Proceedings of the Innovative Applications of Artificial Intelligence Conference, 1992, AAAI Press, 270-270. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Computational Model of Dialogue Initiative - In Collaborative Discourse (Correct)
....in both of these systems proceeds by attempting to prove or solve some goal, and when the system is blocked, it has the option of using dialogue to obtain the necessary information in order to continue its proof. This dialogue mechanism has been described as the missing axiom theory of discourse[3]. However, efficient collaboration requires efficient management of dialogue control. Each of the cooperative problem solvers must take control or release it at appropriate times to maximize the joint efficiency of their collaborative problem solving. This paper will explore various mechanisms by ....
R.W. Smith. Integration of domain problem solving with natural language dialog: The missing axiom theory. In Proceedings of Applications of AI X: Knowledge-Based Systems, pages 270--278, 1992.
A Computational Model of Collaborative Discourse - Guinn, Biermann (1994) (Correct)
....in both of these systems proceeds by attempting to prove or solve some goal, and when the system is blocked, it has the option of using dialogue to obtain the necessary information in order to continue its proof. This dialogue mechanism has been described as the missing axiom theory of discourse [10]. This paper extends this theory to develop a unified model of collaborative discourse within the missing axiom theory framework which provides for collaborative behaviors not obtainable from previous versions of the missing axiom theory: 1) automatic adjustment of levels of initiative between ....
R.W. Smith. Integration of domain problem solving with natural language dialog: The missing axiom theory. In Proceedings of Applications of AI X: Knowledge-Based Systems, pages 270--278, 1992.
A Computational Model of Dialogue Initiative in Collaborative.. - Guinn (1993) (7 citations) (Correct)
....in both of these systems proceeds by attempting to prove or solve some goal, and when the system is blocked, it has the option of using dialogue to obtain the necessary information in order to continue its proof. This dialogue mechanism has been described as the missing axiom theory of discourse[3]. However, efficient collaboration requires efficient management of dialogue control. Each of the cooperative problem solvers must take control or release it at appropriate times to maximize the joint efficiency of their collaborative problem solving. This paper will explore various mechanisms by ....
R.W. Smith. Integration of domain problem solving with natural language dialog: The missing axiom theory. In Proceedings of Applications of AI X: Knowledge-Based Systems, pages 270--278, 1992.
The Role of Computer-Computer Dialogues in Human-Computer Dialogue .. - Guinn (1995) (1 citation) (Correct)
....could not solve or if a participant was confused and needed clarification. Clarification subdialogues seemed to occur when one participant overestimated what the other participant was capable of doing (user model error) From this observation, the origin of the Missing Axiom Theory arose [15] (to be discussed further in Section 3.1) Another feature of the dialogues that stood out was the need for variable initiative dialogue to support efficient collaboration. When users have knowledge they would like to apply to a problem, it is frustrating and inefficient to force the users to ....
....decompose the goal into subgoals and solve those subgoals. Biermann et al. point out that in a collaborative environment the problem solvers have another option: ask the other collaborators [2] Smith proposes that the role of language in a problem solving environment is to supply missing axioms [15]. Smith s view is that problem solving involves the satisfaction of axioms. When a problem solver cannot satisfy an axiom trivially by looking it up in its knowledge base and the problem solver cannot decompose the goal into subgoals, it has the option of requesting that the other participant ....
R.W. Smith. Integration of domain problem solving with natural language dialog: The missing axiom theory. In Proceedings of Applications of AI X: Knowledge-Based Systems, pages 270-- 278, 1992.
Initiative-Dependent Features Of Human-Computer Dialogs In A.. - Smith Self-citation (Smith) (Correct)
.... P P P P P P P P P P P i i i i i i i i i i i a a a a a a E E i i i i i i i i a b2 b1 d c b (state(X,position,Y) know(user,how to locate,X) report(user,position(X,Y) Figure 1: Sample theorem description The key aspect of the model that enables this integration is the Missing Axiom Theory Smith, 1992 for driving the dialog process. Integrating the necessary domain reasoning with a general NL dialog mechanism requires a reasoning system for achieving goals. Theorem proving, a well understood computational approach, was selected for the reasoning mechanism. The theory then utilizes language ....
Smith, R.W. 1992. Integration of domain problem solving with natural language dialog: The missing axiom theory. In Proceedings of Applications of AI X: Knowledge-Based Systems, pages 270--278.
Creating Tangible Interfaces by Augmenting Physical - Objects With Multimodal (Correct)
No context found.
Smith, R.W. Integration of Domain Problem Solving with Natural Language Dialog: The Missing Axiom Theory, in the Proceedings of the Innovative Applications of Artificial Intelligence Conference, 1992, AAAI Press, 270-270.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC