检索结果-南通市图书馆

计算机学报 1996年第11期19卷 841-847页

作者：徐殿祥郑国梁南京大学计算机科学与技术系

本文基于逻辑程序设计语言的良基模型语义，探讨了对象式逻辑程序设计语言ＬＫＯ的说明性语义．该语义由组合迭代的极小不动点定义，具有构造性和组合性，为在ＬＫＯ中进一步引人非单调继承和逻辑理论奠定了基础．

关键词：逻辑程序设计说明性语义 LKO语言程序语言

维普期刊数据库

逻辑程序设计语言G(？)del的说明性语义

在线全文

学校读者我要写书评

暂无评论

逻辑程序设计语言G(？)del的说明性语义

作者：高伟厦门大学

学位级别：硕士

G(o|¨)del语言是继Prolog语言之后出现的逻辑程序设计语言,它建立在多态多类的一阶逻辑基础之上,摒弃了Prolog语言中的非逻辑成分,集成了许多语言的有效成分和优点,引入了类型系统,这使得它成为一种高效的说明性逻辑程序设计语言。然而... 详细信息

G(o|¨)del语言是继Prolog语言之后出现的逻辑程序设计语言,它建立在多态多类的一阶逻辑基础之上,摒弃了Prolog语言中的非逻辑成分,集成了许多语言的有效成分和优点,引入了类型系统,这使得它成为一种高效的说明性逻辑程序设计语言。然而,时至今日,G(o|¨)del语言编译系统的开发研究仍然进展缓慢,主要原因是多态多类的类型系统、模块化结构、延迟计算、剪枝操作等多种新语言成分和机制的引入,使逻辑程序设计语言G(o|¨)del的复杂程度大大提高,而面向过程程序设计语言的编译方法和技术完全不同于具有递归性、说明性特点的逻辑程序设计语言,先前关于Prolog语言的编译方法和技术不能简单移植和照搬,而理论基础研究的滞后直接导致系统研究和开发进展缓慢,迄今尚无新的进展和系统开发成果报道。为了促进G(o|¨)del语言的推广以及深入研究,本文着眼于编译系统的设计与实现,为G(o|¨)del语言建立了严格的数学基础,包括其语法和说明性语义理论,从而为其深入研究和编译实现奠定了可靠的部分理论基础。鉴于传统的一阶逻辑语言的局限性,本文首先对传统的一阶语言进行扩展,引入类型,提出了类型一阶语言,完整地给出了类型一阶语言的语法定义,初步建立了带类型的一阶逻辑理论。论文针对类型一阶语言中的Horn子集给出了G(o|¨)del语言(子集)的语法部分。在此基础上,给出了解释或赋值的一般定义,然后讨论在合理的解释下类型合式公式的真假值判别法,并由此建立起带类型的一阶逻辑系统的模型。接着,利用类型一阶语言的H-模型探讨了Gdel程序的形式化说明性语义,最终得出结论为最小H-模型M可以作为程序P的形式语义,其理由是M恰由作为P的逻辑推论的那些基原子组成。本文最后还给出了G(o|¨)del语言控制机制的一种实现算法,可以为该语言的完全实现提供重要支持。

关键词：类型一阶逻辑 G(o|¨)del语言说明性语义

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

FLL语言的说明性语义与过程性语义

武汉大学学报（自然科学版） 1999年第3期45卷 287-290页

作者：陈世鸿彭蓉吴志远武汉大学数学与计算机科学学院/国家多媒体软件工程技术研究中心/教育部多媒体软件开放研究实验室武汉430072

阐明了ＦＬＬ（ＦｕｚｚｙＬｏｇｉｃＬａｎｇｕａｇｅ）语言的说明性语义，并从过程性角度提出了ＦＬＬ的执行模式。

关键词：真度置信度 FLL语言说明性语义过程性语义

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

G觟del语言的说明性语义简述

福建电脑 2009年第2期25卷 40-41页

作者：高伟厦门大学计算机科学系福建厦门361005

Gdel语言是在Prolog语言基础上发展而来的一种新型逻辑程序设计语言。本文基于类型一阶谓词逻辑的模型论,阐明了Gdel语言的说明性语义,为该语言的实现模型奠定了一定的理论基础。

