面向智能体逻辑程序设计系统GKD—AOLPS

我们在面向对象逻辑程序设计系统ＧＫＤ－ＯＯＰＳ的基础上，研究并实现了面向智能体逻辑程序设计系统ＧＫＤ－ＡＯＬＰＳ。本文首先提出了智能体的结构和机制，然后给出了一种智能体的元级结构，最后根据言语行为理论，研究了ＧＫＤ－ＡＯＬＰＳ系统所提供的智能体通信原语的语用性质。     

支持智能体的通讯原语库系统GKD－APS的设计与实现

ＧＫＤ－ＡＰＳ是我们基于面向智能体程序设计范例，设计并实现的一个支持智能体相关概念及智能体间消息通讯的Ｐｒｏｌｏｇ解释器。它同时引入了智能体、精神状态、知识、信念、承诺、能力及智能体间的消息通讯等概念，并提供了对这些概念的直接支持。ＣＫＤ－ＡＰＳ为实现多智能体间的知识通讯和合作运行，构造多智能体系统提供了基础，有效地支持了分布式知识系统的研究和开发。本文首先介绍了当前国际上关于智能体及面向智能体范例的研究进展，其次描述了ＧＫＤ－ＡＰＳ所涉及的基本概念及所实现的通讯原语的操作语义，然后给出了系统的构成及主要实现技术，最后介绍了ＧＫＤ－ＡＰＳ所提供的智能体操作原语。     

面向篇章理解的多智能体系统MAS／TH－3

面向篇章理解的多智能体系统ＭＡＳ／ＴＨ－３石纯一，王克宏，胡蓬，康小强（清华大学计算机科学与技术系北京１０００８４）ＭＡＳ／ＴＨ－３：ＡＭＵＬＴＩ－ＡＧＥＮＴＳＹＳＴＥＭＦＯＲＴＥＸＴＵＮＤＥＲＳＴＡＮＤＩＮＧ￥ＳｈｉＣｈｕｎｙｉ；ＷａｎｇＫｅｈｏｎ...     

支持智能体的通信原语库系统的研究与实现

ＧＫＤ－ＡＰＳ是我们基于面向智能体程序高度范例设计并实现的一个支持智能体相关概念及智能体间消息通信的Ｐｒｏｌｏｇ解释器。它同时引入了智能体，精神状态，知识，信念，承诺，能力及智能体阐的消息通信等要概念，并提供了对这些概念直接支持。ＧＫＤ－ＡＰＳ为实现体间的知识通信和合作运行，构造多智能体系系统提供了基础，有效地支持了分布式系统的研究和开发。     

Windows95和NT下的网络游戏开发(下)

其中所有的参数都取自ＥｎｕｍＳｅｓ－ｓｉｏｎｓ,系统每收到一个回复的消息便调用一次ＥｎｕｍＳｅｓｓｉｏｎ,并在结构ＬＰＤＰＳＥ－ＳＳＩＯＮＤＥＳＣ中添入适当的值。以下是ＥｎｕｍＳｅｓｓｉｏｎｓＣａｌｌｂａｃｋ的程序实例。ＢＯＯＬＦＡＲＰＡＳＣＡＬＥｎｕｍｓｅｓｓｉｏｎ（ＬＰＤＰＳＥＳＳＩＯＮＤＥＳＣｌｐＤＰＧａｍｅＤｅｓｃ,ＬＰＶＯＩＤｌｐＣｏｎｔｅｘｔ,ＬＰＤＷＯＲＤｌｐｄｗＴｉｍｅｏｕｔ,ＤＷＯＲＤｄｗＦｌａｇｓ）｛ＬＯＮＧｉｌｎｄｅｘ：ＨＷＮＤｈｗｎｄ＝（ＨＷＮＤ）ｌｐＣｏｎ－ｔｅｘｔ;／…     

KBASE－P知识库系统的设计与实现

