Executable Logic for Dialogical Argumentation

机译：对话论证的可执行逻辑

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

Argumentation between agents through dialogue is an important cognitive activity. There have been a number of proposals for formalizing dialogical argumentation. However, each proposal involves a number of quite complex definitions, and there is significant diversity in the way different proposals define similar features. This complexity and diversity has hindered analysis and comparison of the space of proposals. To address this, we present a general approach to defining a wide variety of systems for dialogical argumentation. Our solution is to use an executable logic to specify individual systems for dialogical argumentation. This means we have a common language for specifying a wide range of systems, we can compare systems in terms of a range of standard properties, we can identify interesting classes of system, and we can execute the specification of each system to analyse it empirically.

机译：代理之间通过对话进行的争论是一项重要的认知活动。对于形式化对话论证有许多建议。但是，每个建议都涉及许多非常复杂的定义，并且不同建议定义相似功能的方式也存在很大差异。这种复杂性和多样性阻碍了对提案空间的分析和比较。为了解决这个问题，我们提出了一种通用的方法来定义各种用于对话论证的系统。我们的解决方案是使用可执行逻辑为对话论证指定单个系统。这意味着我们可以使用一种通用语言来指定各种系统，可以根据一系列标准属性来比较系统，可以识别出有趣的系统类别，并且可以执行每个系统的规范以进行经验分析。

著录项

来源
《20th European conference on artificial intelligence》|2012年|15-20|共6页
会议地点 Montpellier(FR)
作者
Elizabeth Black; Anthony Hunter;
展开▼
作者单位

Department of Informatics, King's College London, London, WC2R 2LS, UK;

Department of Computer Science, University College London, London, WCE1 6BT, UK;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. A temporal modal defeasible logic for formalizing social commitments in dialogue and argumentation models [J] . Moubaiddin Asma, Salah Imad, Obeid Nadim Applied Intelligence: The International Journal of Artificial Intelligence, Neural Networks, and Complex Problem-Solving Technologies . 2018,第3期

机译：用于在对话和论证模型中正式化社会承诺的时间模态不可行逻辑
2. On formalizing social commitments in dialogue and argumentation models using temporal defeasible logic [J] . Asma Moubaiddin, Nadim Obeid Knowledge and information systems . 2013,第2期

机译：使用时间不可行逻辑在对话和论证模型中形式化社会承诺
3. Ãthique, culture religieuse, dialogue: arguments pour un programme [Ethics, religious culture, dialogue: arguments for a programme] [J] . Bruce Maxwella* Journal of Moral Education . 2010,第1期

机译：伦理，宗教文化，对话：一个程序的论点[伦理，宗教文化，对话：一个程序的论点]
4. Executable Logic for Dialogical Argumentation [C] . Elizabeth Black, Anthony Hunter European Conference on Artificial Intelligence . 2012

机译：对话论证的可执行逻辑
5. Dialogic argumentation as a path to enhancing individual argumentive reasoning in academically disadvantaged 8th-graders. [D] . Goh, Wendy Wee Lyn. 2008

机译：对话论证是在学术上处于劣势的八年级学生增强个人论证推理的途径。
6. Dialog Manager: A High-Level Tool for Creating Storing and Executing User-Computer Dialogs [O] . M. Segal, R. Zielstorff, J. M. Teich, 1999

机译：对话框管理器：用于创建存储和执行用户计算机对话框的高级工具
7. Abduction and Dialogical Proof in Argumentation and Logic Programming [O] . Booth, Richard, Gabbay, Dov, Kaci, Souhila, 2014

机译：论证与逻辑程序设计中的绑架与对话证据

Executable Logic for Dialogical Argumentation

摘要

著录项

相似文献

相关主题

期刊订阅