逻辑程序相关论文
由于科学方法对科学发现具有独特的认识功能,对学科教学具有重要的教育功能,因此,我们倡导以科学方法为中心组织物理概念教学,并提......
本文介绍了宣钢氧气厂7号空压机仪控系统节能优化改造项目的实施原因，并对具体改造实施方案进行了解读。该项目是在原ABB控制系统的......
知识表示和推理（Knowledge Representation and Reasoning,KRR）是人工智能核心研究内容之一,旨在为实现基于知识的智能系统提供知识......
有人问你有几个脑袋，你一定回答，一个。不错，一个人只有一个脑袋，但是，一个脑袋的内部却分两个半球，它们各司其职，分工合作。不是吗，如果大......
回答集编程(Answer Set Programming, ASP)的出现是非单调推理领域的突破性成果,其理论基础是Gelfond和Lifschitz提出的回答集语义......
近年来,有序逻辑程序被广泛应用于规划、诊断、行动推理等诸多领域。本文主要研究有序逻辑程序的回答集语义。文中首先通过对有序......
逻辑程序是知识表示和非单调推理研究的重要领域。本文的研究背景是包含否定的逻辑程序。论文介绍了逻辑程序语义研究的现状，综述了......
G(o)del语言是继Prolog语言之后出现的新型说明性通用逻辑程序设计语言，它是建立在多态多类一阶逻辑基础上的强类型语言。G(o)del语......
语义Web服务是将语义Web技术和Web服务技术结合起来，引入本体来增强对Web服务的语义描述，使得Web服务的描述成为机器可读和可理解，并......
随着企业信息化发展，业务系统在企业和机构中的应用越来越广泛。全局流程集成平台(Global Business Process Integration Platform,......
G(o|¨)del语言是继Prolog语言之后出现的一种通用、高效、表达性较强的说明性逻辑程序设计语言,它摒弃了Prolog语言中的非逻辑成......
时间表问题是典型的组合优化和NP完全问题，时间表的实际应用非常广泛。排课问题是时间表问题的一个典型实例，在研究领域中，排课问题常......
这篇论文从文法的角度研究了Horn逻辑程序．因为Horn逻辑程序的计算能力与图灵机是等价的，而图灵机的计算能力与0型文法是等价的，所以，H......
学位
使用Pro图作为工具对一个双重递归的Prolog程序进行图解,给出了该程序的Pro图,该图激活时各谓词和参量的变化情况,用逐步推导的详......
“教学方法的本质主要取决于学生的学习认知和教师相应活动的逻辑程序及心理方面,教学效果是由学习方式和教授方式共同运用,协调一......
管理科学是以系统的观点，运用数学、统计学的方法，利用计算机技术，为现代管理决策提供科学的依据，又通过计划与控制以解决各项生产与经......
现代思维学理论认为,直觉就是对于一些现象和事物未经过严密的逻辑程序直接地认识到其内在本质或规律的活动,是人脑对数学对象及其......
定义了一类强构造学习问题ERP;探讨了以数据驱动方式提高强构造学习系统效率的途径, 特别是学习系统的主动采样方式与系统性能的关......
有限域表示（FDR）能有效地压缩状态空间，其转换算法在实例化阶段对每个初始状态都生成一个逻辑程序，而一致性规划任务的初始状态数量通......
决策是组织或个人为了实现某种目标而对未来一定时期内有关活动的方向、内容及方式的选择或调整过程。能否做出理性并合乎逻辑程序......
免疫识别器的动态覆盖与人工免疫系统的有效性具有重要的关联关系,应该用尽可能少的识别器覆盖尽可能多的NONSELF空间。根据识别器......
逻辑程序是一些具有正负子句的规则集合.基于MOORE提出的自认知逻辑的基础上,GELFOND引进了稳定模的概念,后来得到更进一步的发展.......
由于差动保护和后备保护的局限性，变压器中、低侧断路器和电流互感器之间发生故障时保护可能发生拒动的情况，给变压器和电网运行带来......
Eiter等人为语义网提出的回答集程序和描述逻辑相结合的描述逻辑程序，获得了本体上的非单调表达和推理能力。王以松等人证明了描述......
本文介绍了横河CS1000系统逻辑程序在主风机自保上的应用，以及山东石大科技集团有限公司两段提升管催化裂化装置所用CS1000 DCS系统......
在现代化生产设备控制中有大量的开关量、数字量、脉冲量及模拟量，如果采用传统的继电器或分立的电子线路来作为自动控制装置，则存在......
逻辑程序开发过程中需要花费大量的时间用以程序调试，原因之一是调试通常包含大量的用户交互。减少对调试过程不必要的调用能够提高......
提出Datalog逻辑程序调用语义和调用谓词，说明包含程序调用谓词的可更新U—Datalog程序的操作语义及其固定点语义。提出在有限分层......
描述了基于Objective Caml开发的一个安全协议验证工具SPVT（security protocol verifying tool）．在SPVT中，以扩展附加项的类被算作为安......
一般逻辑程序是知识表示的重要工具,也是非单调推理研究的领域之一.一般逻辑程序的证明论语义给出一个证明过程,对应于相应的模型......
逻辑程序具有丰富的表达能力和非确定性等特点，在定理机器证明、关系数据库系统、程序验证、模块化程序设计和非单调推理等方面都有......
“事件”是比“概念”粒度更大的人类知识表示单元，更接近于人类的认知过程。动作作为事件的一个重要要素，表示事件中对象的状态的变......
安全协议本质上是分布式并发程序,可以自然地描述为多个子进程的并发合成系统.将安全协议对应的并发合成系统抽象为逻辑程序进行消......
直觉思维是一种没有完整分析过程与逻辑程序，依靠灵感和顿悟，快速地作出判断结论的思维过程。在数学教学中，培养诱发学生的直觉思维，可......
为了统一并扩充回答集语义，在带有规则序的逻辑程序中，基于不动点原理，采用了处理优先序的新方法——直接在规则迭代过程中考虑规则序......
带函数的回答集程序设计（FASP）允许在正规逻辑程序中嵌人函数符号，描述了这个系统fasp的设计与实现。其基本思想是把简单函数和原子当......
文章给出了C＋＋过程蓝图逻辑程序表示到抽象逻辑结构图概念程序表示的逆向映射规则。在定义概念结点与C＋＋逻辑结点之间双向映射函数的有......
基于逻辑程序的知识库更新方法研究的焦点在于处理知识库的冲突问题。但代价是更新时规则库增大很快，该文提出了“修正的逻辑程序知......
针对不完全语义条件下的非单调授权和权限判决问题进行形式化研究，提出了一种新的基于逻辑的非单调授权与访问控制框架——AACF。该......
着重介绍金陵石化公司汽油氧化脱硫醇尾气治理装置的TPS系统中联锁处理模块、冷热机组模块和装置停车模块部分的CL语言编程实现方......
在司法工作中,侦查假设是侦查人员破案工作中不可缺少的一种智力手段,侦查破案的过程就是一个不断提出假设和验证假设的过程.侦查......
在教学过程中,尤其是在复习总结知识的过程中,如能以基本概念为引线,对有关基础知识做有机串联,形成按逻辑程序发展的概念体系,这......
模糊逻辑及其扩充是处理不确定性与模糊性信息的重要数学工具，在近似推理、人工智能等领域有着广泛的应用。而逻辑程序也已经成为人......
决策是组织或个人为了实现某种目标而对未来一定时期内有关活动的方向、内容及方式的选择或调整过程。［１］能否作出理性并合乎逻辑程序......
Ｂａｒａｔｅｌｌａ定义了正规谓词逻辑程序的模态完全化语义，并证明了该语义关于ＳＬＤＮＦ－归结的部分完备性。本文首先给出了逻辑程序的模态直承算子，并研究了相......
科学的商贸目标的决策有着合理的逻辑过程，也必然符合一般的管理决策规律，新的决策动机源于实际商贸活动中的“问题”，广泛收集事实材......
