Author: Horacek H.
Publisher: Academic Press
ISSN: 1071-5819
Source: International Journal of Human-Computer Studies, Vol.53, Iss.6, 2000-12, pp. : 1117-1146
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Acting cooperatively in a communicative situation requires the computer agents to behave collaboratively. This activity is complicated by many sorts of conflicts that may arise in complex interaction environments. In order to capture essential forces driving dialogues in these environments, a number of formal models have been proposed, which focus on choosing among action and reaction types in comparably simple sequences. In this paper, we propose a method to enhance these models by the capability to produce longer dialogue contributions, which is done through tailoring variations in richly structured system actions and choosing among them, guided by quantitative and partially conflicting cooperativity principles based on the Gricean conversation maxims. We have elaborated this model in the context of an interactive, formal proof presentation system. Acting cooperatively for that system means collaborating with the human user by considerably manipulating a proof as produced by a theorem prover to obtain a human-adequate form, and to resolve conflicts between completeness of detail, length of the descriptions given and degree of explicitness required. Our approach complements models of cooperativity and collaboration that are grounded in basic principles of rationality by mediating between partially conflicting conversation goals in producing more complex dialogue contributions.
Related content
Design principles for inductive inference procedures
Cybernetics and Systems Analysis, Vol. 42, Iss. 4, 2006-07 ,pp. :
Tailoring the Interface between Dielectric and 4H-SiC by Ion Implantation
Materials Science Forum, Vol. 2015, Iss. 821, 2015-07 ,pp. :
The relation between inference and interpolation in the framework of fuzzy systems
Fuzzy Sets and Systems, Vol. 81, Iss. 3, 1996-08 ,pp. :