期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
6
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
制约关系的两个独立性是推理能从已知获取新知的逻辑根据
被引量：
1
1
作者
龙娅
龚启荣
《六盘水师范高等专科学校学报》
2007年第1期30-32,59,共4页
制约关系即充分条件关系,它具有两个非常重要的逻辑性质,叫第一独立性和第二独立性。制约关系的两个独立性是推理能从已知获取新知的逻辑根据。这就是它的理论价值和实践意义。
关键词
制约关系
第一独立性
第二独立性
下载PDF
职称材料
制约逻辑、消解原理及其应用(英文)
2
作者
蒋学锋
《贵州大学学报（自然科学版）》
1998年第1期21-26,共6页
本文首先简要介绍了制约逻辑；然后提出制约逻辑的子句类型和消解方法，并对简称为LELAIL的实验系统（我们自己在这个原理的基础上开发的问题求解软件系统）及其求解实例进行了讨论。
关键词
可能性
偶然性
必然性
制约逻辑
消解
下载PDF
职称材料
从数理逻辑概括规则看内涵科学分析法
3
作者
龚启荣
吴春红
《贵州大学学报（自然科学版）》
2008年第3期247-250,共4页
无限域的内涵可以有限地把握和表述。可在有限步内实施的提取无限步的内涵从而确定无限域上事件间的第一独立性的方法即为"内涵科学分析法",人类用此法确立第一独立性后即能以有限把握无限,从已知进入新知。数理逻辑中作为逻...
无限域的内涵可以有限地把握和表述。可在有限步内实施的提取无限步的内涵从而确定无限域上事件间的第一独立性的方法即为"内涵科学分析法",人类用此法确立第一独立性后即能以有限把握无限,从已知进入新知。数理逻辑中作为逻辑工具使用的"若,则"不是真值函数"蕴涵",而是通过内涵科学分析法确立第一独立性的"制约"。
展开更多
关键词
内涵科学分析法
制约关系
第一独立性
第二独立性
概括原则
下载PDF
职称材料
必然、可能、偶然、风马牛
4
作者
林邦瑾
《贵州大学学报（自然科学版）》
1991年第4期241-246,共6页
在普通逻辑思考实际中,必然既不是1元的模态词,而且,必然与恒真的真值函数之间也并无内在联系。“A必然B”的含义为:“可独立于A、B的真值确定不会是A真而B假”,其中的“可独立于A、B的真值确定”称为“第一独立性”。“A必然B”的符号...
在普通逻辑思考实际中,必然既不是1元的模态词,而且,必然与恒真的真值函数之间也并无内在联系。“A必然B”的含义为:“可独立于A、B的真值确定不会是A真而B假”,其中的“可独立于A、B的真值确定”称为“第一独立性”。“A必然B”的符号表达式为“A B”,可念作“A制约B”,其中的称为“制约号”,是2元的非正统的联结号。可能就是不必然不;偶然就是不必然且可能;“A风马牛B”的含义为“把A或 H、B或 B不论是放在前域还是后域,这之间的关系都是偶然”,故而也可称为“彻底的偶然”。容易验证,从语义上说,正统一阶谓词演算中的A B(A蕴涵B)和在其它语言中用来作为逻辑工具的“若A,则B”之间的关系是风马牛。
展开更多
关键词
制约
人工智能
自然语言
下载PDF
职称材料
长大隧道独头压入式通风技术
被引量：
3
5
作者
张涛
杨玉玲
包太
《山西建筑》
2010年第6期276-277,共2页
结合某隧道工程实例,介绍了长大隧道独头压入式通风技术,设计参考了国内其他隧道通风的实际情况,通过计算隧道施工通风的理论通风量,并根据现场实际情况,提出变更加大斜井断面尺寸和采用柔性风管,配用两台隧道施工专用通风机,可以随隧...
结合某隧道工程实例,介绍了长大隧道独头压入式通风技术,设计参考了国内其他隧道通风的实际情况,通过计算隧道施工通风的理论通风量,并根据现场实际情况,提出变更加大斜井断面尺寸和采用柔性风管,配用两台隧道施工专用通风机,可以随隧道掘进长度的增加逐步加大通风量,以达到节能目的。
展开更多
关键词
长大隧道
独头压入式
节能
通风技术
下载PDF
职称材料
现代主义的最后集结:重庆1945年“第一届独立美展”
被引量：
2
6
作者
漆麟
《南京艺术学院学报（美术与设计）》
CSSCI
北大核心
2018年第4期79-85,共7页
文章围绕1945年6月重庆"第一届独立美展"的再现,追寻民国以来倡导现代主义美术的艺术家群体的踪迹,部分还原1945年陪都美术界的历史空间,具体考察了展览的举办经纬、参展艺术家和作品及其在媒体空间中的呈现情况。
关键词
现代主义
"独立美展"
民国美术
抗战时期
重庆
下载PDF
职称材料
题名
制约关系的两个独立性是推理能从已知获取新知的逻辑根据
被引量：
1
1
作者
龙娅
龚启荣
机构
贵州大学人文学院
出处
《六盘水师范高等专科学校学报》
2007年第1期30-32,59,共4页
文摘
制约关系即充分条件关系,它具有两个非常重要的逻辑性质,叫第一独立性和第二独立性。制约关系的两个独立性是推理能从已知获取新知的逻辑根据。这就是它的理论价值和实践意义。
关键词
制约关系
第一独立性
第二独立性
Keywords
entailment
relationship
the
first
independence
the
second
independence
分类号
B812.23 [哲学宗教—逻辑学]
下载PDF
职称材料
题名
制约逻辑、消解原理及其应用(英文)
2
作者
蒋学锋
机构
贵州大学计算机科学系
出处
《贵州大学学报（自然科学版）》
1998年第1期21-26,共6页
文摘
本文首先简要介绍了制约逻辑；然后提出制约逻辑的子句类型和消解方法，并对简称为LELAIL的实验系统（我们自己在这个原理的基础上开发的问题求解软件系统）及其求解实例进行了讨论。
关键词
可能性
偶然性
必然性
制约逻辑
消解
Keywords
Possibility,
Fortuity,
Necessity,
first
independence
,
Second
independence
分类号
O141.3 [理学—数学]
TP301 [理学—基础数学]
下载PDF
职称材料
题名
从数理逻辑概括规则看内涵科学分析法
3
作者
龚启荣
吴春红
机构
贵州大学
出处
《贵州大学学报（自然科学版）》
2008年第3期247-250,共4页
基金
教育部人文社会科学"当代形式逻辑及其在人工智能中的应用理论研究"项目成果。项目批准号为:07JA720006
文摘
无限域的内涵可以有限地把握和表述。可在有限步内实施的提取无限步的内涵从而确定无限域上事件间的第一独立性的方法即为"内涵科学分析法",人类用此法确立第一独立性后即能以有限把握无限,从已知进入新知。数理逻辑中作为逻辑工具使用的"若,则"不是真值函数"蕴涵",而是通过内涵科学分析法确立第一独立性的"制约"。
关键词
内涵科学分析法
制约关系
第一独立性
第二独立性
概括原则
Keywords
Analyzing
Method
Of
Intension
sufficient
conditional
relation
first
independence
second
independence
Generalized
principle
分类号
O141 [理学—数学]
下载PDF
职称材料
题名
必然、可能、偶然、风马牛
4
作者
林邦瑾
机构
北京开关厂
出处
《贵州大学学报（自然科学版）》
1991年第4期241-246,共6页
文摘
在普通逻辑思考实际中,必然既不是1元的模态词,而且,必然与恒真的真值函数之间也并无内在联系。“A必然B”的含义为:“可独立于A、B的真值确定不会是A真而B假”,其中的“可独立于A、B的真值确定”称为“第一独立性”。“A必然B”的符号表达式为“A B”,可念作“A制约B”,其中的称为“制约号”,是2元的非正统的联结号。可能就是不必然不;偶然就是不必然且可能;“A风马牛B”的含义为“把A或 H、B或 B不论是放在前域还是后域,这之间的关系都是偶然”,故而也可称为“彻底的偶然”。容易验证,从语义上说,正统一阶谓词演算中的A B(A蕴涵B)和在其它语言中用来作为逻辑工具的“若A,则B”之间的关系是风马牛。
关键词
制约
人工智能
自然语言
Keywords
Lin's
entailment
first
independence
necessity
thorough
contingency
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
长大隧道独头压入式通风技术
被引量：
3
5
作者
张涛
杨玉玲
包太
机构
贵州大学土木建筑工程学院
出处
《山西建筑》
2010年第6期276-277,共2页
基金
贵州省优秀科技教育人才省长专项基金(项目编号:黔科教办[2007]03号)
文摘
结合某隧道工程实例,介绍了长大隧道独头压入式通风技术,设计参考了国内其他隧道通风的实际情况,通过计算隧道施工通风的理论通风量,并根据现场实际情况,提出变更加大斜井断面尺寸和采用柔性风管,配用两台隧道施工专用通风机,可以随隧道掘进长度的增加逐步加大通风量,以达到节能目的。
关键词
长大隧道
独头压入式
节能
通风技术
Keywords
long-large
tunnel,
first
independence
press-in,
energy
saving,
technology
of
ventilation
分类号
U453.5 [建筑科学—桥梁与隧道工程]
下载PDF
职称材料
题名
现代主义的最后集结:重庆1945年“第一届独立美展”
被引量：
2
6
作者
漆麟
机构
西南大学美术学院
出处
《南京艺术学院学报（美术与设计）》
CSSCI
北大核心
2018年第4期79-85,共7页
基金
重庆市社会科学规划一般项目<抗战时期重庆的现代派美术研究>(2013YBYS095)
2017年度教育部人文社会科学研究青年基金项目<抗战时期的现代主义美术研究>(17YJC760062)
2017年度日本学术振兴会外国人特别研究员(京都大学人文科学研究所)项目资助
文摘
文章围绕1945年6月重庆"第一届独立美展"的再现,追寻民国以来倡导现代主义美术的艺术家群体的踪迹,部分还原1945年陪都美术界的历史空间,具体考察了展览的举办经纬、参展艺术家和作品及其在媒体空间中的呈现情况。
关键词
现代主义
"独立美展"
民国美术
抗战时期
重庆
Keywords
Chinese
Modern
Art
Republican
China
Sino-Japanese
War
The
first
independ
ent
Exhibition
Chongqing
分类号
J209 [艺术—美术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
制约关系的两个独立性是推理能从已知获取新知的逻辑根据
龙娅
龚启荣
《六盘水师范高等专科学校学报》
2007
1
下载PDF
职称材料
2
制约逻辑、消解原理及其应用(英文)
蒋学锋
《贵州大学学报（自然科学版）》
1998
0
下载PDF
职称材料
3
从数理逻辑概括规则看内涵科学分析法
龚启荣
吴春红
《贵州大学学报（自然科学版）》
2008
0
下载PDF
职称材料
4
必然、可能、偶然、风马牛
林邦瑾
《贵州大学学报（自然科学版）》
1991
0
下载PDF
职称材料
5
长大隧道独头压入式通风技术
张涛
杨玉玲
包太
《山西建筑》
2010
3
下载PDF
职称材料
6
现代主义的最后集结:重庆1945年“第一届独立美展”
漆麟
《南京艺术学院学报（美术与设计）》
CSSCI
北大核心
2018
2
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
