检索结果-内蒙古大学图书馆

逻辑程序语言

引用

自动化博览 1995年第6期12卷 16-16页

作者：王莹

来源：评论

学校读者我要写书评

暂无评论

逻辑程序语言中的集合

引用

计算机研究与发展 1995年第4期32卷 27-32页

作者：袁军陈栋王能斌东南大学计算机系

本文首先讨论了引入集合的意义，然后建立了一种基于集合项的归约演算，并且对集合项的存储和含集合符号的逻辑数据语言的计算进行了一些探讨。本文所介绍的方法通过规则编译时对存储有序集的改写，使得对集合的匹配通过一般函数的匹配... 详细信息

本文首先讨论了引入集合的意义，然后建立了一种基于集合项的归约演算，并且对集合项的存储和含集合符号的逻辑数据语言的计算进行了一些探讨。本文所介绍的方法通过规则编译时对存储有序集的改写，使得对集合的匹配通过一般函数的匹配算法就可以完成，提高了计算的效率。

关键词：逻辑程序语言演绎数据库集合

来源：评论

学校读者我要写书评

暂无评论

逻辑程序语言中数据库修改操作的逻辑实现

引用

计算机工程 1989年第6期4卷 61-65页

作者：李永坚吴荣泉华东计算技术研究所

本文对一个逻辑程序语言中数据库修改操作的例子进行了描述和分析。采用基于时间的事件推理和在逻辑程序结构中时间处理的方法,将逻辑程序语言中数据库修改操作简化为仅包含插入操作,而删除操作可通过插入操作间接地实现。我们用扩展的... 详细信息

本文对一个逻辑程序语言中数据库修改操作的例子进行了描述和分析。采用基于时间的事件推理和在逻辑程序结构中时间处理的方法,将逻辑程序语言中数据库修改操作简化为仅包含插入操作,而删除操作可通过插入操作间接地实现。我们用扩展的Horn子句对逻辑程序语言中数据库修改操作进行形式化,并且逻辑实现了逻辑程序语言中数据库修改操作,从而使逻辑程序语言中数据库修改操作更适合于逻辑程序设计。

关键词：逻辑程序语言数据库 Horn子句

来源：评论

学校读者我要写书评

暂无评论

当代英国哲学见闻

引用

哲学动态 1990年第10期 19-22页

作者：章士嵘

1989年10月到1990年3月我在英国苏格兰丹迪大学哲学系访问,并有机会到英国北方几所大学参加一些学术活动,使我能亲自参予英国哲学界的种种教学和科研活动,现将我的所见所闻简略地介绍一下。前几年我国哲学界有一个议题即哲学如何现代化... 详细信息

1989年10月到1990年3月我在英国苏格兰丹迪大学哲学系访问,并有机会到英国北方几所大学参加一些学术活动,使我能亲自参予英国哲学界的种种教学和科研活动,现将我的所见所闻简略地介绍一下。前几年我国哲学界有一个议题即哲学如何现代化,就其实质也就是哲学如何适应社会发展的需要,与社会的发展保持密切的联系的问题。这个问题在英国也存在。在英国我见到哲学家们也在为哲学的生存和发展而奋斗。走进丹迪大学哲学系,映入眼帘的是二间房间里摆满计算机,有不少学生在那儿实习。这不能不使我感到惊奇!是不是我走错了地方,走进了计算机学系。后来,经打听才知道,哲学系就开了一门课叫“逻辑与计算”,教授的内容从最基本的形式逻辑到逻辑程序语言PROLOG以及人工智能原理等。

关键词：英国哲学人工智能哲学界计算机科学语言哲学哲学家哲学系学术活动逻辑程序语言马克思主义

来源：评论

学校读者我要写书评

暂无评论

关于“第五代计算机”的几个问题

引用

机械工业自动化 1986年第1期 50-57页

作者：涂序彦科学院自动化所北京海淀区中关村821楼501

一、引言第五代计算机的研制与开发,是当前举世瞩目的重大科学技术问题。 1981年,在东京召开了关于“第五代计算机”的国际学术会议,日本公布震动世界的,为期十年的“第五代计算机”研制计划,在去年的会议上,又介绍与展示了他们第一阶... 详细信息

一、引言第五代计算机的研制与开发,是当前举世瞩目的重大科学技术问题。 1981年,在东京召开了关于“第五代计算机”的国际学术会议,日本公布震动世界的,为期十年的“第五代计算机”研制计划,在去年的会议上,又介绍与展示了他们第一阶段计划的研究成果。

关键词：知识库诺曼 RDBM 专家系统计算机第五代计算机系统新一代计算机系统逻辑程序语言自然语言理解人工智能运算速度推理机第五代计算机超大规模集成电路超大规模集成机器翻译情报处理智能机并行处理数据处理关系数据库关系模型数据库

来源：评论

学校读者我要写书评

暂无评论

数据库技术的研究与发展

引用

计算机工程与科学 1987年第4期 1-11页

作者：葛家翔王志英吴泉源

数据库技术是计算机科学中一门十分重要的学科。它广泛地应用于各个领域,是现代管理信息系统的基石。数据库技术和人工智能技术的结合,是当前数据库技术研究和发展的重要方向,演绎数据库和知识库系统则是其中重要的研究课题,它们是知能... 详细信息