关键词： Gdel语言类型说明性语义

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

PROLOG语言及其实现并与LISP比较

计算机科学 1986年第2期 42-50页

作者： DavidH.D.Warren LuisM.Pereira FernandoPereira 高全泉

Prolog是建立在符号逻辑基础上的简单而功能却很强的程序设计语言。其基本的计算机制是对一般的记录结构(逻辑的“项”)进行操作的模式匹配(一致化)。我们简要地考察这一语言,并特地同纯LISP比较。本文其余部分讨论讲求效率地实现Prolo... 详细信息

Prolog是建立在符号逻辑基础上的简单而功能却很强的程序设计语言。其基本的计算机制是对一般的记录结构(逻辑的“项”)进行操作的模式匹配(一致化)。我们简要地考察这一语言,并特地同纯LISP比较。本文其余部分讨论讲求效率地实现Prolog的技术;特别是,我们描述如何编译在匹配过程中涉及到的模式。这些技术是我们的DEC system-10 Prolog编译程序(用Prolog写的)所采用的。它生成的代码在速度方面可以同现有的DEC 10 LISP编译程序生成的代码相比。我们认为,对于表示结构数据的操作来说,模式匹配是比通常的选择符和构造符更好的方法——无论对用户还是对实现者来说,都是如此。

关键词： Prolog 编译 PROLOG LISP 结构数据说明性语义模式匹配赋值

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

逻辑程序设计在第五代机计划中的作用

计算机科学 1988年第4期 1-12页

作者： Kazuhiro FUCHI Koichi FURUKAWA 鲁汉榕

本文描述逻辑程序设计在第五代机计划中的作用。我们是抱着这样一种观点开始这一计划的,即逻辑程序设计是联接知识信息处理与并行计算机体系结构之间的“桥樑”。第五代机研制已历经四年,现在我们可以说这一观点已经得到充分证实。本文... 详细信息

本文描述逻辑程序设计在第五代机计划中的作用。我们是抱着这样一种观点开始这一计划的,即逻辑程序设计是联接知识信息处理与并行计算机体系结构之间的“桥樑”。第五代机研制已历经四年,现在我们可以说这一观点已经得到充分证实。本文综述强化了这一基本观点的一些发展,并介绍我们是如何实现这一“桥樑”的。

关键词：逻辑程序设计推理机限定子句文法逻辑式程序设计第五代计算机语法第五代说明性语义

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Prolog语言及其特点

计算机研究与发展 1983年第7期 16-21页

作者：杨容高庆狮中国科学院计算所

Prolog是以处理逻辑问题为背景而设计的语言。它以简洁的文法、丰富的表现力和独特的非过程性赢得越来越多的推崇。目前,Prolog广泛地应用于关系数据库、数理逻辑、抽象问题求解、自然语言理解、公式处理、总体结构设计、生物化学结构... 详细信息

Prolog是以处理逻辑问题为背景而设计的语言。它以简洁的文法、丰富的表现力和独特的非过程性赢得越来越多的推崇。目前,Prolog广泛地应用于关系数据库、数理逻辑、抽象问题求解、自然语言理解、公式处理、总体结构设计、生物化学结构分析以及人工智能的各个领域。本文将扼要地讨论了Prolog语言和它的特点。

关键词： Prolog 语句 LISP 一阶谓词演算说明性语义

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

智能机核心语言的研究

计算机科学 1988年第2期 61-65页

作者：李智勇华中工学院计算机系

本文从Simon的物理符号系统假设出发,论证了新一代知识处理机核心语言应具有的基本功能是符号处理能力、启发式搜索能力、以及逻辑推理能力.在此基础上,介绍了我们实现的一个满足以上功能要求、以归约语义为基础的函数/逻辑型语言LISP-E... 详细信息

本文从Simon的物理符号系统假设出发,论证了新一代知识处理机核心语言应具有的基本功能是符号处理能力、启发式搜索能力、以及逻辑推理能力.在此基础上,介绍了我们实现的一个满足以上功能要求、以归约语义为基础的函数/逻辑型语言LISP-ELP2.

关键词： ELP 功能函数 LISP 智能机说明性语义归约语义符号处理数据处理

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

逻辑数据语言中的修改操作

逻辑数据语言中的修改操作