摘要： 人工智能算法在处理包括自然语言在内的所有内涵语言时在算法上遇到了挑战。基于此，对 传统的内涵逻辑形式系统进行调整，在词汇表上添加基本类型符号ｅ，ｔ以及构造内涵类型的符号ｓ，这样 内涵逻辑表达式的标准形式就成了“表达式部分｜类型部分”这样的并联形式。在此基础上，对构成内涵 逻辑模型进行讨论，得出结论是内涵逻辑的模型共有５个决定因素，可以表示成一个五元组〈Ａ，｛０，１｝， Ｗ，Ｔ，ｆ〉。同时，给出普遍指派函数ｆ的表达式，指出普遍赋值函数ｇ的存在性，并通过举例说明普遍指 派函数ｆ所决定的常量与普遍赋值函数ｇ所赋值的变量之间的关系。最后，证明∨∧α和∧∨α与α在语义 解释上的关系，并给出在有限个空间的模型下矩阵表示语义解释的直观方法，说明外延运算和内涵运算 在保持语义信息能力上的差异。