基于面积测算知识规则自动推理的建筑物权籍测算模型构建与差异性分析

传统的建筑物面积测算方法往往需要大量的人力和时间投入,且结果可能存在主观影响和误差。针对建筑物面积测算,提出了一种基于面积测算自动推理知识规则的权籍测算模型构建方法,构建房产面积测算知识规则库,并进行了建筑空间与产权空间的差异性分析。实证结果表明,本文提出的基于面积测算知识规则自动推理的建筑物权籍测算模型的预测值和实测值的面积误差比在3%以内,符合权籍面积测算标准要求,本模型可以在建筑物权籍测算领域中得到广泛应用。

自动推理技术在求解组合数学难题中的研究进展

自动推理是一种以符号演算的方式来自动模拟人类逻辑推理能力的技术,其总体目标是利用计算机构建一个将不同形式的推理机械化的系统。虽然该领域的理论框架尚未实现对人类全部推理能力的模拟,但该领域的发展已经可以帮助研究人员解决一些数学和逻辑领域的开放性问题,并提供了计算科学中的重要应用。文中简要回顾了利用自动推理技术处理组合数学开放性难题时的代表性方法,重点梳理了该领域的国内外最新进展,分析了各种方法的优势与不足,介绍了近年来出现的增强自动推理结果可信性的技术方法,并探讨了未来的研究方向和面临的挑战。

格值命题逻辑系统L_(2n+1)P(X)中基于半正则广义文字的自动推理算法

在格值命题逻辑系统L2n+1P(X)上,提出了半正则的正广义文字和半正则的负广义文字的概念,进一步给出了半正则广义子句和半正则广义子句集的定义,详细地讨论了L2n+1P(X)上以中界元M为归结水平的半正则广义文字之间的M-归结性,最后,给出了L2n+1P(X)上基于半正则广义文字的归结水平为M的归结自动推理算法,并验证了其可靠性和完备性。

格值命题逻辑系统L9P(X)中的自动推理算法

给出了格值命题逻辑系统L9P(X)上的放缩原理和放缩归结原理,基于放缩归结原理,给出了一种判断L9P(X)上子句集S为M-可满足的自动推理算法(这里M为L9上的中界元),并证明了其可靠性和完备性。

基于自动推理技术的智能规划方法

对几种智能规划方法中利用的逻辑演绎与推理技术予以分析,分别介绍利用命题逻辑的基于可满足性的规划方法与规划系统,利用模态逻辑与析取推理的Conformant规划方法与规划系统,利用非单调逻辑的规划方法和利用模糊描述逻辑的Flexible规划方法,并结合国际规划竞赛和相关论文等的实验结论说明上述方法的有效性和可行性.最后,提出目前基于自动推理技术的智能规划方法所面临的挑战、可能的处理方法以及与之相关的研究热点与趋势.

亲属关系的逻辑意义及其自动推理

用一阶谓词逻辑设计了一个亲属关系的自动推理模型。首先,把亲属关系(称谓)视为谓词,相关的人物视为变元,把亲属关系和有关性质用"或"、"与"及"逆"等运算符号联结成亲属关系表达式。然后,选取11种基本的亲属关系作为亲属基元,并构造亲属基元转换和化简的九大定理,用以描写和定义其他一百多种亲属关系,从而形成亲属关系转换的核心知识库。最后,给出一种简洁的亲属关系转换算法,主要包括连接、求逆、化简和组配等运算。

一种基于集合符号的自动推理扩展方法

在多值逻辑Tableau推理的基础上,提出了一种基于集合符号的自动推理扩展方法.将符号集合作为真值,减少了Tableau的推理分枝,并可以将适合经典逻辑的推理方法和策略应用于其中,使得非经典逻辑推理经典化.使用SWI-PROLOG语言设计实现了基于集合符号的自动推理系统,在系统中使用集合符号方法,只需要在规则库中增加推理规则,即可生成规则程序,系统本身不需要任何的修改,因此一些适合于经典逻辑的推理方法和技巧就可以很容易地应用到多值逻辑、模态逻辑、直觉逻辑等非经典逻辑,也可以进一步推广到无穷值逻辑和含模糊量词(如T-算子和S-算子)的逻辑中,对于无穷值逻辑和模糊逻辑的Tableau方法研究具有一定的借鉴作用.对TPTP中的900个逻辑问题进行了证明,实验结果表明,系统在时间和空间上效率都是较高的.

一个基于知识库及其自动推理机制的ICAI(化学)系统

设计并实现了一种新型的ＩＣＡＩ系统．该系统以自动推理技术为基础，利用化学知识库，不仅实现了ＩＣＡＩ的知识集散功能，还成功地实现了知识揭示功能．不同于常规ＩＣＡＩ的单纯检索－播放作用，该系统还具有化学用语层次上的人－机交互、基于自动推理的化学式与中文名称的双向翻译、化学问题求解等多种智能功能．该系统还具有开放性，可以让用户在使用中调整系统的性能、补充存储的知识信息．该文比较了新型系统与流行的常规系统的主要异同点。

一种基于大知识库的亲属关系自动推理模型

我们采用"大知识库—小运算"的技术路线,提出一个汉语亲属关系的自动推理模型。首先,在充分研究汉语亲属关系的词汇—语法表达的基础上,给汉语常见的亲属关系及其情景语义建立认知模型。然后,据此构造大型的汉语亲属关系知识库,包括外围知识库和核心知识库两种。前者详尽列举亲属名词和称呼动词所涉及的各种句式,并给出相应的语义表达式;后者包括三个子库:性质库(刻画亲属关系中的性别、长幼等属性)、逆判断库(刻画"父—子"等反对称关系对子)和传递库(刻画通过中介人把称呼人与被称呼人联系起来的各种路径,共计3 600余条)。在此基础上,形成了一个汉语亲属关系自动推理模型,可以在已知ABC三边关系的任意两边时快速地推导出未知的另一边关系。