当前的实用知识库系统研究是将知识库查询语言嵌入到一个过程语言中．ＫＢＡＳＥ－Ｐ是一个通用的知识库程序设计语言．ＫＢＡＳＥ－Ｐ以ＫＢＡＳＥ作为查询语言，以ＦＤ－ＰＲＯＬＯＧ（我们开发的一个ＰＲＯＬＯＧ扩充）为过程性的宿主语言执行１／Ｏ和ＤＢ更新操作（用扩充的内部谓词）．由于良好的设计和实现，查询语言与宿主语言之间的阻抗不匹配问题相对较小．因而，ＫＢＡＳＥ－Ｐ是一个比较实用的知识库程序设计语言．ＫＢＡＳＥ－Ｐ系统支持逻辑程序设计语言（ＫＢＡＳＥ－Ｐ语言）的程序开发，提供了文本编辑、文件管理、谓词管理、事实操作、Ｄａｔａｌｏｇ查询、ＳＱＬ查询等功能．本文详细介绍了ＫＢＡＳＥ－Ｐ系统的设计和实现．     

KBASE—P知识库系统的设计与实现

当前的实用知识库系统研究是将知识库查询语言嵌入到一个过程语言中。ＫＢＡＳＥ－Ｐ是一个通用的知识库程序设计语言。ＫＢＡＳＥ－Ｐ以ＫＢＡＳＥ作为查询语言，以ＦＤ－ＰＲＯＬＯＧ（我们开发的一个ＰＲＯＬＯＧ扩充）为过程性的宿主语言执行Ｉ／Ｏ和ＤＢ更新操作（用扩充的内部谓词）。由于良好的设计和实现，查询语言与宿主语言之间的阻抗不匹配问题相对较小。因而，ＫＢＡＳＥ－Ｐ是一个比较实用的知识库程序设计语言。ＫＢＡ     

知识获取系统NDKAS的研究与应用

知识获取系统ＮＤＫＡＳ的研究与应用潘金贵，陈彬，陈晶，陈世福（南京大学计算机科学系南京２１０００８）ＴＨＥＲＥＳＥＡＲＣＨＡＮＤＡＰＰＬＩＣＡＴＩＯＮＯＮＴＨＥＫＮＯＷＬＥＤＧＥＡＣＱＵＩＳＩＴＩＯＮＳＹＳＴＥＭ－ＮＤＫＡＳ￥ＰａｎＪｉｎｇｕｉ；Ｃｈ...     

一类并行多步Runge－Kutta预校算法

一类并行多步Ｒｕｎｇｅ－Ｋｕｔｔａ预校算法李寿佛，甘四清（湘潭大学数学系）ＡＣＬＡＳＳＯＦＰＡＲＡＬＬＥＬＭＵＬＴＩＳＴＥＰＲＵＮＧＥ－ＫＵＴＴＡＰＲＥＤＩＣＴＯＲ－ＣＯＲＲＥＣＴＯＲＡＬＧＯＲＩＴＨＭＳ￥ＬｉＳｈｏｕ－ｆｏ；ＧａｎＳｉ－ｑｉｎｇ（Ｄ...     

Navier－Stokes方程的非线性Galerkin有限元方法

Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程的非线性Ｇａｌｅｒｋｉｎ有限元方法何银年，李开泰，向一敏（西安交通大学）ＮＯＮＬＩＮＥＡＲＧＡＬＥＲＫＩＮＦＩＮＩＴＥＥＬＥＭＥＮＴＭＥＴＨＯＤＯＦＮＡＶＩＥＲ－ＳＴＯＫＥＳＥＱＵＡＴＩＯＮＳ￥ＨｅＹｉｎ－ｎｉａｎ；Ｌｉ...     

一个基于逻辑程序设计范例的专家数据库开发工具

ＧＫＤ－ＥＤＳＴ是一个集成型专家数据库系统开发工具,本文着重介绍该工具的设计思想与实现方法。     

Agents with emotions

This paper discusses the role of emotions in artificial agent design and implementation. The syntax and semantics of a simplified version of a logic‐based agent‐oriented programming language is presented. This programming language facilitates the implementation of artificial agents with emotions. Four types of emotions are distinguished: happiness, sadness, anger, and fear. These emotions are defined relative to agent's goals and plans. The emotions result from the agent's deliberation process and influence the deliberation process. The semantics of each emotion type is incorporated in the transition semantics of the presented agent‐oriented programming language. © 2010 Wiley Periodicals, Inc.     

