|
隐藏主题变量图模型是一种用节点表示潜在主题或者潜在主题变化的概率图模型.针对当前隐藏主题变量图模型只能提取单层主题节点的缺陷,提出一种基于深度学习框架的提取多层主题节点的概率图模型.该模型在隐藏主题变量图...
归纳逻辑程序设计(inductive logic programming,ILP)是以一阶逻辑归纳理论为基础,并以一阶逻辑为表达语言的符号规则学习方法.ILP学得的模型是易于理解的一阶逻辑符号规则,而非难以解释的黑箱模型;在学习中可以相对容...
子句集的可满足性判定是自动证明领域的热点之一.提出了子句搜索方法判定命题子句集Φ的可满足性,该方法查找Φ中子句的一个公共不可扩展子句C,当且仅当找到C时Φ可满足,此时C中各文字的补构成一个模型.结合部分实例化...
广义量词理论是一阶逻辑的扩展。该理论已经成为逻辑学和语言学中重要的推理工具之一。广义量词是对来自于一阶逻辑中两个标准量词（全称量词和存在量词）的推广。对一阶逻辑进行扩展的主要原因有二：其一是为了解释亚...
通过对两种一阶逻辑自然推理系统中有关量词的推理规则及其成立条件的比较分析,给出形式简单、直观的有关量词的推理规则和合理、严谨的成立条件,从而保证在使用这些规则时,既保留了直观性,又消除了不严格性,并能准确把...
A recent defence of the material analysis of natural indicative conditionals is exam ined This defence, it is argued, is initially plausible but ultimately flawed. The empirical and logical case again...
数理逻辑是研究推理的数学分支，这部分内容概念抽象，方法灵活，学生很难理解和掌握。为了提高教学效果，研究数理逻辑的主要内容，即命题逻辑与一阶逻辑，分析两部分之间的内在联系及区别，并列举实例来说明它们的联...