小沙河治理工程设计洪水计算探讨

针对小沙河治理工程地处山丘区、控制流域面积较小和水文资料匮乏所导致的设计洪水推求困难问题,本文在参照河南省不同版本水文计算图集推求设计暴雨的基础上,根据产汇流原理,采用推理公式法计算设计洪水,并与小沙河下游已治理河段设计洪水水文比拟成果进行对比分析。结果表明,推理公式法计算成果合理可靠,保证了同一河流上下游不同治理段间水文成果的协调,为解决豫南山丘地区中小流域设计洪水计算问题提供了一条新的思路。     

基于本体的CBR及其在旅游产品智能推荐系统的应用研究

针对传统CBR存在的案例库难以扩展,表述词表不统一等异构问题,将本体技术引入CBR,对推理系统结构进行了分析设计.研究基于本体CBR的旅游产品案例表示方法,以及案例检索策略.并将该系统应用于旅游产品智能推荐过程中.实验证明该推理系统能有效地提高CBR中案例的查全率,提高旅游产品智能推荐的推荐精度.     

信念及其透明度特征

在我们考虑是否要相信某种陈述的时候,总是想要找出关于这种陈述的事实证据.哲学家把这种特征称为信念的“透明度”特征.要解决证据论者和实用主义者在信念伦理学中的矛盾,就应当诉诸于对透明度的正确解释.因为这种透明度特征反映了信念的概念性事实:当且仅当P的时候,关于P的信念为真.这种规范性的真理使得只有证据才能成为信念的理由.     

基于GAG的Horn逻辑分布式推导模型

分布式逻辑推理是在网络环境下提供分布式智能服务的推理机制,提出了一个基于广义与或图(GAG)的Horn逻辑分布式推导模型.该模型可以清晰地表示变量约束,实现无须回溯的远程谓词调用,Horn逻辑中一次成功的推导在该模型中被表示为一个解路径,问题求解被转换为对GAG的搜索.还讨论了广义与或图搜索算法在Horn逻辑推理当中的应用.     

青少年犯罪与公正世界信念的关系研究

本研究考察我国青少年罪犯的公正世界信念特点,并比较了青少年罪犯与未犯罪青少年公正世界信念的差异。采用一般公正世界信念量表和个人公正世界信念量表调查了97名男性青少年罪犯和88名未犯罪青少年。结果发现,犯罪与否与家庭所在地、受教育程度有着显著正相关,与年龄存在显著负相关;公正世界信念（个人公正和一般公正）与犯罪与否、受教育程度存在显著正相关,与年龄存在显著负相关。重复测量方差分析表明,不论青少年犯罪与否,他们的一般公正世界信念都显著高于个人公正世界信念;且未犯罪青少年的公正世界信念显著高于犯罪青少年。从青少年罪犯与未犯罪青少年公正世界信念的差异入手,探讨了培养青少年公正世界信念的意义。     

支持与证据的形式化研究

关于不确定推量，从概率模型、可信度理论发展到证据理论和模糊推理，大大丰富了不确定推理的理论，在专家系统中的应用也日趋成熟，所有这些研究都是基于“一定意义”下的数值度量来研究证据与结论之间的关系，因而可以提出这样的问题，在非确定环境下，证据和证据对结论的支持强度的普遍含义是什么？这就涉及到支持和证据的逻辑基础问题。作者在文献[1]提出了支持逻辑和证据的初步概念，本文探讨了事态的形式化并且对支持逻辑和证据作了进一步说明和解释，对整个形式化方案作了肯定的说明。     

关联规则挖掘中的关联推理

在大型数据库项目之间发现关联规则是一个重要的数据挖掘问题，而挖掘出的关联规则数常常是巨大的。现基于覆盖运算，讨论已知关联规则可导出其它关联规则，并指出存在能覆盖全部关联规则的最小规则集。     

程度化的格值一阶逻辑及不确定性推理研究

1项目的研究意义人工智能的主要目标在于研究用机器来模仿和执行人脑的某些智力功能,并发展相关的理论和技术。人类主要的思维活动包括推理、判断和决策,这些思维活动反映了人脑所具有的某些智力功能,而这些智力功能大都包含着推理,因此人工智能研究的核心问题之一应该是使     

一种基于黑板模型的猜测推理方法

针对黑板结构中的猜测现象提出了一种基于数据依赖图的猜测推理方法，并给出了这种方法的模型及实例     

结合区间和时域信息的定性模拟方法

针对传统ＱＳ方法中存在的歧义分枝问题，希望能利用区间定量信息和时域信息来减少模拟过程中的歧义性．在传统ＱＳＩＭ算法的基础上，提出了区间界标的概念和区间传播算法，并给出了有效表达时域信息的时域逻辑谓词，最后以一个水库管理的实例来说明如何利用区间信息和时域信息进行定性模拟