基于逻辑规则的图谱推理在烟草生产工艺防差错中的应用

文章研究了基于逻辑规则的图谱推理在烟草生产工艺防差错中的应用。通过挖掘烟草生产工艺中用户的操作习惯、设备的控制逻辑特性、生产设备的属性、产品工艺风险点的属性以及生产设备控制逻辑和工艺事故之间的关系等已有信息,进行调查并建立逻辑规则。结合实际案例分析,验证了该方法的有效性和实用性,其支持提高工艺防差错识别的速度和精度。研究结果对于提高烟草生产工艺的稳定性和可靠性具有重要意义,并为其他类似行业的防差错提供了有益的参考。

融入逻辑规则的知识图谱推荐模型研究

知识图谱嵌入技术已在推荐系统领域引起广泛关注,将结构化知识图谱中的信息融入到推荐模型中,可以提高推荐的个性化程度。然而,因为初始数据的不准确性会导致推荐结果不正确,现存的知识图谱推荐模型中仍存在误差传播问题。针对这个问题,该文提出了RR-KGE模型,由知识图谱嵌入模块和推荐算法模块组成;其中聚焦于知识图谱嵌入框架,将规则嵌入和知识图谱嵌入进行联合学习,通过规则给予模型更多的约束条件,以减少误差传播;并结合此框架将推荐算法ALS(Alternating Least Squares)和RNN(Recurrent Neural Network)相融合来获得更加精确的推荐结果;最后将RR-KGE与不同基准模型进行比较,在两个数据集上多项指标均优于对比模型,证明了推荐方法的有效性。

基于逻辑规则的单点公交优先控制策略

为了增加公交优先控制策略的多样性,面向无公交专用进口道的单个信号控制交叉口,在改进的双环相位结构下,设计了一种基于逻辑规则的单点公交优先控制策略,该逻辑规则包括优先请求产生规则、绿灯时间调整规则和半环间相位切换决策规则,优先请求产生规则可以生成延长归属相位绿灯时间或缩短归属相位红灯时间的优先请求,绿灯时间调整规则和半环间相位切换决策规则用以响应优先请求、延长或切断机动车相位的绿灯时间。利用Vissim建立仿真模型,对基于逻辑规则的单点公交优先控制策略和一种单点感应控制策略进行了测试。方差分析结果显示:与后者相比,前者能够显著降低优先公交车辆的平均等待时间;同时,二者产生的交叉口车均延误未见显著差异。

基于描述逻辑规则的语义Web服务组合

针对OWL-S语义Web服务自动组合问题,提出了一种基于描述逻辑(DL)规则的建模和组合方法.将ServiceProfile中的原子服务及其输入、输出参数分别建模DL中角色和概念,将概念间上下位关系和ProcessProfile中组合流程模型建模为DL规则,以一种统一的方式刻画语义Web服务的静态功能语义和动态交互特征;提出了刻画顺序服务组合的DL规则链和描述Split+Join结构的服务组(WSC)模型,将并发服务组合转为基于WSC的顺序组合,将语义Web服务组合归结为WSC和DL规则链发现过程.与已有的方法相比,该方法将语义Web服务组合问题统一在DL规则的框架下,弥补了基于DL无法描述Web服务动态特征的缺陷,避免了Petri网推理和谓词演算等进行Web服务组合时限于命题逻辑层面无法充分利用语义信息的问题,也克服了基于智能规划的组合方法限于顺序组合的问题.

基于逻辑规则的语义缓存查询处理优化技术

语义缓存在移动计算环境中有着非常广阔的应用前景.查询处理是语义缓存的一个关键问题,但是现有的查询处理算法在时空效率和裁剪结果的复杂度两个方面存在很大的局限性,这在一定程度上限制了语义缓存的实用性.为了克服这些缺陷,作者首先给出并证明了用于优化查询裁剪的逻辑规则;基于这些规则,给出了剩余查询的裁剪算法;最终给出了只需进行剩余查询裁剪的优化查询处理算法.算法分析从理论上证明了该优化机制的有效性,同时,仿真实验的性能比较也表明该优化方法在提高查询裁剪时空效率和降低剩余查询复杂度等方面都要明显优于没有优化的方法.

