论文部分内容阅读
给定一组推理规则，可以先把这组规则聚合为一个超规则，然后依此超规则进行推理；也可先分别依据各给定规则进行推理，然后将所得结果进行聚合。本文证明了这两种方法都可以是相容的，并指出Ｂｕｃｋｌｅｙ与Ｈａｙａｓｈｉ关于前者一定不相容的论断是错误的。
论聚合与推理的顺序
【摘 要】
：
给定一组推理规则，可以先把这组规则聚合为一个超规则，然后依此超规则进行推理；也可先分别依据各给定规则进行推理，然后将所得结果进行聚合。本文证明了这两种方法都可以是相容的
【机 构】
：
陕西师范大学数学研究所
【出 处】
：
陕西师大学报：自然科学版
【发表日期】
：
1999年1期
【基金项目】
：
国家自然科学基金
其他文献
1956年4月10～19日，全国机械工业先进生产者会议在北京召开，这是新中国机械工业史上的一件大事，当时称之为“中国机械工业历史上规模最大的一次交流先进经验的会议”（1956年4月11日
目的：了解某高校离退休干部的药物使用情况以及对药物不良反应,尤其是抗菌药物不良反应的认知度,为药物的合理使用提供参考。方法：自行设计调查问卷,进行现场问卷调查。结果：共
采用分子动力学模拟和MM-PBSA相结合方法计算了HIV蛋白酶和抑制剂的结合自由能．并且运用能量分解方法考察了蛋白酶主要残基与抑制剂之间的相互作用．在MM—PBSA中，体系的焓通过分