自动推理

摘要： 张景中先生于1936年12月出生于河南省汝南县.1954年考入北京大学数学力学系,1979年起在中国科学技术大学数学系任教.1985年起在中国科学院成都分院工作,先后担任数理科学研究室研究员、副主任、主任、中国科学院成都计算机应用研究所副所长、名誉所长.1995年当选中国科学院院士.1995年8月参与创建广州师范学院(今为广州大学)教育软件研究所,2005年参与创建华中师范大学数字化学习工程技术研究中心,2009年参与创建电子科技大学计算机推理与可信计算实验室,2011年8月参与创建中国科学院重庆绿色智能研究院自动推理与认知重庆市重点实验室.1999-2007年担任中国科普作家协会理事长.

摘要： 扩展规则推理方法在经典的可满足性问题求解中已得到广泛应用,若干个基于扩展规则的推理方法已被提出,皆得到国内外的认可,例如完备的NER,IMOMH_IER,PPSER算法以及基于局部搜索的不完备算法ERACC等,都具有良好的求解效果.其中,ERACC算法是当前扩展规则求解器中求解效率最高、能力最强的算法.但是,串行的ERACC算法在启发式和预处理上仍然具有可提升的空间.基于此,设计了相应的并行框架,提出了 PERACC算法.该算法基于格局检测的局部搜索方法,从变量赋初始值、化简解空间和启发式这3个阶段出发,将原极大项空间分解成为若干极大项子空间,并对原子句集进行化简后,并行处理各个子空间.通过实验显示:该算法与原算法相比,不仅在求解效率方面有较大提高,而且可以求解规模更大的测试用例,使扩展规则方法再次突破公式规模的限制.

摘要： 由张景中院士主导,在十数位专家的共同研发下,新型的教育媒介“Z+Z智能教育平台”最终面试,它的身上凝聚着众多专家的科研智慧,代表着自动推理和知识工程领域的最高水准,融合了多种先进软件技术,被赋予了更加多样性的功能,至于使其成为了目前最先进的教育软件之一,走在了时代的前列.

摘要： 在经典的可满足性问题求解中,针对处理模型数较少的实例,SWcc迭代法和SWcc优化增量法与完备的模型计数方法相比,求解适用性更高,但SWcc迭代法和SWcc优化增量法均为串行求解方法,没有对解空间进行剪枝、化简等处理.本文基于此设计了基于格局检测的并行模型计数算法.该算法以化简解空间和启发式为核心,将原解空间分解成为若干子空间并对原子句集进行化简后,并行处理各个子空间.实验结果表明:对于模型个数较少、公式规模较大的问题,该算法比原算法更具有适用性.

摘要： 提出一种新的基于扩展规则的#SAT求解算法NCER,该算法在#ER的基础上加入启发式策略.该策略每次选择当前子句集的最长子句来减小极大项空间,使得递归调用的次数减少,从而加快求解效率.为解决基于扩展规则的#SAT求解器在互补因子较小的样例上的不良表现,结合NCER和CDP的优点提出混合#SAT求解算法NCDPER.实验结果表明:NCER较先前的#ER在所有85个随机SAT测试用例上有了显著的提高.通过与目前最好的基于扩展规则的#SAT求解器的比较,该求解器具有更好的性能.

摘要： 为了达到推理算法形式化描述的目的,本文采用细胞膜演算的形式化方法描述带子句学习的DPLL算法.分别定义了部分赋值、变元反转、回溯、回跳最大层、细胞膜溶解等反应规则,给出了DPLL的一般过程和冲突分析过程的描述.通过一个算例的求解过程验证了该形式化描述方法的可行性.依赖细胞膜演算可以更直观、简洁地展现推理算法的推理过程,同时展示了膜演算的描述能力和处理能力.

摘要： 为了解决教师作业批改任务重,反馈不及时的问题,根据离散数学课程知识体系结构、习题特点以及教学大纲要求,设计并实现了针对离散数学的实时判卷系统.该系统主要包括作业布置、完成作业、自动判卷和个性化推荐等功能模块.教师可以通过该系统布置作业、查看作业完成情况;学生可以通过该系统完成作业,包括客观题和主观题的快捷输入、自评查看等.由于实时判卷系统能将学生作业情况快速地反馈给学生和授课教师,从而有效地促使学生自主学习,显著减轻教师作业批改的工作量.

摘要： 统一的抽象建模框架以及形式化表示可以帮助实现自动推理.随着物联网技术的发展,物理世界中嵌入了各种智能对象,改变了物理世界的部分特征,增加了建模和推理的复杂性.根据物联网带来的智能世界的特征,在知识重构与抽象模型(KRA模型)的统一建模框架基础上,提出了可区分的知识重构与抽象模型(dKRA模型).该模型通过3个相互关联的子模型及其之间的关系来表示智能世界,并给出相关定义和定理说明在所提出的模型框架内,可以将基于模型的诊断过程限制在一个(或多个)子模型中.研究内容侧重于系统设计阶段的模型验证,分别从理论和实验角度分析了基于智能世界dKRA模型的诊断过程时间效率的提高(与基于智能世界KRA模型的诊断过程相比)。

