• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Symposium on Symbolic and Numeric Algorithms for Scientific Computing >Axiomatization of Credulous Reasoning in Default Logics using Sequent Calculus
【24h】

Axiomatization of Credulous Reasoning in Default Logics using Sequent Calculus

机译：使用序列微积分的默认逻辑中轻信推理的公理化

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The family of default logics formalize the default reasoning using nonmonotonic inference rules called defaults. In this paper we propose a uniform abstract characterization of credulous default inference associated to all versions (classical, justified, constrained, rational) of propositional default logic using the credulous default sequent calculi. These axiomatic systems combine sequent and anti-sequent calculus rules for propositional logic with reduction rules specific to the application of the defaults.
机译：默认逻辑系列使用名为默认值的非单调推理规则来模拟默认推理。在本文中，我们提出了一种统一的摘要表征与所有版本（经典，合理的，受约束的，Rational）的统命除默认逻辑的统命除逻辑相关联的统一默认推断。这些公理系统将搜索和反序列的微积分规则组合了命题逻辑，其缩写规则特定于应用默认值。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号