基于AJAX和自动推理技术构建交互式数学Web服务

数学辅助学习平台一直是数学教育和计算机领域的研究热点。传统设计方法在教学互动、智能教育和界面友好性等环节存在若干制约因素。集成领先的AJAX思想和成熟的自动推理算法,提出新的数学Web服务系统设计方法,辅以MathML数学表示语言等多项先进技术,构建一个交互式数学Web服务学习平台。实际运行结果表明,平台具有良好的表现形式和运行性能,为使用者提供一个良好的交互式学习环境。

基于结构分析的局部Gibbs抽样自动推理算法

提出一种基于结构分析的局部Gibbs抽样的贝叶斯网络推理算法(S-LGSI).S-LGSI算法基于联合树算法的概率图模型分析思想,对贝叶斯网络进行精确分解,然后根据查询结点和证据结点生成具有强相关性的局部网络模型,进而对局部网络模型进行Gibbs抽样推理.与当前基于抽样的其它近似推理算法相比,该算法降低推理的计算维数.同时,由于局部抽样模型包含了与查询结点相关的重要信息,因此该算法保证局部抽样推理的精度.算法分析和在Alarm网的实验结果表明,S-LGSI算法较显著降低时间复杂度,同时也提高推理精度.S-LGSI算法应用于上海证券交易所股票网络的推理结果与实际情况基本一致,表现出较强的实用性.

基于tableau的自动推理技术综述

tableau方法是一种接近于逻辑系统表示的自动推理方法,由于其直观性和通用性,易于计算机实现,成为目前最普及的自动推理方法之一。在提高系统效率方面,主要在相关技术和策略、理论和方法等方面进行了分析,并展望了未来的研究方向。

基于路径搜索的格值命题逻辑自动推理方法

提出一种基于路径搜索的自动推理算法.除了采取预处理外,还采用了动态的删除策略,使对大部分路径的搜索变成对一条路径搜索.可快速地完成对一类格值命题逻辑中的任何一个子句集可满足性与不可满足性的判定.文中还讨论了该算法计算的复杂性.

智能教学系统中自动推理模块的设计与实现

以本实验室研制的约束逻辑程序设计系统BPU-CLP为基础,研制了一个适用于中学数学,面向学生的智能教学系统BPU-ITS-Math.介绍了BPU-ITS-Math的自动推理模块的设计方法和实现技术,BPU-ITS-Math采用经典的StripS算子表达规则,用BPU-CLP语言的程序实现学科知识库、题库和通用推理机.以中学教学求函数值域问题为例,详细介绍了规则的设计方法和表达方式,并且给出了通用推理机的向后推理算法.当前BPU-ITS-Math已成功地解决了200余道求函数值域的习题.

自动推理及其在数学教育中的应用

自动推理是人工智能中最成功的部分．自动推理的基本思想就是希望对一类一类问题分别给出一个一个确定的、能够机械地执行的解决方案．凡是用到计算机的地方，或多或少都要用到自动推理．自动推理在数学教育中的应用主要表现在几何作图、符号运算、几何证明、动画设计和机器学习等方面．我国在数学机械化的应用上有一些先进成果，但是在自动推理平台方面，还远远落后于世界先进水平，智能软件的开发需要长期努力．

基于决策树的多维属性自动推理识别

现有的决策树分类在属性识别的应用中存在一定的不足,如样本数据属性类别必须事先已知,无法做到自动推理等。针对以上不足,本文提出一种基于决策树的多维属性自动推理的机器学习识别模型。通过引入属性相似度度量策略和机器学习的方法,实现多维属性的自动推理和识别。实验结果表明,该模型能有效地对多维属性进行自动分类,准确率达到93%左右,且识别的最终得分score均在0.71以上,能很好地满足属性自动识别的需求。

基于状态演算的通用游戏系统的自动推理

为提高通用游戏系统的自动推理能力,提出了基于状态演算的通用游戏系统的自动推理方法,并将其作为推理模块构建了通用游戏系统模型。利用状态演算逻辑程序设计语言(state calculus executor,STEX)实现通用游戏的状态更新与动作推理,给出了基于状态演算的通用游戏系统模型的功能模块设计,最后利用prolog语言实现了各功能模块,调试系统并进行实例验证。实验结果表明,采用了基于状态演算的自动推理方法,得到较好的游戏成绩,提高了游戏系统的自动推理能力。

基于等高线的几个自动推理问题

在数字化背景下,人们更多地利用像数字高程模型或数字地形高程模型这样的数字产品来处理类似地形推理的一些问题,而都没有讨论根据一组地形等高线进行推理的可供选择的办法。详细论述如何利用等高线来进行查询点的高程、方向角和坡度等地形要素的推理计算。

自动推理与教育软件智能平台

阐述了如下内容：①自动推理的发展与教育技术；②教育软件智能平台的基本构成；③教育软件智能平台应有的功能，并进行了教育软件智能平台实例演示．

基于消点法的几何自动推理系统实现

为了实现几何自动推理的可读性证明,并提高推理效率,介绍了一个基于消点法的可构造性几何命题自动推理系统的设计与实现。该系统提供作图的方式接受用户的几何命题前提条件的输入,可以对初等几何中的大部分可构造性几何问题进行自动证明和求解,并生成可读的证明步骤,大大方便了初高等几何教育和相关研究者的需要。