期刊文献+

A DELTA INFERENCE OPERATOR FOR REASONABLE CONSEQUENCE RELATION

基于合理后承关系的δ推理算子(英文)
下载PDF
导出
摘要 This paper determines a delta inference operator C based on the notion of reasonable consequence of Adams′ system and studies its properties. It shows another approach to study inductive and probabilistic reasoning. 基于合理后承关系构造的δ推理算子是合理后承关系的又一表示形式,通过对这一δ推理算子性质的讨论,可以知道合理后承关系是一个满足包含律、单调律、有限累积律的推理关系。δ推理算子的提出,提供了一条新的研究归纳逻辑和概率逻辑的方法。
出处 《Transactions of Nanjing University of Aeronautics and Astronautics》 EI 1999年第1期3-7,共5页 南京航空航天大学学报(英文版)
关键词 reasonable consequence inductive logic probabilistic logic INCLUSION monotony cumulativity 合理后承 归纳逻辑 概率逻辑 包含律 单调律 累积律
  • 相关文献

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部