期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
构造演算以及它在受囿算子系统中的公理化(英文)
1
作者 孙踊 《北京大学学报(自然科学版)》 CAS CSCD 北大核心 1997年第5期658-668,共11页
首先简略介绍Coquand和Huet的构造演算以及Plotkin和孙踊的受囿算子系统。然后,将构造演算在受囿算子系统中进行公理化。此公理化无需无限级(数据)类型结构。原则上,可以在原构造演算的type空间之上引入ki... 首先简略介绍Coquand和Huet的构造演算以及Plotkin和孙踊的受囿算子系统。然后,将构造演算在受囿算子系统中进行公理化。此公理化无需无限级(数据)类型结构。原则上,可以在原构造演算的type空间之上引入kind空间。但是,不允许在kind上使用量词,也不允许引入y:kind.从技术上说,将忠实地把构造演算翻译进受囿算子系统中去。为了能对构造演算中的Π类型受予受囿算子系统中的类型,不得不引入新的算子。举例来说,构造演算中的Πx:M.N可用受囿算子系统中的Πy.u:tv来表达。其中,x对应于y,M对应于t,以及N对应于u。 展开更多
关键词 构造演算 受囿算子系统 等值逻辑 公理化
下载PDF
耶鲁枪击案: 对非单调推理案例的分析(英文)
2
作者 孙踊 方明 《北京大学学报(自然科学版)》 CAS CSCD 北大核心 1998年第5期700-706,共7页
非单调推理多见于日常生活中。比如,无证据证实B的反面,我们得出结论B。这种逻辑在计算机科学中的知识库、超大数据库和推理库中有许多运用。本案例是著名的“耶鲁枪击案”。据此介绍非单调推理。
关键词 非单调推理 耶鲁枪击案 逻辑 公理 悖论
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部