期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
构造演算以及它在受囿算子系统中的公理化(英文)
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:tv来表达。其中,x对应于y,M对应于t,以及N对应于u。
展开更多
关键词
构造演算
受囿算子系统
等值逻辑
公理化
下载PDF
职称材料
耶鲁枪击案: 对非单调推理案例的分析(英文)
2
作者
孙踊
方明
《北京大学学报(自然科学版)》
CAS
CSCD
北大核心
1998年第5期700-706,共7页
非单调推理多见于日常生活中。比如,无证据证实B的反面,我们得出结论B。这种逻辑在计算机科学中的知识库、超大数据库和推理库中有许多运用。本案例是著名的“耶鲁枪击案”。据此介绍非单调推理。
关键词
非单调推理
耶鲁枪击案
逻辑
公理
悖论
下载PDF
职称材料
题名
构造演算以及它在受囿算子系统中的公理化(英文)
1
作者
孙踊
机构
贝尔法斯特女皇大学计算机科学系
出处
《北京大学学报(自然科学版)》
CAS
CSCD
北大核心
1997年第5期658-668,共11页
文摘
首先简略介绍Coquand和Huet的构造演算以及Plotkin和孙踊的受囿算子系统。然后,将构造演算在受囿算子系统中进行公理化。此公理化无需无限级(数据)类型结构。原则上,可以在原构造演算的type空间之上引入kind空间。但是,不允许在kind上使用量词,也不允许引入y:kind.从技术上说,将忠实地把构造演算翻译进受囿算子系统中去。为了能对构造演算中的Π类型受予受囿算子系统中的类型,不得不引入新的算子。举例来说,构造演算中的Πx:M.N可用受囿算子系统中的Πy.u:tv来表达。其中,x对应于y,M对应于t,以及N对应于u。
关键词
构造演算
受囿算子系统
等值逻辑
公理化
分类号
O141.3 [理学—基础数学]
O143 [理学—基础数学]
下载PDF
职称材料
题名
耶鲁枪击案: 对非单调推理案例的分析(英文)
2
作者
孙踊
方明
机构
贝尔法斯特女皇大学计算机科学系
罗易德注册船舶运输公司
出处
《北京大学学报(自然科学版)》
CAS
CSCD
北大核心
1998年第5期700-706,共7页
文摘
非单调推理多见于日常生活中。比如,无证据证实B的反面,我们得出结论B。这种逻辑在计算机科学中的知识库、超大数据库和推理库中有许多运用。本案例是著名的“耶鲁枪击案”。据此介绍非单调推理。
关键词
非单调推理
耶鲁枪击案
逻辑
公理
悖论
分类号
O141 [理学—基础数学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
构造演算以及它在受囿算子系统中的公理化(英文)
孙踊
《北京大学学报(自然科学版)》
CAS
CSCD
北大核心
1997
0
下载PDF
职称材料
2
耶鲁枪击案: 对非单调推理案例的分析(英文)
孙踊
方明
《北京大学学报(自然科学版)》
CAS
CSCD
北大核心
1998
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部