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

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

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

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

面向智能体的信息系统开发方法研究

智能体技术是近几年来发展起来的一种新的软件技术方法，将多Agent技术引入信息系统（Information System，IS）能使信息系统在新的管理模式中承担感知、协调、决策和指导的作用。文中介绍了智能体概况以及多智能体的几个关键性定义及发展状况，从特性角度、信息角度分析，信息系统适合用Agent技术来描述，从而着重介绍了智能体在两种信息系统中应用，通过分析可以看出多智能体引入信息系统是一种更为有效也是最有发展前途的一种方法。最后构想了未来面向智能体的信息系统开发方法。     

面向智能体的信息系统开发方法研究

智能体技术是近几年来发展起来的一种新的软件技术方法,将多Agent技术引入信息系统(Information System,IS)能使信息系统在新的管理模式中承担感知、协调、决策和指导的作用。文中介绍了智能体概况以及多智能体的几个关键性定义及发展状况,从特性角度、信息角度分析,信息系统适合用Agent技术来描述,从而着重介绍了智能体在两种信息系统中应用,通过分析可以看出多智能体引入信息系统是一种更为有效也是最有发展前途的一种方法。最后构想了未来面向智能体的信息系统开发方法。     

模糊逻辑在模拟演练系统智能体设计中的应用

根据模拟演练系统对智能体智能程度的要求为模拟演练系统添加模糊推理机,以增加演练系统的逼真程度及适应性. 本文以模糊逻辑理论为基础,以模拟演练系统为背景,对一个具体的应用实例进行数学建模,阐述了如何运用模糊逻辑来解决问题,并设计了模糊逻辑模块,通过应用实例演示验证了设计的可行性.     

智能体的理论研究

智能体在Al/DAl和当前主流计算机学科(如分布式计算)中正成为一个广泛使用、日益重要的键性概念,由此而产生了一系列新的思想、方法、技术和语言用以规范,验证,设计和实现复的分布式     

基于多智能体的区域监控系统

以多个智能机器人协作完成的实时区域监控为应用背景,3个智能车为硬件平台,设计定位算法、通信模型和控制任务,用C#编程语言实现该应用方案。考虑3台智能车保持队形在区域内巡逻,用于保证完整覆盖、设定入侵目标的特征以及发现目标后的行为策略。该实验系统的构建为多智能体系统的理论研究提供了测试平台。     

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

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

用于复杂系统建模与仿真的面向智能体技术

在构造兼具数据处理和知识处理能力的新型面对象型形式化体系上,根据复杂系统仿真的需要,使系统组分“对象”具有自主决策、控制和通信功能,建成多Agent系统。给出多Agent系统实现群组决策的示例。     

面向智能主体的程序设计

面向智能主体的程序设计是一种以计算的社会观为基础的新型程序设计范例。本文介绍我们在ＡＯＰ方面进行的研究工作。ＡＯＰ工作以多个智能主体的知识信息处理问题为背景，采用ＡＯＰ的语法途径，强调将知识本文首先讨论与ＡＯＰ相关的智能主体的体系结构。然后，以ＡＯＰ语言ＲＯＯＴ的技术支点（即面向对象程序设计技术、基于条件重写的逻辑程序设计技术和元级推理技术等）为线索介绍ＲＯＯＴ。最后通过一个简单例说明ＲＯＯＴ的Ａ     

面向Agent的程序设计

本文针对所谓合作Agent应用问题阐述了一种面向Agent的程序设计AOP（agentori－entedprogramming）方法框架．其中提出了一种新的Agent编程语言（AOPL），设计并实现了其程序设计系统（AOPS），该系统支持AOPL到C的转换．同时，提出了一种新的Agent关系模型，讨论了该模型的组成及其在体现合作Agent应用系统的体系结构、指导Agent之间的协作行为和支持对系统结构特点的深层理解方面所发挥的重要作用．最后讨论了AOP在多功能感知系统中的应用．     

扩展的逻辑程序系统及其语义理论

将逻辑程序系统由一阶逻辑中解放出来是复杂对象推理所迫切需要的.本文提出扩展的逻辑程序语言HILOG并建立其语义理论,扩充了逻辑程序系统的形式语义.HILOG为一带类型语言.通过建立诸如p-包含及装配/拆卸等代数概念,本文扩充了逻辑满足及模型比较等概念,证明了一HILOG程序具有一最小模型闭包及标准(装配形式)最小模型的唯一性,提出了模型的p-相交定理及扩充的最小模型极小不动点性质.一阶逻辑程序语义在上述各方面恰为HILOG语义之特殊情况,二者语义上的联系提供了将HILOG程序映射到一阶系统的可能性.     

采用面向Agent技术的并行布线系统

详细布线是ＶＬＳＩ电路物理设计的最后一个步骤,按布线类型主要分为开关盒布线和通道布线,都是ＮＰ完全问题。我们使用Ｊａｖａ语言,采用面向Ａｇｅｎｔ的技术开发了一个能够充分利用网络计算资源的并行开关盒布线系统ＰＳＲ。实验结果表明,该系统能以比其它算法更低的时间复杂度取得较好的布线结果,并且具有很高的可伸缩性。     

面向agent的程序设计语言:DL-1

为适应协作分布式问题求解（ＣＤＰＳ）研究和应用的需要，我们研制了面向ａｇｅｎｔ的程序设计语言：ＤＬ－１语言。ＤＬ－１语言由二部分组成：ＤＬ－１／ｓｙｓｔｅｍ和ＤＬ－１／ａｇｅｎｔ。ＤＬ－１／ｓｙｓｔｅｍ主要用于显式地描述ＣＤＰＳ系统的行政管理结构。ＤＬ－１／ａｇｅｎｔ主要用于描述ＣＤＰＳ系统的ａｇｅｎｔ，并允许用户在描述ａｇｅｎｔ的同时，描述ＣＤＰＳ系统的问题求解结构。     

一种关于Agent的模糊认知逻辑

由于经典逻辑不能表示模糊事实,而且Agent也不能利用经典逻辑的方法从模糊事实里获取知识,为了克服经典逻辑方面的不足,提出了一种关于Agent的模糊认知逻辑.首先,介绍了模糊认知逻辑和规则,该方法用数字来表示模糊事实,用模糊逻辑来获取知识.其次,引入了一种反向推理逻辑,利用该方法研究了条件和结论的相关性.最后,主要介绍Agent采用模糊认知逻辑获取知识的过程.     

一种面向Agent的设计过程模型

本文提出了一种面向ａｇｅｎｔ的设计过程模型，该模型参加设计过程的实体为ａｇｅｎｔ，通过ａｇｅｎｔ有组织的协同工作描述产品设计过程。该模型的构造符合客观世界人们协作完成任务的工作方式，因此，依此模型构造的支撑容易适应现实世界     

对象式逻辑程序设计

本文首先对逻辑程序设计与对象式程序设计进行一些比较，然后介绍对象式逻辑程序设计的基本原理、新进展、应用及目前存在的主要问题。     

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

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

基于Agent的面向用户的智能信息搜索系统的设计

本文根据用户的浏览活动,建立了反映用户特色的导图库,并根据导图库生成了面向用户需求的初始Agent群,基于Agent技术设计了一个智能信息搜索系统,本系统为快速、高效地获取面向用户的网络信息提供了一种有效的方法。