逻辑程序相关论文
由于科学方法对科学发现具有独特的认识功能,对学科教学具有重要的教育功能,因此,我们倡导以科学方法为中心组织物理概念教学,并提......
本文介绍了宣钢氧气厂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）能有效地压缩状态空间，其转换算法在实例化阶段对每个初始状态都生成一个逻辑程序，而一致性规划任务的初始状态数量通......
