逻辑程序设计

摘要： 智能体一直是人工智能的主要研究领域之一,任何独立的能够同环境交互并自主决策的实体都可以抽象为智能体.随着人工智能从计算智能到感知智能,再到认知智能的发展,智能体已逐步渗透到无人驾驶、服务机器人、智能家居、智慧医疗、战争武器等人类生活密切相关的领域.这些应用中,智能体与环境、尤其是与人类和社会的交互愈来愈突出,其中的伦理和道德问题日益凸显.人工智能应用的伦理风险和挑战引起了人们的普遍关注,伦理智能体是人工智能伦理的重要研究内容.本文从人工智能伦理的工程设计与实现角度,对伦理智能体及图灵测试、伦理智能体的设计范式、伦理智能体的逻辑程序设计、伦理智能体的形式化验证、伦理困境及分析等进行了介绍和讨论.同时,对伦理智能体及设计所面临的挑战和进一步研究方向进行了述评和展望.

摘要： 基于逻辑的计算机语言的出现，为一些逻辑问题提供了更高效的解决途径。文章基于经典的逻辑推理问题，分别按照人类的正常思维过程和逻辑程序设计两种方案，分析推理得到问题的解，并比较总结逻辑程序的特点、优势和应用前景。

摘要： 基于回答集语义的逻辑程序(ASP)是一种描述性问题求解的典范,目前人们提出了各种ASP的扩张.本文提出带背景理论的回答集程序设计框架,它不仅是正规逻辑程序的一般化,对带聚合函数的ASP而言,也与SPT-PDB的回答集语义一致.经证明,当背景理论是命题逻辑时,该框架与Shen和You提出的方法一致.

摘要： 学习是智能主体拥有的重要特征,机器学习研究计算机如何模拟并实现人类的学习行为.归纳逻辑程序设计作为机器学习的核心方法之一,不仅充分发挥了逻辑技术的优势,而且极大提高了人类改造客观世界的能力.深入探讨归纳逻辑程序设计的研究现状与未来技术走向,对机器学习其他领域有借鉴意义.

摘要： 随着国家对信息技术及学生信息素养培养的重视，高中的信息技术被作为了必修内容，并且知识体系更加完善和具有渗透性。在高中的数学中就出现了逻辑程序设计的内容并作为高考的一个必考点，因此对高中信息技术的授课要求更加高了。

摘要： 归纳逻辑程序设计是机器学习与逻辑程序设计交叉所形成的一个研究领域,克服了传统机器学习方法的两个主要限制:即知识表示的限制和背景知识利用的限制,成为机器学习的前沿研究课题.首先从归纳逻辑程序设计的产生背景、定义、应用领域及问题背景介绍了归纳逻辑程序设计系统的概貌,对归纳逻辑程序设计方法的研究现状进行了总结和分析,最后探讨了该领域的进一步的研究方向.

摘要： 归纳逻辑程序设计是机器学习与逻辑程序设计交叉所形成的一个研究领域，克服了传统机器学习方法的两个主要限制：即知识表示的限制和背景知识利用的限制，成为机器学习的前沿研究课题。首先从归纳逻辑程序设计的产生背景、定义、应用领域及问题背景介绍了归纳逻辑程序设计系统的概貌，对归纳逻辑程序设计方法的研究现状进行了总结和分析，最后探讨了该领域的进一步的研究方向。

摘要： The use of pruning operators in logic programming is to reduce the search space of computations. The importance of pruning operator in logic programming was discussed. However, the implementation of traditional pruning operator may cause some semantic problems. We discussed the GOdel pruning operator, called the commit, which could be used to prune away parts of a search tree and can affect the completeness of the search procedure. In this perspective, we proposed the method to realize the control facility in logic programming language which could support the fully implementation of G6del language.%论述了逻辑程序设计中剪枝算子的作用及传统剪枝算子的过程性语义和说明性语义不一致问题;介绍了新型逻辑程序语言G(o)del中的commit剪枝算子;通过引入一组定义描述其过程语义,并进一步阐述了剪枝算子和延迟计算规则之间的关系,计论了G(o)del语言的剪枝策略及控制机制,从而为逻辑程序语言的实现提供了依据.

摘要： 为提高电力系统供电可靠性.通过对备自投程序逻辑设计进行详细分析,并以验收220 kV某变电站220 kV备自投的过程中发现的程序逻辑问题进行讨论,提出了符合现场实际改进措施,为验收备自投装置提供一些经验和帮助.