水温控制系统的逻辑规则控制研究

设计了基于逻辑规则控制算法的水温控制系统。该系统是基于泛布尔代数理论,根据水温控制系统的控制经验,按照一系列控制规则调节PWM脉冲的占空比大小,从而调节了加热设备的输出功率。实际测试表明,系统超调量小,上升时间快,且控制方便,易于实现,控制精度最高可达到0.1℃。

基于逻辑规则的递归查询之自底向上处理

八十年代中期,数据库技术和人工智能、辑逻程序设计技术的结合导致了一个新的领域——知识库(演绎数据库)的诞生。为了有效地实现知识库,必须有效地处理由逻辑规则表示的查询。这方面的研究看来正在引起逻辑查询处理方法的重大变革。本文简略考察逻辑查询自顶向下和自底向上求值的基本思想,比较其相对优缺点,阐述开发自底向上算法的动机,并着重介绍和评述过去五、六年中开发的以魔集为代表的逻辑查询的自底向上算法。

数据库中的模糊逻辑规则发现

关联规则是数据库中的知识发现(KDD)领域的重要研究课题。模糊关联规则可以用自然语言来表达人类知识,近年来受到KDD研究人员的普遍关注。但是,目前大多数模糊关联规则发现方法仍然沿用经典关联规则发现中常用的支持度和置信度测度。事实上,模糊关联规则可以有不同的解释,而且不同的解释对规则发现方法有很大影响。从逻辑的观点出发,定义了模糊逻辑规则、支持度、蕴含度及其相关概念,提出了模糊逻辑规则发现算法,该算法结合了模糊逻辑概念和Apriori算法,从给定的定量数据库中发现模糊逻辑规则。

推理能力与逻辑规则——“沃森选择任务”论争的辨析

一直以来逻辑规则被认为是人们进行正确推理的依据。但是,1966年“沃森选择任务”(Wasonselectiontask)实验的结果似乎表明人们的实际推理可能不遵守逻辑规则。这一问题已成为认知科学最重要的问题之一,逻辑学家和心理学家也一直争论到现在。本文通过分析各种理论对“沃森选择任务”的解释,表明人类的推理能力与逻辑规则并不冲突。

再热汽温控制系统的逻辑规则控制研究

针对火电厂再热汽温控制系统的大惯性、大迟延和时变性,设计了基于逻辑规则控制算法的再热器温度控制系统。仿真研究表明,该策略的控制效果优于常规的PID控制,能适应对象参数的变化并表现出良好的控制品质,具有较强的鲁棒性和自适应能力。

试论司法裁判中经验法则和逻辑规则的运用

由于法官没有亲临案件的发生,因此,只能依靠当事人提供的证据来认定案件事实。经验法则与逻辑规则是架构证据与案件事实的重要渠道。法官对证据进行深入细致的审查,全面地分析判断证据之后,可运用经验法则厘清证据的真伪,从而达到合理地进行事实认定,证据的证明性则应由逻辑方法来解决。逻辑规则与经验法则在法律适用中相互补充,法官在运用经验法则进行认证时,切不可只注重经验而忽视逻辑的作用。审判人员审核证据时既要运用逻辑推理,又要依据日常生活经验来对案件所有证据进行全面而客观的考量,力求查清案件事实的真相,从而更好地实现法律的公平正义。

民警临场处置中的语言思维:论证的要素、逻辑规则和谬误

在民警的临场处置中,当事一方提供一些理由为自己的观点进行辩护的过程,实质上是一种论证活动。为了评价对方的论证和构建自己的论证,必须遵守相关的逻辑规则,它包括一般规则和关于论证要素的具体规则。一个好的论证,必须是一个避免谬误的论证。谬误中最常见、最复杂的是非形式谬误。非形式谬误产生的原因很复杂,动机、粗心大意和情绪化的结合以及未受检验的世界观这三个因素是大部分非形式谬误产生的原因。

