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

摘要：

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

关键词：人工智能算法、内涵逻辑、内涵语言、语义、赋值、指派、外延、时空

所属期刊栏目：32

分类号：B81(逻辑学(论理学))

资助基金：国家社会科学基金重大项目“面向计算机人工智能的组合范畴语法研究”17ZDA027

在线出版日期：2018-11-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共13页

页码：7-19