摘要： Prolog语言是人工智能与专家系统领域最著名的逻辑程序设计语言,Visual Prolog综合了逻辑程字设计与面向对象技术的特点.本文首先介绍了Prolog语言的发展史,重点分析了Visual Prolog逻辑程序设计的特点及面向对象程序设计的特点,最后对Visual Prolog可视化开发环境VDE及与C语言的接口作了介绍.

摘要： 介绍了基于LPC 总线的POST80 LED的硬件和逻辑程序设计方法及仿真结果,并且结合LPC 总线的帧结构,详细讲解了逻辑程序状态机设计。该设计成功的应用于高性能的嵌入式工业计算机平台。

摘要： Fitting提出一种逻辑程序设计语言proflog,并把表推演机制作为语言的过程语义,表推演具有直观、灵活的特点,它的单步扩展规则具有很强的语义特征,它是扩展逻辑程序类的另一个理想的证明论.不过proflog包含了全部一阶理论,等词的替换性使得proflog过程语义比较复杂,在此提出讨论一种受限的程序语言cProflog,它包含函词,但限制了等词的替换性,体现了表达能力与计算复杂性之间的平衡,对于逻辑程序语言cProflog,还给出了复杂性较低的表推演过程.

摘要： 本发明公开了一种可编程逻辑器件中逻辑程序下载状态的检测方法及装置，采用该技术方案，能够在可编程逻辑器件被使用前检测出逻辑程序是否成功下载。其中，逻辑程序用于为可编程逻辑器件提供运行逻辑，还用于为预设的一个或多个寄存器提供输入测试数据与输出测试结果的逻辑关系；主要检测过程包括：向一个或多个寄存器输入测试数据，并读取寄存器输出的测试结果；比较测试结果和预设的测试结果，该预设的测试结果根据逻辑程序为寄存器提供的逻辑关系以及输入的测试数据确定；若比较结果为一致，则确定该可编程逻辑器件中逻辑程序下载成功；否则，确定该可编程逻辑器件中逻辑程序下载失败。

摘要： 本发明的一种基于逻辑程序的关系型数据库搜索方法属于人工智能和计算机技术领域，包含两个步骤：第一步，首先基于分层搜索方法对搜索请求和关系型数据库进行匹配筛选处理，得到目标数据；第二步，然后将筛选后的目标数据自主映射成逻辑程序可识别的形式，即事实表，再结合所要搜索的请求和目标，生成相应的逻辑规则，并组合事实和规则进行求解。本发明提供一种动态的搜索模式，能够自主完成对数据库数据的映射及搜索，实现更人性化的查询，更好满足用户搜索需求。该方法还解决了因数据、条件、规则变更、系统维护以及数据知识推理需求的出现，普通查询无法解决的这种动态变化问题。

摘要： 本发明公开一种基于回答集逻辑程序的LPMLN推理方法，1、首先输入LPMLN程序和推理参数，其中推理参数包括强转化参数等，然后对输入的LPMLN程序进行语法分析，从而得到输入程序的Herbrand域以及关键的语法要素；2、根据步骤一中的强转化参数判断输入的LPMLN程序是进行强转化操作还是弱转化操作，并通过强转化或弱转化方法转化为对应的回答集程序；3、调用回答集程序推理机求解步骤二中转化得到的回答集程序；4、将步骤三中通过回答集程序推理机求解输出的可能世界变换为输入LPMLN程序所对应的推理结果。本发明能够在线性时间内将输入的LPMLN程序转化为相应的回答集程序，并利用回答集程序推理机实现其推理。

摘要： 本发明公开了一种可编程逻辑器件中逻辑程序下载状态的检测方法及装置，采用该技术方案，能够在可编程逻辑器件被使用前检测出逻辑程序是否成功下载。其中，逻辑程序用于为可编程逻辑器件提供运行逻辑，还用于为预设的一个或多个寄存器提供输入测试数据与输出测试结果的逻辑关系；主要检测过程包括：向一个或多个寄存器输入测试数据，并读取寄存器输出的测试结果；比较测试结果和预设的测试结果，该预设的测试结果根据逻辑程序为寄存器提供的逻辑关系以及输入的测试数据确定；若比较结果为一致，则确定该可编程逻辑器件中逻辑程序下载成功；否则，确定该可编程逻辑器件中逻辑程序下载失败。