定名——概念的逻辑规则与概念系统

本文从逻辑学的视角研究、分析了概念的逻辑规则、术语的概念系统和现行国际标准中的有关内容,并尝试建立了概念、音位、词汇、句法等规则的整合模型。

黑尔关于道德推理的图式及逻辑规则

在黑尔看来,道德推理必须具备四个要素,即事件之事实,道德判断的逻辑架构,意向、欲望及偏好,想象力;同时应遵循一条普遍的逻辑规则,即任何没有隐含在诸前提的关联性之中的东西,不可能出现在一种对其意义本身之有效演绎推论的结论之中。黑尔对道德推理图式及逻辑规则的论证无疑具有合理性,但也存在一些逻辑性漏洞。

道路运输达标车型技术判定逻辑规则研究及系统功能设计

随着车辆生产企业的发展,营运车辆产品线逐渐变广,细分市场和定制化产品的数量日益增多,市场要求愈发急切。另一方面,由于达标车型技术法规、标准的全面实施,公告监管流程的逐步严格,现有的准入资源管理与质量控制水平逐渐难以适应企业、市场、监管部门的需求。为更好地提升达标车型技术管理服务水平,有效提高技术审查质量和工作效率,加快传统工作模式转型,减轻审查工作对人员的依赖。因此,本文构建达标车型技术判定逻辑规则,为后续科学、合理地开发道路运输达标车型智能化审查实际运用提供基础,为行业构建安全、节能、高效的综合运输体系提供强有力的支持。

基于逻辑规则的单交叉口自适应控制方法

为了优化单点交叉口信号控制方案,实施自适应控制措施,提出一种基于逻辑规则和优化模型的交叉口自适应控制方法。优化进口道检测器布设方案,车辆数据通过进口道多组检测器采集获取。逻辑规则以各进口道红灯期间排队车辆数和绿灯期间到达车辆数为基础数据,以交叉口通行能力为决策目标,进行相位切换决策判断。建立相位放行时间优化模型,优化相位切换决策后主要相位放行绿灯时长,避免车辆二次排队和相位绿灯期间单方向车流放行。运用VISSIM仿真软件,对比分析该自适应控制方法与感应控制方法和定时控制方法的控制效果。结果表明:该自适应控制方法下交叉口延误主要与饱和度相关,其延误数值均明显小于其他两种控制方法。

基于控制逻辑规则式的皮带运输控制系统研究

皮带运输系统是一个以传动装置带动输送带运转来运送散件物料的运输设备,其控制系统是一个典型离散事件控制系统和按顺序启停的实时控制系统。文中采用接近自然语言的逻辑规则化语言把系统各种控制转化了逻辑层次的直观描述,明确设备间的逻辑控制关系,优化了皮带运输系统的控制结构。方便了设备操作人员、系统开发人员以及此领域的专家进行系统的维护、修改和开发。

关于《中图法》中的立类、列类与逻辑规则的浅析

《中图法》(第二版)是一部比较科学、比较实用的图书分类法。它是以图书内容的学科属性为类目划分的主要标准,以客观性与发展原则作为立类、列类的客观依据,以逻辑性原则作为立类、列类的科学方法。

基于VAP逻辑规则的交通感应控制改进算法

提出了基于逻辑规则的交通感应控制改进算法,改进设计交叉口车辆排队联动控制逻辑规则,以及非机动车与行人过街自动检测控制逻辑规则,采用VAP(Vehicle Actuated Programming)模块完成逻辑规则编程设计。通过锦绣大道与始信路交叉口仿真分析,结果表明,相比传统感应控制,在车辆延误变化不大的前提下,本算法更有效降低交叉口车辆平均排队长度和缩短行人过街平均行程时间。