分布式环境下通用数据库浏览接口的设计与实现

本文分析了目前ＷＥＢ数据库技术中广泛采用的面向数据库表单垢发布方式的局限性,进而提出一种建立在ＣＯＲＢＡ平台上的通用数据库自动发布系统,它以请求与服务的机制代替了现在使用的由应用逻辑需求决定脚本程序内容的被动的编程方式,从而使ＷＥＢ数据库技术在发掘其通用性,扩展性和开放性方面有了很大的改观。     

基于对象的逻辑设计实现复杂性

ＬＣＰＰ是作者研制的逻辑与对象结合的多范式语言,由于采用以对象为基础、扩充对象的逻辑特征而实现结合,逻辑程序设计就继承了面向对象的继承性、多态性和动态约束的特性,加这对象集合中搜索的进行,大大提高了逻辑搜索实现的复杂性。本文提出并讨论了这一复杂性的表现与解决的方法。     

基于DFL的多Agent时序推理模型研究

Agent的理论、技术,特别是多Agent的理论、技术,为分布式开放系统的分析、设计和实现提供了一个崭新的途径。目前,对Agent的研究大致分为智能Agent、多Agent的程序设计。该文对Agent系统的群体组织结构进行深入研究,基于DFL,给出多Agent时序推理模型理论,进一步丰富Agent系统理论的研究内容。     

Toward a programming theory for rational agents

An important problem in agent verification is a lack of proper understanding of the relation between agent programs on the one hand and agent logics on the other. Understanding this relation would help to establish that an agent programming language is both conceptually well-founded and well-behaved, as well as yield a way to reason about agent programs by means of agent logics. As a step toward bridging this gap, we study several issues that need to be resolved in order to establish a precise mathematical relation between a modal agent logic and an agent programming language specified by means of an operational semantics. In this paper, we present an agent programming theory that provides both an agent programming language as well as a corresponding agent verification logic to verify agent programs. The theory is developed in stages to show, first, how a modal semantics can be grounded in a state-based semantics, and, second, how denotational semantics can be used to define the mathematical relation connecting the logic and agent programming language. Additionally, it is shown how to integrate declarative goals and add precompiled plans to the programming theory. In particular, we discuss the use of the concept of higher-order goals in our theory. Other issues such as a complete axiomatization and the complexity of decision procedures for the verification logic are not the focus of this paper and remain for future investigation. Part of this research was carried out while the first author was affiliated with the Nijmegen Institute for Cognition and Information, Radboud University Nijmegen.     

Java过程蓝图

1 引言计算机应用正进入网络时代,Java是一种广泛使用的网络编程语言,被称之为网络上的“世界语”。Java作为一种程序设计语言不仅具有简单、面向对象、分布式、解释执行、鲁棒、安全、平台无关、可移植、高性能、多线程以及动态性等特点,更重要的是它支持以网络为中心的新型计算模式——Java计算模式,从而使Ja-     

Intelligent Fril/SQL interrogator

The intelligent Fril/SQL interrogator is an object‐oriented and knowledge‐based support query system, which is implemented by the set of logic objects linking one another. These logic objects integrate SQL query, support logic programming language—Fril and Fril query together by processing them in sequence in slots of each logic object. This approach therefore takes advantage of both object‐oriented system and a logic programming‐based system. Fuzzy logic data mining and a machine learning tool kit built in the intelligent interrogator can automatically provide a knowledge base or rules to assist a human to analyze huge data sets or create intelligent controllers. Alternatively, users can write or edit the knowledge base or rules according to their requirements, so that the intelligent interrogator is also a support logic programming environment where users can write and run various Fril programs through these logic objects. © 2007 Wiley Periodicals, Inc. Int J Int Syst 22: 279–302, 2007.     

VB过程蓝图

ＶＢ过程蓝图是一种面向Ｖｉｓｕａｌ　Ｂａｓｉｃ语言的程序处理逻辑图表化表示法。这种工程化表示法支持 逻辑和实现两个层次的程序抽象表示,是一种简单实用、容易理解、结构良好的程序设计工具。文中 给出ＶＢ过程蓝图的形式化模型,抽象逻辑结构图的图形表示方法,以及程序设计的基本过程。