数据库技术是计算机科学中一门十分重要的学科。它广泛地应用于各个领域,是现代管理信息系统的基石。数据库技术和人工智能技术的结合,是当前数据库技术研究和发展的重要方向,演绎数据库和知识库系统则是其中重要的研究课题,它们是知能计算机的核心组成之一。本文从数据库的应用、演绎数据库、知识库三个方面,阐述数据库技术的研究和发展,介绍我们在这些方面的研究概况。

关键词：数据库技术人工智能技术计算机演绎数据库知识库系统数据库系统关系数据库管理系统知识库管理逻辑程序语言逻辑程序设计语言

来源：评论

学校读者我要写书评

暂无评论

一种基于Uon Neumann结构的推理数据库系统

引用

哈尔滨船舶工程学院学报 1986年第1期 36-45页

作者：黄智生刘大昕哈尔滨船舶工程学院计算机与信息科学系

本文提出了一种基于Uon Neumann结构的推理数据库系统,它克服了普通数据库系统及一般prolog语言系统各自的缺欠,综合了两种系统的特点,能使现有广泛使用的关系数据库系统升级为推理数据库系统。文中介绍了我们已在 IBM—PCXT上实现的推... 详细信息

本文提出了一种基于Uon Neumann结构的推理数据库系统,它克服了普通数据库系统及一般prolog语言系统各自的缺欠,综合了两种系统的特点,能使现有广泛使用的关系数据库系统升级为推理数据库系统。文中介绍了我们已在 IBM—PCXT上实现的推理数据库查询语言 Hprolog,并详细介绍了Hprolog的两个最低版本Hprologl和Hprolog2。逻辑程序设计语了Hprologl是一个prolog语言子系统。推理数据库查询语言Hprolog2能够基于关系数据库中的元组进行推理。文中最后给出了一个推理数据库的应用实例。

关键词：推理数据库逻辑程序语言关系数据库查询语言

来源：评论

学校读者我要写书评

暂无评论

逻辑程序设计的几个问题

引用

计算机科学 1986年第1期 38-39页

作者：鲁汉榕重庆大学计算机系

一、引言大多数传统的程序设计语言本质上都是以赋值为核心并且基于显式控制流的计算式语言(如PASCAL和C)。这种风格的程序语言是针对von Neumann体系结构的。计算机应用的重点正在由数值处理转移到非数值信息处理,而von Neumann机器以... 详细信息

一、引言大多数传统的程序设计语言本质上都是以赋值为核心并且基于显式控制流的计算式语言(如PASCAL和C)。这种风格的程序语言是针对von Neumann体系结构的。计算机应用的重点正在由数值处理转移到非数值信息处理,而von Neumann机器以及相应的程序语言在非数值处理(比如说符号推理)应用中的缺点是人所共知的。逻辑编程语言就是基于(一阶谓词)逻辑(及其变种)或其子集(如Horn子集)的计算机语言。它是一种以(符号)模式匹配为核心,没有(或很少有)显式控制流的推理式语言。逻辑程序设计最初提出主要是针对软件工程考虑,后来日本决定来用逻辑语言作为其新一代计算机结构(即第五代机)的核心语言(PRO-

关键词：逻辑程序设计数据库逻辑式程序设计数据库系统逻辑程序语言蕴涵式

来源：评论

学校读者我要写书评

暂无评论

计算机技术与高科技在欧洲

引用

科技通报 1988年第4期 58-59页

作者：叶澄清浙江大学计算机系

1987年暑假前随浙大友好访问团访问了瑞典、西德、法国和英国四国,参观了十所高等学校及一些研究机构,对西方发达国家在发展高科技方面印象很深。现仅对有关信息科学计算机技术方面谈些观感。 1.计算机网络化正在促进未来社会高度信息... 详细信息

1987年暑假前随浙大友好访问团访问了瑞典、西德、法国和英国四国,参观了十所高等学校及一些研究机构,对西方发达国家在发展高科技方面印象很深。现仅对有关信息科学计算机技术方面谈些观感。 1.计算机网络化正在促进未来社会高度信息化的进程我们所参观的每所大学和研究机构,都将自己的计算机或终端联结到地区网、国家网、洲际网上去。他们非常重视利用计算机能快速地获得信息和存贮庞大信息量的特点,不仅极大地提高了计算机本身的利用率,而且

关键词：高科技欧洲计算机辅助设计计算机辅助技术逻辑程序语言新一代计算机瑞典隆德大学高技术辅助加工机器人人工智能企业企业管理

来源：评论

学校读者我要写书评

暂无评论

基于语义In-Out Aware Web Service服务发现

基于语义In-Out Aware Web Service服务发现

引用

2010 Third International Conference on Education Technology and Training (ETT 2010)

作者：陈卫东赵庆展梁斌天津大学管理学院新疆石河子大学信息科学与技术学院

发现适用的web services是当今面向服务计算框架中的主要任务.在本文提出了新的方法,将发现请求及服务用逻辑程序语言标注,使用包含运算进行匹配.形式化输入输出的关系,更能发现服务真正的功能。结合基于本体的语义相似度算法提高服务... 详细信息

发现适用的web services是当今面向服务计算框架中的主要任务.在本文提出了新的方法,将发现请求及服务用逻辑程序语言标注,使用包含运算进行匹配.形式化输入输出的关系,更能发现服务真正的功能。结合基于本体的语义相似度算法提高服务自动发现及发现率。

关键词：本体服务发现逻辑程序语言语义相似度算法

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：