逻辑程序设计相关论文
全国现代逻辑学术讨论会述要邹崇理中国逻辑学会与哈尔滨师范大学、黑龙江省社科联等单位联合举办的现代逻辑学术讨论会于１９９３年８月上旬......
逻辑程序设计和归纳逻辑程序设计是人工智能领域的重要方向。本文主要研究针对特定对象的逻辑归纳学习,以及在计算机围棋对弈中的......
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view......
《逻辑程序语言及其实现技术》 本书详细论述了逻辑程序设计语言的实现技术和面向逻辑程序设计语言的体系结构。其主要内容包括:......
本文主要讨论一个框架时序逻辑程序设计语言FTLL (Framed Temporal Logic Programming Language)的解释器及一个基于命题投影时序......
随着国家对信息技术及学生信息素养培养的重视，高中的信息技术被作为了必修内容，并且知识体系更加完善和具有渗透性。在高中的数学中......
日本新一代计算机技术研究所(ICOT)准备向建造一台第五代计算机的目标作最后的冲刺。上周该所在东京召开了一次国际会议,在会议上......
为了制造出能作为90年代高级信息社会基础的计算机,在日本通产省的指导下,用于知识信息处理的第五代计算机系统的研制工作己作为一......
军事运筹学的特点是用数学模型精确地处理军事指挥中的决策问题,但军事指挥上许多问题很难定量化和数学化。本系统依靠人工智能技......
文中以合同战术级军事专家系统的实践为基础,以逻辑型语言为主要实现语言,描述基于黑板模型的问题求解策略,使用框架与产生式规则......
在大量工业和军事应用中,多媒体和面向对象的数据库用作信息存储和检索系统。由于数据库管理技术与人工智能(AI)概念相结合,法国海......
关于人工智能在化学领域中的应用,国外有用 LISP 语言编成专家系统的报导,国内学者提出了 FORTRAN 语言设计的定性分析专家系统,......
问题的提出: 由于现有软件异常庞杂,加上发展软件困难重重,因此引入新的结构非常困难。所以第五代计算机要求采用全新的设计思想......
第十一届世界计算机大会将于1989年8月在美国旧金山市举行。这里预先介绍大会的初步安排,读者可从中得到有关计算机发展方面的重要......
第十届国际人工智能联会定于1987年8月23日至28日在意大利米兰举行。为提高人们对人工智能在工程中应用的兴趣,此届联会决定将技......
作者赴日本新一代计算机技术研究所研究中心主任。在1988年第五代计算机系统国际会议(FGCS′88)上他作了这篇基调讲演。他把FGCS计......
日本要成为计算机工业领先者,其中一部分工作是,新一代计算机技术研究所已经发起了研制大型计算机系统的十年革命性计划,这种系统......
围绕日本第五代机计划所作的宣传已使系统开发人员警觉到人工智能的长远潜力。美国两个主要开发语言:LISP 与 Prolog 的支持者展开......
FGCS计划的目标是开发知识信息处理的并行计算机。ICOT预测逻辑程序设计技术可以解决知识处理的并行化问题,并强调逻辑程序设计两......
在复杂的主从多点系统中，以微机为核心的各站之间的高速数据交换是必不可少的重要环节。本文介绍了用可编程逻辑阵列芯片实现ＲＳ－４８５高速串......
演绎数据库(Deductive Database)是近年来在逻辑程序设计与关系数据库理论相结合的基础上发展起来的一种新型数据库系统。演绎数......
本文从理论上和机制上对人工智能程序语言LISP与PROLOG进行了剖析和比较。
This paper analyzes and compares artificial intell......
在专家系统中,传统的推理路径的解释就是向用户提供已验证的知识库中的实化规则序列。本文给出一个算法,它能删除原解释中的一些规......
一、引言逻辑程序设计语言 PROLOG 是一种描述性语言,用户只需将问题求解所需的知识以子句形式提交系统,系统依靠自身的演绎求解......
我们在Turbo-Prolog系统上加上一个外壳,构成一个Fuzzy Prolog系统XDFPS(I)。用户使用该系统就可在Turbo Prolog上处理模糊信息。......
为使计算机工作,必须事先编好程序。早期的手编程序相当麻烦,而且难以掌握。后来出现了 ALGOL、FORTRAN、PASCAL 等高级程序设计......
介绍了一个新的结合面向对象技术的知识表示系统ＯＯｐｌｏｇ。以前的一些系统都是建立在Ｐｒｏｌｏｇ解释器的基础上，间接实现的，效率较低，而ＯＯｐｌｏｇ系统将面向对象技......
PROLOG是建立在符号逻辑基础上简单而功能却很强的程序设计语言。PROLOG（一般叫做“逻辑程序设计“）被认为是计算机科学中一个极重要......
该文讨论了知识表达中，逻辑程序设计和面向目标的程序设计的结合性。提出了用逻辑这一统一的形式来融合这两种程序设计风格以及所带......
本文介绍了一个基于元逻辑程序设计的专家系统工具HEST.它以逻辑为基础,用元级和目标级相结合的推理方法来实现的.它具有元级推理......
欧洲人工智能会议—ECAI 是两年一度的世界性人工智能学术研究会议,其规模与世界人工智能会议相当。第六届 ECAI 于1984年9月6日......
推理机制是人工智能及逻辑程序设计的关键技术。本文主要讨论了ＭＩＭＤ共享存储器模型上并行正向推理的一种实现机制，并利用队栈结构来实现......
当前,世界各国都在大力发展具有智能化逻辑推理功能的专家系统。开发大型专家系统需要许多具有一流计算机专业理论水平的开发工程......
逻辑程序设计是一种说明性程序设计方式，它将程序的逻辑和控制分开，程序员只需考虑逻辑描述部分，控制部分则完全交付语言的编译或解释......
为提高电力系统供电可靠性.通过对备自投程序逻辑设计进行详细分析,并以验收220 kV某变电站220 kV备自投的过程中发现的程序逻辑问......
Visual Prolog是国际上已经广泛流行的功能强大的通用智能化应用集成开发环境.本文全面评述其功能特点,包括Visual Prolog的由来与......
学习是智能主体拥有的重要特征,机器学习研究计算机如何模拟并实现人类的学习行为.归纳逻辑程序设计作为机器学习的核心方法之一,......
智能体一直是人工智能的主要研究领域之一,任何独立的能够同环境交互并自主决策的实体都可以抽象为智能体.随着人工智能从计算智能......
