逻辑程序设计相关论文
逻辑程序设计和归纳逻辑程序设计是人工智能领域的重要方向。本文主要研究针对特定对象的逻辑归纳学习,以及在计算机围棋对弈中的......
本文主要讨论一个框架时序逻辑程序设计语言FTLL (Framed Temporal Logic Programming Language)的解释器及一个基于命题投影时序......
随着国家对信息技术及学生信息素养培养的重视，高中的信息技术被作为了必修内容，并且知识体系更加完善和具有渗透性。在高中的数学中......
逻辑程序设计是一种说明性程序设计方式，它将程序的逻辑和控制分开，程序员只需考虑逻辑描述部分，控制部分则完全交付语言的编译或解释......
为提高电力系统供电可靠性.通过对备自投程序逻辑设计进行详细分析,并以验收220 kV某变电站220 kV备自投的过程中发现的程序逻辑问......
Visual Prolog是国际上已经广泛流行的功能强大的通用智能化应用集成开发环境.本文全面评述其功能特点,包括Visual Prolog的由来与......
学习是智能主体拥有的重要特征,机器学习研究计算机如何模拟并实现人类的学习行为.归纳逻辑程序设计作为机器学习的核心方法之一,......
智能体一直是人工智能的主要研究领域之一,任何独立的能够同环境交互并自主决策的实体都可以抽象为智能体.随着人工智能从计算智能......
提出了一种用于服务发现的基于A-Prolog的能力匹配机制.匹配中应用规划检查来决定智能体是否具有完成某一任务的能力.实现了应用该......
文中定义了一个新的辩论推理模式，建立了一个形式化的知识表示框架，并把它应用于研究扩展逻辑程序类的说明语义，结果表明，新语义克服了......
回溯机制是逻辑程序设计的重要设施.回溯本身是一种获得目标所有可能解的良好方法.然而回溯也有副作用,一是它可能导致Visual Prol......
论述了逻辑程序设计中剪枝算子的作用及传统剪枝算子的过程性语义和说明性语义不一致问题;介绍了新型逻辑程序语言Gdel中的commi......
回溯机制是逻辑程序设计的重要设施.回溯本身是一种获得目标所有可能解的良好方法.在考察Visual Prolog回溯机制作用原理的基础上,......
针对Visual Prolog中的接口这一特殊作用域,在考察其限定机制基本问题的基础上,详细分析它所特有的支持限定和开放限定等机制的功......
对Visual Prolog的DDE机制进行了研究。首先介绍了动态数据交换技术及其工作原理，简明概括了Visual Prolog的功能、特点以及在专家......
基于回答集语义的逻辑程序（ASP）是一种描述性问题求解的典范，目前人们提出了各种ASP的扩张。本文提出带背景理论的回答集程序设计框架......
主要讨论逻辑程序中的最大不动点语义. 证明了当Herbrand解释语义映射TP是保滤子交的,或者确定性程序中不含函数符号,或者它的每一......
归纳逻辑程序设计是由机器学习与逻辑程序设计交叉所形成的一个研究领域，是机器学习的前沿研究课题。该文首先从归纳逻辑程序设计的......
回溯是一种获得目标所有可能解的良好方法.然而不恰当地使用回溯,可能导致系统效率降低,时空开销增大,因此必须设置相应机制,仔细......
ＧＫＤ－ＥＤＳＴ是一个集成型专家数据库系统开发工具，本文着重介绍该工具的设计思想与实现方法。......
该文简要阐述了软件多样性与安全性的关系后，基于STABLE MODEL是逻辑程序的语义模型的观点，从软件与逻辑程序设计的关联出发，提出了用......
归纳逻辑程序设计是机器学习与逻辑程序设计交叉所形成的一个研究领域,克服了传统机器学习方法的两个主要限制:即知识表示的限制和......
如何使计算机能运用常识进行推理和问题求解是人工智能领域最困难的问题之一,非单调逻辑是以此为目标的知识表示语言中最重要的一......
WWW是人类有史以来构建的最大的信息库,其中URI和HTTP创建一个全球范围内可访问的信息空间,在这个空间中,每个对象都有全球唯一的......
在逻辑型知识推理语言Tuili的实现中,基本核心是构造不同推能力的多个推理机并使之协同工作.针对这一问题,本文提出了实用的构造多......
归纳逻辑程序设计是机器学习与逻辑程序设计的交叉领域。现代科技,特别是计算机技术的发展极大地推进了人类的发展进程,但是计算机......
为提高电力系统供电可靠性。通过对备自投程序逻辑设计进行详细分析,并以验收220 kV某变电站220 kV备自投的过程中发现的程序逻辑......
当今大多数结构化数据存储在包含许多关系表的关系数据库中,众多的分析和数据挖掘任务,如在智能分析、社会网络分析、商业数据分析......
由于归纳与演绎逻辑具有不同的逻辑推理特征,二者长期以来一直处于一种分化的状态。然而,目前人工智能逻辑程序设计的研究正在改变......
