Tuili实现系统中的多推理机结构

在逻辑型知识推理语言Tuili的实现中,基本核心是构造不同推能力的多个推理机并使之协同工作.针对这一问题,本文提出了实用的构造多推理机的方法和策略,并给出实现推理机的主要算法.     

Tuili(推理)语言的编译方法与实现技术

通用交互式逻辑推理语言Tuili是能够进行不同方向并能选择不同搜索策略进行推理的人工智能语言,特别适合快速建造专家系统或基于知识的系统。它的实现将使这一新颖的推理语言的应用成为可能。本文给出作者已经实现的一个Tuili系统中用到的编译方法和主要的实现技术。     

微机上实现的逻辑推理语言 Tuili 1.1

一、概述Tuili 是一个基于谓词逻辑的人工智能语言,具有自然的说明性知识表示方式和能够运用这种说明性知识进行多种推理的显著特点。Tuili 的设计不但成功地解决了将产生式语言、逻辑程序设计和过程型语言有机结合的问题,而且在知识程序的模块化结构、元级推理以及计算功能等方面有重要创新,因而比目前其它的一些人工智能语言,如OPS5、LISP、Prolog 等,更适合建造专家系统和基于知识的系统。Tuili 以其设计新颖、推理功能丰富、高度灵活的控制结构以及表达形式的优雅,受到了国内外同行的普遍重视和高度评价。Tuili 一词具有双重含义,既     

推理式分布数据库管理系统T—POREL及其实现

一、引言演绎数据库是 AI、逻辑程序设计和 DB 技术相结合的一种具有演绎推理能力的数据库系统,在过去十几年里,经历了迅速全面的发展。由于它具有集人工智能、逻辑程序设计和数据库技术的实用性研究结果于一身的特点,已成为数据库技术中最受重视的前沿研究领域之一。演绎数据库的实现是近年来人们普遍重视的研究课题。Prolog 语言在演绎数据库的实现中占有重要地位。Prolog 把数据库与程序设计语言在形式上达到了完全和自然的统一,既可作为实现演绎数据库的基本工具,又能直接用于与 DBMS 结合构造演绎数据库     

新颖的人工智能语言——PROLOG

计算机程序设计语言PROLOG在世界范围内正日益为人们所知,它的理论意义和使用价值引起学术界的普遍视。PROLOG是一个用于符号计算方面的语言,尤以解决人工智能方面的问题见长,因此,深得人们的赏识。在欧洲和日本,PROLOG颇为流行,并且有人以PROLOG为基础,着手研制未来第五代计算机的语言。 PROLOG的主要优点在于语言虽小,适应面却很广,尽管语言的功能强得惊人,然而语言本身并不繁杂,程序形式简单,漂亮。从用户的角度来看,PROLOG的主要可取之处不在于它的功能强,便于解决各种复杂问题,而在于易于设计出不易出错的程序。     

关于人工智能技术在Internet上的应用与发展

Internet is the largest international inter-net system at present, and it＇s a uniform developing and running environment of computer applications including Al technology on the netware times,it opens up broad prospects for Al applications and it also supports strong power for Al development.This paper introduces survey of Internet and the action of promotion of it for Al development briefly,and discusses some Al applications and developing technology which are suitable on Internet,and some our relevent works are presented.     

企业级分布计算的基本需求及中间件技术

1 引言近年来,随着网络技术,特别是Internet的飞速发展与普及,对分布计算技术提出了很高的要求。企业作为计算机应用的主体,需要使各自的业务系统具备与网络时代相适应的特点,因而必须运用分布计算技术建造新的或改造已有的应用系统。然而,人们通常对分布计算技术的期望过高,已超过了传统的软件环境/平台所能奉献的能力。于是,中间件作为开发和运行分布     

可用于开发专家系统的PC-prolog

本文主要介绍可用于开发专家系统的PC-prolog语言系统及其应用,并讨论用PC-prolog实现专家系统的有关问题。     

网格体系结构详解

1.引言在“网格:面向虚拟组织的资源共享技术”一文中,我们对网格的研究领域及基本理念作了介绍,并介绍了网格体系结构的设计思想和体系结构框架。本文我们具体描述由Globus项目提出的网格体系结构——一种类似于Internet协议体系结构的层次式协议体系结构,并映射到Internet协议体系结构上。我们主要介绍构成网格体系结构的基本系统组件,详细规定/说明这些组件的目的与功能,并指出这些组件如何与别的组件交互。     

关于网格及其它分布计算技术的若干问题的讨论

1.引言在“网格:面向虚拟组织的资源共享技术”一文中,我们主要给出了由Ian Foster等定义的网格及相关基本概念和研究领域,讨论了网格的基本理念和关键技术。在“网格体系结构详解”一文中,详述了Globus项目提出的网格体系结构的构成及功能。这些内容旨在说明网格是什么。实际上,我们也可以从另一方面,或不同的角度来观察和认识网格。比