一种对PROLOG进行矛盾检测的算法

本文首先介绍了PROLOG检测工具的研究现状.作者针对PROLOG语言的特点.提出了一种对PROLOG进行矛盾检测的算法,并用Turbo C语言实现了该算法.该算法作为一种PROLOG检测工具已被合并到Turbo PROLOG系统盘中.

课文理解中有关故事矛盾检测方法研究

本文以2个实验研究探讨了在阅读课文过程中读者检测矛盾句子的心理过程。实验1的结果表明,在阅读过程中读者可以发现矛盾句子;实验2的结果表明,位置序列效应对于检测故事矛盾的影响并不大,主要的影响因素是矛盾句子的类型,这种类型是一种由谓语构成的、具有逻辑意义的句子,它可以在工作记忆中保持较长的时间。最后,在建构整合的理论框架中讨论了本研究的结果。

系统模型中线性相关矛盾方程的检测方法

基于开放方程的模拟与优化能够充分体现先进的建模与优化技术在过程系统工程中的应用优势。但是由于建模错误或者优化算法本身导致的线性相关的系统模型,可能构成不相容的约束集合最终使求解失败。对这种情况提出了矛盾约束集合的检测方法。该方法与非线性规划(NLP)算法对不可行系统的识别相结合,利用线性相关系统的结构特征,对不可行驻点处的线性系统进行分析和检测。在此过程中通过合理利用线性求解器能够显著提高矛盾约束检测的效率。基于CUTE/COPS算例构造基于线性相关不相容模型的优化问题并进行矛盾约束检测,数值结果验证了本文提出方法的有效性。

一种新的PROLOG检测算法的设计与实现

介绍了ＰＲＯＬＯＧ检测算法的研究现状， 针对ＰＲＯＬＯＧ 语言的特点， 提出了一种对ＰＲＯＬＯＧ进行检测的新算法， 并用Ｃ语言实现了该算法。对ＴｕｒｂｏＰＲＯＬＯＧ系统盘进行了剖析， 该算法作为一种ＰＲＯＬＯＧ检测工具已被合并到ＴｕｒｂｏＰＲＯＬＯＧ系统盘中。