摘要： 本文对焊接专家系统技术和CAPP技术进行了研究，并将焊接专家系统技术融入到了CAPP系统中，开发了基于C/S的弧焊专家系统CAPP，使普通CAPP具有自动推理焊接工艺参数的功能，不仅缩短了工艺设计周期，提高了生产效率，还能使工艺标准化，便于查询和管理。本系统设计了用户权限，具有较高的稳定性和安全性。

摘要： 为了提高格值命题逻辑LP(X)中的α-归结原理的推理效率，将语义归结策略应用于α-归结原理，讨论了格值命题逻辑LP(X)中的α-语义归结方法，并证明了该方法的可靠性和弱完备性，为基于格值逻辑的归结自动推理提供一定基础。

摘要： 本文针对飞机数字化设计过程中，基于知识工程理念，应用CATIA软件的二次开发技术，开发了孔特征快速生成模块，实现了飞机结构中孔设计建模的标准化、规范化和快速生成功能；经实际型号任务的应用，孔的设计效率的提高和规范性的改善在设计过程中取得良好效果。

摘要： 本文针对飞机数字化设计过程中，基于知识工程理念，应用CATIA软件的二次开发技术，开发了孔特征快速生成模块，实现了飞机结构中孔设计建模的标准化、规范化和快速生成功能；经实际型号任务的应用，孔的设计效率的提高和规范性的改善在设计过程中取得良好效果。

摘要： 本文针对飞机数字化设计过程中，基于知识工程理念，应用CATIA软件的二次开发技术，开发了孔特征快速生成模块，实现了飞机结构中孔设计建模的标准化、规范化和快速生成功能；经实际型号任务的应用，孔的设计效率的提高和规范性的改善在设计过程中取得良好效果。

摘要： 本文针对飞机数字化设计过程中，基于知识工程理念，应用CATIA软件的二次开发技术，开发了孔特征快速生成模块，实现了飞机结构中孔设计建模的标准化、规范化和快速生成功能；经实际型号任务的应用，孔的设计效率的提高和规范性的改善在设计过程中取得良好效果。

摘要： 为了改进Horn逻辑的推理效率,本文提出了一个基于广义与或图的线形推导模型.该模型可以清晰地表示变量约束,Horn逻辑中一次成功的推导在该模型中被表示为一个解路径.问题求解即为搜索.本文还讨论了广义与或图搜索在Horn逻辑推理当中的应用.

摘要： 为了改进Horn逻辑的推理效率,本文提出了一个基于广义与或图的线形推导模型.该模型可以清晰地表示变量约束,Horn逻辑中一次成功的推导在该模型中被表示为一个解路径.问题求解即为搜索.本文还讨论了广义与或图搜索在Horn逻辑推理当中的应用.

摘要： 为了改进Horn逻辑的推理效率,本文提出了一个基于广义与或图的线形推导模型.该模型可以清晰地表示变量约束,Horn逻辑中一次成功的推导在该模型中被表示为一个解路径.问题求解即为搜索.本文还讨论了广义与或图搜索在Horn逻辑推理当中的应用.

摘要： 本发明涉及一种基于时序QAR参数曲线聚类的重着陆成因自动推理方法及系统，属于机器学习领域。该方法根据QAR参数中VRTG峰值的出现时刻对重着陆情况进行了系统分类，并进一步根据重着陆的成因将第一类重着陆细分为I‑1、I‑2和I‑3三种子类型，然后从IVV、PITCH、HEIGHT等关键参数曲线中特征提取特征向量，并利用K‑means聚类算法对特征向量进行聚类，最后与人工分类的结果进行了比较，从而实现第一类重着陆的成因自动推理。实验结果显示，本发提出的算法分类准确率高达93.1％，且对I‑2和I‑3型重着陆的预测准确率达到了100％，能够很好地实现第一类重着陆的成因自动推理。

摘要： 本发明公开了一种基于转换结点的水路桥接支流流向自动推理方法，首先，建立两项河口及主流统计识别准则；其次，基于主支流拓扑连接关系，构建主流K阶邻近场，并以编码形式进行描述；最后，以空间邻近关系作为约束，进行“全局”与“局部”方式流向推理一致性判断，探测“分割河段”以对桥接支流进行隶属主流划分，进而依据隶属主流完成支流流向自动推理，从而克服传统方法的不足。

摘要： 本发明提供一种法律三阶层论自动推理方法、装置和电子设备，其中，所述方法包括：基于多轮交互信息构建法律事件演化交互图谱；将所述法律事件演化交互图谱输入预训练推理模型，得到法律事件的推理结果；所述预训练推理模型是利用三阶层论对所述法律事件演化交互图谱中不同知识类型的命题表示进行结合后生成的命题概率化表示进行构建得到。由于预测的路径是基于法律三阶层论推理生成，该预测能够有充分的解释性，例如可以解释清楚要件合法性命题成立的情况以及支持它的概率大小，进而提供为法律决策提供预测和证据支撑。

