.png){kind=icon}
返回
Partial information basis for agent-based collaborative dialogue
.png){kind=icon}
PRE
AI
DOI：10.1007/s10489-007-0108-5.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
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.
Keyword:
Partial information states
Dialogue
Argument
Agent
Three-valued logic
Nonmonotonic
Theorem proving
期刊
IF:
3.5
论文数:
7.6K
被引数:
1.7W
机构
引用论文
The genome sequence of the rice blast fungus Magnaporthe grisea稻瘟病菌Magnaporthe grisea的基因组序列.png)
Nature
OAAI
NatureIF0
OAAI分享收藏
查看更多内容