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

• 作者: 赵靓 邹崇理
• 来源期刊: 重庆理工大学学报（社会科学版）
• 学科: 哲学
• 关键词: 人工智能算法 内涵逻辑 内涵语言 语义 赋值 指派 外延 时空
• 年，卷（期）: 2018,（6）
• 所属期刊栏目: 人工智能与逻辑专题
• 页码范围: 7-19
• 页数: 13页
• 分类号: B81
• 字数: 12244字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-8425(s).2018.06.002

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邹崇理	中国社会科学院哲学所	54	143	7.0	9.0
2	赵靓	天津财经大学管理可计算建模协同中心	2	0	0.0	0.0