Agent通信的一种语义表示

通信受agent思维状态的驱动,是agent信息交换的过程.通信使agent感知环境、增强行为能力,是社会性的体现,也是协作和协商的重要手段.以BDI思维状态为基础,给出了通用的agent通信语言KQML的一种语义描述,可解决其语义的模糊性,并可避免通信导致的思维状态内部矛盾问题.还讨论了通信与BDI转化的关系,并将其运用于动态、开放的协商过程中,改进了Finin和Cohen等人的工作.     

多Agent系统中Agent路由器的研究与设计

针对目前MAS通讯中存在的问题,文章提出了通过Agent路由器解决MAS中通讯问题的方案,详细介绍了A-gent路由器的工作原理及其构成组件,并给出了其实现的关键技术。     

面向Agent软件工程（Ⅱ）：规范,实现与验证

AOP[1,2〕的主要思想是在计算中采用“人格化”这一抽象工具,来解释、理解并编制计算机系统.AOP的优点在于:l)便于agent描述:能用熟悉、非技术性的语言来定义agent;2)嵌套式表示:能够方便地表示包含其它系统描述的系统;3)AOP是一种超描述性编程风范。在AOP中,我们只需给出一个非常抽象的系统规范,系统在确保其行为与内置的a罗nt理论(如,著名的Cohen一Leve,que意念模型)一致的情况下,由系统的控制机制确定应当怎么做。既然AOP具有很好的发展前景[s1,为使AOP走向实用化,我们必须处理一些软件工程上的问题[’J,即,如何规范、实现和验证面向agent的系统口一般采用非经典逻辑来描述智能agent和多a-gent系统.但是,如何从用逻辑语言描述的规范合理地导出能满足这些规范的实现,是困扰agent理论研究和实际系统实现两大阵营的重要问题,也许主要症结在于:这些逻辑系统通常用抽象、非基本的可能世界语义来刻画agent的信念等心智状态。可能世界语义虽然具有优美的数学性质和对应理论,但可能世界与agent的内部状态之间究竟有什么关系,至今仍不大明朗,因而导致了逻辑系统与实际建立的agent系统之间的关系也模糊不清,而AOP范型的实用化必须首先解决这个问题。 Wooldridge形式定义了一种基于分支时间的表示逻辑Lts],     

基于扩展KQML语言的Agent模板实现

文中针对生成Agent的模板JATLite的协议不完整性问题,分析了其工作原理,提出修改通信协议的方案,在JATLite中的KQML语言基础上定义了扩展的KQML语言,并实现了基于扩展KQML语言的新层次exkqmllayer,从而形成一个新的构建Agent系统的模板。     

Agent通信语言KQML的实现及应用

论文针对KQML语言规范的新变化和实际应用领域的需求,提出了一系列面向Agent通信的KQML实现算法,初步实现了一个较完整的新KQML语言解释器,并将其应用于医疗保健顾问系统中的多Agent通信,收到了较好效果。     

AODE中Agent通信机制的设计与实现

本文讨论了面向Agent的系统开发环境AODE中的通信机制,并实现了由通信服务器、本地通信模块和外部通信模块构成的通信系统.     

基于Agent的信息搜索网格的设计与实现

针对现有搜索引擎技术的不足,提出一种针对中、小型网站的实时监控的分布式搜索网格模型,利用网格中空闲的计算资源进行网络信息的实时监控,并使用Agent思想在JATLite平台实现该模型.     

Agent的通信语言——KQML

KQML(Knowledge Query and ManipulationLanguag。)是一种用于交换信息和知识的语言和协议,为表达消息和处理消息提供了标准的格式,用于支持agent之间的实时知识共享。KQML可以用于应用程序和智能系统之间的交互,也可以用于两个或多个智能系统之间的知识共享来达到协同处     

基于Agent的协同远程教学模型

利用网络进行远程教学有很多优点。文章讨论如何反Agent和计算支持的协同工作技术应用到远程教学中以增强教学效果。在多Agent通信语言KQML的基础上，提出了基于Agent的协同远程教学模型，并阐述了在此模型下协同远程教学的工作过程。     

基于Agent技术的交通流仿真研究

基于我国当前的交通问题以及传统交通管理系统的特点,在前人的理论基础上,文中将agent技术应用于智能交通系统,运用系统中各个元素进行agent建模。介绍了KQML语言规范并详细探讨了KQML消息机制在agent通信中的应用,在此基础上选择Java编写agent消息类,构建仿真系统。系统在周期边界条件下进行单车道交通流仿真,真实地再现了流量-平均速度、密度-流量之间的关系。仿真结果表明,基于agent的智能交通仿真能够细致地刻画交通流特性和交通实体的微观行为。     

可视化查询语言CQL的实现

为使得许多非计算机专业的用户,尤其是未接受过数据库编程语言训练的用户,能够独立操纵一个数据库系统,有效地解决工作、生活中的问题,我们研究并提供了一种空间数据库可视化查询语言CQL。借助该语言,用户可以直观、方便地操纵数据库系统或查询数据库信息。本文介绍了CQL语言的语素、语义、语法及语用的定义,同时给出了CQL编辑器、编译器和查询结果可视化的设计方法。     

面向Agent的程序设计风范

一、引言 近年来,人工智能研究开始强调推理与知识表示相结合的能动实体——AgentAgent一词在Al研究中既被广泛使用,同时又存在着相当多的争议,在不同的应用环境里gent一词都被赋予特定的含     

Syntactic properties of the refal language

A programming language REFAL is one of the languages created for symbolic manipulation. It is implemented on various computers. Syntactic properties of this language are formally investigated in this paper.     

SQL语言例程化的设计与实现

本文提出了对SQL语言教学的一种处理方法,即将抽象的SQL语言例程化,使用户在输入必要的SQL语句后,便可以得到语句执行的结果,很好地实现了多媒体教学。文中重点阐述了查询语句例程化的设计分析与实现。     

RPL:一种基于反应式Agent的机器人编程语言

开放环境下的机器人具有环境敏感性、行为自主性和并发性、反应实时性等特点,这对支撑这类机器人的控制软件及其编程语言提出了新的要求,包括支持对环境进行显式表示,支持自主和并发的行为,需要对行为间在时间、空间、物理上的关系进行规约等等.面向Agent的编程语言将软件系统的基本执行单元视为自主的软件Agent,它为机器人控制软件的构造提供了新的方法和思路.针对开放环境下机器人特点对其编程语言的要求,提出了基于反应式Agent的编程模型RECA和编程语言RPL.RECA将单个机器人的软件系统视为一个反应式Agent,它包括Sen-sorEvent、EventRule和ScenarioBehaviour 3个组成部分,其中SensorEvent是对机器人所处环境信息变化的一种封装;ScenarioBehaviour是对机器人的不同行为进行的规约;EventRule定义了机器人环境输入到行为输出的动态绑定关系.RPL提供了一系列的机制来支持机器人控制软件的编程,包括事件机制、多线程机制、优先级描述、行为动态绑定.最后介绍了RPL程序开发和运行支撑环境的技术框架,并基于NAO机器人分析了机器人作为老人生活助理的案例,验证了该编程模型、语言和运行支撑环境的有效性.     

simpA: An agent-oriented approach for programming concurrent applications on top of Java

More and more aspects of concurrency and concurrent programming are becoming part of mainstream programming and software engineering, due to several factors such as the widespread availability of multi-core/parallel architectures and Internet-based systems. This leads to the extension of mainstream object-oriented programming languages and platforms-Java is a main example-with libraries providing fine-grained mechanisms and idioms to support concurrent programming, in particular for building efficient programs. Besides this fine-grained support, a main research goal in this context is to devise higher-level, coarse-grained abstractions that would help building concurrent programs, as pure object-oriented abstractions help building large component-based programs. To this end, in this paper we present simpA, a Java-based framework that provides programmers with agent-oriented abstractions on top of the basic OO layer, as a means to organize and structure concurrent applications. We first describe the application programming interface (API) and annotation framework provided to Java programmers for building simpA applications, and then we discuss the main features of the approach from a software engineering point of view, by showing some programming examples. Finally, we define an operational semantics formalizing the main aspects of this programming model.     

The CORAL deductive system

CORAL is a deductive system that supports a rich declarative language, and an interface to C++, which allows for a combination of declarative and imperative programming. A CORAL declarative program can be organized as a collection of interacting modules. CORAL supports a wide range of evaluation strategies, and automatically chooses an efficient strategy for each module in the program. Users can guide query optimization by selecting from a wide range of control choices. The CORAL system provides imperative constructs to update, insert, and delete facts. Users can program in a combination of declarative CORAL and C++ extended with CORAL primitives. A high degree of extensibility is provided by allowing C++ programmers to use the class structure of C++ to enhance the CORAL implementation. CORAL provides support for main-memory data and, using the EXODUS storage manager, disk-resident data. We present a comprehensive view of the system from broad design goals, the language, and the architecture, to language interfaces and implementation details.Part of this article was presented at the International Conference on Very Large Databases, Vancouver, Canada, 1992; and at the ACM SIGMOD International Conference on the Management of Data, San Diego, California, 1993b.When the work was performed, Dr. Srivastava and Dr. Sudarshan were Research Assistants at the University of Wisconsin, Madison.     

可视化空间数据库查询语言CQL

本文着重从语法、语义及语用三方面介绍了我们所开发的一个可视化空间数据库查询语言ＣＱＬ。该语言允许用户借助于可视化基本元素－－－卡片进行编程,实现对窨数据库的检索。用户查询语句是这些卡片的空间组合。该语言对查询结果的表示提供了多种形式：图形表示形式、正文表示形式、临时文件或三者的组合形式。     

并行查询下查询执行计划的选择

查询是数据库系统的主要负载,其效率决定了数据库性能的好坏。一个查询存在多种执行计划,当前,查询优化器只能按照数据库系统的配置参数,静态地为查询选择一个较优的执行计划。并行查询间存在复杂多变的资源争用,很难通过配置参数准确反映,而且同一执行计划在不同情景下的效率并不一致。并行查询下执行计划的选择需考虑查询间的相互影响——查询交互。基于此,提出了一种在并行查询下度量查询受查询交互影响大小的标准QIs。针对并行查询下查询执行计划的选择,还提出了一种动态地为查询选择执行计划的方法TRating,该方法通过比较查询组合中按不同执行计划执行的查询受查询交互影响的大小,选择受查询交互影响较小的执行计划作为该查询的较优执行计划。实验结果表明,TRating方法为查询选择较优执行计划的准确率达61%,相比查询优化器提高了25%;而且在为查询选择次优执行计划时,其准确率也高达69%。