Attention, intentions, and the structure of discourse
Computational Linguistics
Readings in nonmonotonic reasoning
Automated discourse generation using discourse structure relations
Artificial Intelligence - Special volume on natural language processing
Nonmonotonic Logic II: Nonmonotonic Modal Theories
Journal of the ACM (JACM)
Logic for Artificial Intelligence
Logic for Artificial Intelligence
An analysis of formal inter-agent dialogues
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Toward conversational human-computer interaction
AI Magazine
A System for Defeasible Argumentation, with Defeasible Priorities
FAPR '96 Proceedings of the International Conference on Formal and Applied Practical Reasoning
An Argumentation Framework for Merging Conflicting Knowledge Bases
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Persuasion as a Form of Inter-Agent Negotiation
Revised Papers from the Second Australian Workshop on Distributed Artificial Intelligence: Multi-Agent Systems: Methodologies and Applications
Negotiation over tasks in hybrid human-agent teams for simulation-based training
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
On the outcomes of formal inter-agent dialogues
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Information state and dialogue management in the TRINDI dialogue move engine toolkit
Natural Language Engineering
Helpful answers to modal and hypothetical questions
EACL '91 Proceedings of the fifth conference on European chapter of the Association for Computational Linguistics
The rhetorical parsing of natural language texts
ACL '98 Proceedings of the 35th Annual Meeting of the Association for Computational Linguistics and Eighth Conference of the European Chapter of the Association for Computational Linguistics
University of Colorado dialog systems for travel and navigation
HLT '01 Proceedings of the first international conference on Human language technology research
Dialogue management in the Mercury flight reservation system
ANLP/NAACL-ConvSyst '00 Proceedings of the 2000 ANLP/NAACL Workshop on Conversational systems - Volume 3
Task-based dialog management using an agenda
ANLP/NAACL-ConvSyst '00 Proceedings of the 2000 ANLP/NAACL Workshop on Conversational systems - Volume 3
Synchronization in an asynchronous agent-based architecture for dialogue systems
SIGDIAL '02 Proceedings of the 3rd SIGdial workshop on Discourse and dialogue - Volume 2
Coherence and Flexibility in Dialogue Games for Argumentation
Journal of Logic and Computation
Bringing context-aware access to the web through spoken interaction
Applied Intelligence
An adaptive approach for decision making tactics in automated negotiation
Applied Intelligence
Hi-index | 0.00 |
We propose a partial information state-based framework for collaborative dialogue and argument between agents. We employ a three-valued based nonmonotonic logic, NML3, for representing and reasoning about Partial Information States (PIS). NML3 formalizes some aspects of revisable reasoning and it is sound and complete. Within the framework of NML3, we present a formalization of some basic dialogue moves and the rules of protocols of some types of dialogue. The rules of a protocol are nonmonotonic in the sense that the set of propositions to which an agent is committed and the validity of moves vary from one move to another. The use of PIS allows an agent to expand consistently its viewpoint with some of the propositions to which another agent, involved in a dialogue, is overtly committed. A proof method for the logic NML3 has been successfully implemented as an automatic theorem prover. We show, via some examples, that the tableau method employed to implement the theorem prover allows an agent, absolute access to every stage of a proof process. This access is useful for constructive argumentation and for finding cooperative and/or informative answers.