摘要： 本发明的一种基于逻辑程序的关系型数据库搜索方法属于人工智能和计算机技术领域，包含两个步骤：第一步，首先基于分层搜索方法对搜索请求和关系型数据库进行匹配筛选处理，得到目标数据；第二步，然后将筛选后的目标数据自主映射成逻辑程序可识别的形式，即事实表，再结合所要搜索的请求和目标，生成相应的逻辑规则，并组合事实和规则进行求解。本发明提供一种动态的搜索模式，能够自主完成对数据库数据的映射及搜索，实现更人性化的查询，更好满足用户搜索需求。该方法还解决了因数据、条件、规则变更、系统维护以及数据知识推理需求的出现，普通查询无法解决的这种动态变化问题。

摘要： 本发明提出一种危化品装卸车过程对用户逻辑程序的监控系统，包括批量控制器，批量控制器设有操作屏、控制单元和IO模块，所述控制单元设有监控模块，其中IO模块，采集监控信号，IO模块将监控信号传输到监控模块；控制单元,运行装卸车用户逻辑程序，进入保护模式，控制单元设有监控模块和处理模块；监控模块，预设正常工作数据信号，监控模块判断监控信号与预设正常工作数据信号是否一致，若不一致则生成报警信号和报警内容并传输到处理模块；处理模块，在接收报警信号和报警内容后，发送报警内容到操作屏操作屏，显示报警内容。本发明有效对批量控制器用户逻辑程序的实际运行进行监控，对现场装卸车故障进行报警。

摘要： 本发明实施例提供一种光纤通道节点卡的逻辑程序升级方法及光纤通道总线设备，属于光纤总线技术领域。所述光纤通道总线设备包括：命令接收单元，用于接收升级命令；升级文件获取单元，用于根据所述升级命令，获取升级逻辑文件；总线命令生成单元，用于生成SPI总线操作命令；光纤通道节点卡，包括所述FPGA和所述Flash芯片，以及所述FPGA经由SPI总线连接至Flash芯片；其中，所述FPGA用于执行所述SPI总线操作命令，以将所述升级逻辑文件写入Flash芯片。由此，将升级逻辑文件通过上位机操作直接写入Flash芯片，而不是通过硬件JTAG线进行烧录，不需要对设备进行拆卸，不通过JTAG，就能较方便低管理光纤通道总线设备（例如军工设备）的逻辑程序的升级与管理。

摘要： 本发明公开一种基于回答集逻辑程序的LPMLN推理方法，1、首先输入LPMLN程序和推理参数，其中推理参数包括强转化参数等，然后对输入的LPMLN程序进行语法分析，从而得到输入程序的Herbrand域以及关键的语法要素；2、根据步骤一中的强转化参数判断输入的LPMLN程序是进行强转化操作还是弱转化操作，并通过强转化或弱转化方法转化为对应的回答集程序；3、调用回答集程序推理机求解步骤二中转化得到的回答集程序；4、将步骤三中通过回答集程序推理机求解输出的可能世界变换为输入LPMLN程序所对应的推理结果。本发明能够在线性时间内将输入的LPMLN程序转化为相应的回答集程序，并利用回答集程序推理机实现其推理。

摘要： 连接电机底层模块与逻辑程序的中间模块，包括上层的电机逻辑和底层模块，增加了用来连接底层模块的配置和上层的电机逻辑的独立的中间层，中间层包含了底层模块中所有电机驱动需要用到的模块，中间层的各个模块和底层模块内的模块对应。本实用新型具有以下有益效果：极易移植的电机控制程序，程序员不需要每次都要根据原理图重新配置各个寄存器和IO口这些底层操作，可以有效地缩短开发周期，提高研发效率。

摘要： 一种基于归纳逻辑程序设计的数据本体逻辑推理方法，包括以下具体步骤：对需要进行逻辑推理的数据本体进行预处理；提取数据本体中的主语、谓语和客体；根据数据本体中提取出来的主语、谓语和客体将数据本体转化为子句；并建立子句的集合；确定指定的论域A；对子句集合中每一个子句确定赫尔布兰德解释，得到不同的论域B；将论域B与论域A进行比对确定最终的论域范围C；基于论域范围C进行处理，得到推理结果；本发明通过对数据本体进行预处理，再经过子句、赫尔布兰德解释确定论域范围后基于归结原理和逆归结原理，得到推理结果。