...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Expert Systems with Application >Formalizing dialectical explanation support for argument-based reasoning in knowledge-based systems
【24h】

Formalizing dialectical explanation support for argument-based reasoning in knowledge-based systems

机译：在基于知识的系统中为基于论证的推理形式化辩证解释支持

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The concept of explanation has received attention from different areas in Computer Science, particularly in the knowledge-based systems and expert systems communities. At the same time, argumentation has evolved as a new paradigm for conceptualizing commonsense reasoning, resulting in the formalization of different argumentation frameworks and the development of several real-world argument-based applications. Although the notions of explanation and argument for a claim share many common elements in knowledge-based systems their interrelationships have not yet been formally studied in the context of the current argumentation research in Artificial Intelligence. This article explores these ideas by providing a new perspective on how to formalize dialectical explanation support for argument-based reasoning. To do this, we propose a formalization of explanations for abstract argumentation frameworks with dialectical constraints where different emerging properties are studied and analyzed. As a concrete example of the formalism introduced we show how it can be fleshed out in an implemented rule-based argumentation system.
机译：在计算机科学的各个领域，特别是在基于知识的系统和专家系统社区中，解释的概念受到了不同领域的关注。同时，论证已经发展成为一种将常识推理概念化的新范式，从而导致了各种论证框架的形式化以及几种基于现实世界的基于论证的应用程序的开发。尽管对索赔的解释和论证概念在基于知识的系统中有许多共同的要素，但它们之间的相互关系尚未在人工智能的当前论证研究的背景下进行正式研究。本文通过提供有关如何形式化基于辩证推理的辩证解释支持的新视角来探索这些思想。为此，我们建议对具有辩证约束的抽象论证框架的解释进行形式化，在其中研究和分析不同的新兴属性。作为介绍形式主义的具体示例，我们展示了如何在已实现的基于规则的论证系统中充实形式主义。

著录项

  • 来源
    《Expert Systems with Application》 |2013年第8期|3233-3247|共15页
  • 作者

    Alejandro J. Garcia; Carlos I. Chesnevar; Nicolas D. Rotstein; Guillermo R. Simari;

  • 作者单位

    Artificial Intelligence Research and Development Laboratory, Department of Computer Science and Engineering, Universidad National del Sur, Av. Alem 1253, (8000) Bahia Blanca,Argentina;

    Artificial Intelligence Research and Development Laboratory, Department of Computer Science and Engineering, Universidad National del Sur, Av. Alem 1253, (8000) Bahia Blanca,Argentina;

    Artificial Intelligence Research and Development Laboratory, Department of Computer Science and Engineering, Universidad National del Sur, Av. Alem 1253, (8000) Bahia Blanca,Argentina;

    Artificial Intelligence Research and Development Laboratory, Department of Computer Science and Engineering, Universidad National del Sur, Av. Alem 1253, (8000) Bahia Blanca,Argentina;

  • 收录信息
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

    knowledge-based systems; explanation support; abstract argumentation; structured argumentation; defeasible logic programming;

    机译：基于知识的系统;解释支持;抽象论证结构性论证;可行逻辑编程;

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号