内涵逻辑作为语义可计算的一种方案——内涵算子和外延算子

赵靓; 邹崇理

首页> 中文期刊> 《重庆理工大学学报（社会科学版）》 >内涵逻辑作为语义可计算的一种方案——内涵算子和外延算子

内涵逻辑作为语义可计算的一种方案——内涵算子和外延算子

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

人工智能算法在处理包括自然语言在内的所有内涵语言时在算法上遇到了挑战.基于此,对传统的内涵逻辑形式系统进行调整,在词汇表上添加基本类型符号e,t以及构造内涵类型的符号s,这样内涵逻辑表达式的标准形式就成了“表达式部分|类型部分”这样的并联形式.在此基础上,对构成内涵逻辑模型进行讨论,得出结论是内涵逻辑的模型共有5个决定因素,可以表示成一个五元组(A,{0,1},W,T,f>.同时,给出普遍指派函数f的表达式,指出普遍赋值函数g的存在性,并通过举例说明普遍指派函数f所决定的常量与普遍赋值函数g所赋值的变量之间的关系.最后,证明∨∧α和∧∨ α与α在语义解释上的关系,并给出在有限个空间的模型下矩阵表示语义解释的直观方法,说明外延运算和内涵运算在保持语义信息能力上的差异.

著录项

来源
《重庆理工大学学报（社会科学版）》 |2018年第6期|7-19|共13页
作者
赵靓; 邹崇理;
展开▼
作者单位

天津财经大学管理可计算建模协同中心,天津300222;

中国社会科学院哲学所,北京100732;

展开▼
原文格式 PDF
正文语种 chi
中图分类逻辑学（论理学）;
关键词
人工智能算法; 内涵逻辑; 内涵语言; 语义; 赋值; 指派; 外延; 时空;

相似文献

中文文献
外文文献
专利

1. 内涵逻辑作为语义可计算的一种方案——内涵算子和外延算子 [J] . 赵靓1 ,邹崇理2 . 重庆理工大学学报 . 2018,第006期
2. 语义分析:从外延到内涵-卡尔纳普逻辑语义学评析 [J] . 张金兴 . 湘潭大学学报（哲学社会科学版） . 1997,第005期
3. 语义分析: 从外延到内涵——卡尔纳普逻辑语义学评析 [J] . 张金兴 . 淮阴师范学院学报：哲学社会科学版 . 1997,第003期
4. 外延语句与部分内涵语句的逻辑语义新构造 [J] . 付豪 . 毕节学院学报 . 2018,第004期
5. 外延语句与部分内涵语句的逻辑语义新构造 [J] . 付豪 . 贵州工程应用技术学院学报 . 2018,第004期
6. 基于t-norm算子的模糊逻辑及其语义 [C] . 刘云翔 ,华东理工大学自动化研究所 ,吴伟昶 . 2006年全国理论计算机科学学术年会 . 2006
7. 可计算性逻辑中若干形式系统及算子的研究 [A] . 许文艳 . 2012

内涵逻辑作为语义可计算的一种方案——内涵算子和外延算子

摘要

著录项

相似文献

相关主题

期刊订阅