论文部分内容阅读
人工智能算法在处理包括自然语言在内的所有内涵语言时在算法上遇到了挑战。基于此,对传统的内涵逻辑形式系统进行调整,在词汇表上添加基本类型符号e,t以及构造内涵类型的符号s,这样内涵逻辑表达式的标准形式就成了＂表达式部分｜类型部分＂这样的并联形式。在此基础上,对构成内涵逻辑模型进行讨论,得出结论是内涵逻辑的模型共有5个决定因素,可以表示成一个五元组〈A,{0,1},W,T,f〉。同时,给出普遍指派函数f的表达式,指出普遍赋值函数g的存在性,并通过举例说明普遍指派函数f所决定的常量与普遍赋值函数g所赋值的变量之