摘要： 本发明公开了一种基于自动推理机制的接管巡航系统，该系统主要用于自动驾驶中，能够根据给定离线样本生成基于隐变量的多模态的驾驶策略网络，以实现通用自动驾驶功能。同时，该系统还可以在用户采用手动驾驶时根据手动驾驶的风格来自动生成与之相匹配的自动驾驶策略，以实现在公路上从手动驾驶模式到自动驾驶模式之间的平滑转换，使得自动驾驶能够完美的模拟手动驾驶的驾驶风格。本发明包括：判别器模块，驾驶策略生成模块，驾驶风格自动推理模块。该模型是在给定的真实专家示范上进行训练的，具有可靠性。同时，在用户手动驾驶的过程中，模型会根据手动驾驶轨迹进行实时的调整，以增强其灵活性。

摘要： 本发明提供一种基于行为规则引导仿真的故障场景自动推理方法，其包括以下步骤：S1：根据专家系统相关知识，建立故障行为规则，建立故障行为规则包括建立规则库、建立事实库以及建立推理引擎；S2：选择广度优先搜索遍历算法、遍历故障机理和A*算法优化部件层的推理；S3：通过建立的推理算法自动推理系统的故障场景；S4：利用蒙特卡罗的方法求解故障场景概率和。本发明在系统进行故障场景自动推理的过程中，故障行为规则会引导系统优先产生分析人员感兴趣的故障场景，进而在一定程度上解决了生成故障场景时的分枝爆炸问题。

摘要： 本发明涉及一种电力系统，具体是一种电力大数据自动推理平台及电力分配系统,数据采集器并网设置在所述电网终端上，所述计算模块与所述数据采集器通讯，所述预测模块同所述计算模块连接，所述反馈模块与所述预测模块连接，用于将所述预测模块推导的下一时间节点的用电量发送至调度中心。利用数据采集器可周期性的采集用户当期的用电量，并将当期的用电量发送至计算模块中，计算模块将往期数据采集器采集的数据和当期的数据相加并求得平均数，计算模块将求得的平均数发送给预测模块，预测模块根据该数据推算出下一周期该用户的用电量。

摘要： 本发明公开了一种基于转换结点的水路桥接支流流向自动推理方法，首先，建立两项河口及主流统计识别准则；其次，基于主支流拓扑连接关系，构建主流K阶邻近场，并以编码形式进行描述；最后，以空间邻近关系作为约束，进行“全局”与“局部”方式流向推理一致性判断，探测“分割河段”以对桥接支流进行隶属主流划分，进而依据隶属主流完成支流流向自动推理，从而克服传统方法的不足。

摘要： 本发明提供一种法律三阶层论自动推理方法、装置和电子设备，其中，所述方法包括：基于多轮交互信息构建法律事件演化交互图谱；将所述法律事件演化交互图谱输入预训练推理模型，得到法律事件的推理结果；所述预训练推理模型是利用三阶层论对所述法律事件演化交互图谱中不同知识类型的命题表示进行结合后生成的命题概率化表示进行构建得到。由于预测的路径是基于法律三阶层论推理生成，该预测能够有充分的解释性，例如可以解释清楚要件合法性命题成立的情况以及支持它的概率大小，进而提供为法律决策提供预测和证据支撑。

摘要： 本发明公开了一种基于自动推理机制的接管巡航系统，该系统主要用于自动驾驶中，能够根据给定离线样本生成基于隐变量的多模态的驾驶策略网络，以实现通用自动驾驶功能。同时，该系统还可以在用户采用手动驾驶时根据手动驾驶的风格来自动生成与之相匹配的自动驾驶策略，以实现在公路上从手动驾驶模式到自动驾驶模式之间的平滑转换，使得自动驾驶能够完美的模拟手动驾驶的驾驶风格。本发明包括：判别器模块，驾驶策略生成模块，驾驶风格自动推理模块。该模型是在给定的真实专家示范上进行训练的，具有可靠性。同时，在用户手动驾驶的过程中，模型会根据手动驾驶轨迹进行实时的调整，以增强其灵活性。

摘要： 本发明提供一种基于行为规则引导仿真的故障场景自动推理方法，其包括以下步骤：S1：根据专家系统相关知识，建立故障行为规则，建立故障行为规则包括建立规则库、建立事实库以及建立推理引擎；S2：选择广度优先搜索遍历算法、遍历故障机理和A*算法优化部件层的推理；S3：通过建立的推理算法自动推理系统的故障场景；S4：利用蒙特卡罗的方法求解故障场景概率和。本发明在系统进行故障场景自动推理的过程中，故障行为规则会引导系统优先产生分析人员感兴趣的故障场景，进而在一定程度上解决了生成故障场景时的分枝爆炸问题。