• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Logic, language, information and computation >Expressing Extension-Based Semantics Based on Stratified Minimal Models
【24h】

Expressing Extension-Based Semantics Based on Stratified Minimal Models

机译：基于分层最小模型表达基于扩展的语义

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

摘要

Extension-based argumentation semantics is a successful approach for performing non-monotonic reasoning based on argumentation theory. An interesting property of some extension-based argumentation semantics is that these semantics can be characterized in terms of logic programming semantics. In this paper, we present novel results in this topic. In particular, we show that one can induce an argumentation semantics (that we call Stratified Argumentation Semantics) based on a logic programming semantics that is based on stratified minimal models. We show that the stratified argumentation semantics overcome some problems of extension-based argumentation semantics based on admissible sets and we show that it coincides with the argumentation semantics CF2.
机译：基于扩展的论证语义学是基于论证理论执行非单调推理的成功方法。一些基于扩展的论点语义的一个有趣特性是，可以根据逻辑编程语义来表征这些语义。在本文中，我们在该主题中提出了新颖的结果。尤其是，我们表明，可以基于基于分层最小模型的逻辑编程语义来引发争论语义（我们称为分层争论语义）。我们证明了分层论证语义克服了基于可容许集的基于扩展的论证语义的一些问题，并且表明它与论证语义CF2一致。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号