• 主题
高级搜索  >
历史搜索 清空历史
首页> 美国政府科技报告 >Epistemic Logic for Defeasible Reasoning Using a Meta-Level Architecture Metaphor
【24h】

Epistemic Logic for Defeasible Reasoning Using a Meta-Level Architecture Metaphor

机译：使用元级别架构隐喻的可行性推理的认知逻辑

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

摘要

The chapter is concerned with default reasoning, or reasoning by default. In particular, we indicate how default logic can be based on epistemic logic, and particularly how we may employ Halpern and Moses' minimal epistemic states and the entailment relation based on these for this purpose. In this way we obtain a simple and natural S5-based logic for default reasoning. We discuss these issues in terms of reflective architectures: Halpern and Moses' entailment corresponds to an 'upward reflection', deriving some kind of meta-knowledge that is important for the application of defaults. We discuss some possibilities to deal with the default beliefs that are the outcome of default reasoning, in terms of 'downward reflection', deriving object knowledge from meta-knowledge. This is of particular importance in case the default beliefs contain conflicting information. We also provide one way to resolve possible inconsistencies in the special case of defaults with specificity, even before reflecting down.

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号