首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到19条相似文献,搜索用时 46 毫秒
1.
人工智能的快速发展,给数据库技术带来了新的动力。本文通过分析主动数据库、分布数据库和面向对象方法,指出面向对象方法的局限性,进而分析Agent技术与主动数据库相结合的可能性。同时本文在原有面向Agent的分布式主动数据库框架的研究基础上,将语义服务代理引入数据库框架中,研究面向佃t的分布式主动数据库的语义服务。  相似文献   

2.
一种基于BDI Agent的复杂系统设计建模方法   总被引:7,自引:0,他引:7  
提出一种通过信念一愿望一意图(BDI)结构实现多Agent系统设计建模的方法.多Agent系统设计建模的目的是具体地模型化多Agent组织中承担不同组织职能的每一类Agent的结构,使其易于在现有的程序设计语言环境中实现,在该方法中,多Agent系统的设计建模需要建立三个模型:Agent模型、相互作用模型和相识者模型.Agent模型由信念、目标、计划三个基本子模型构成,这些子模型是根据分析阶段所获得的职能模型、协同工作过程模型以及领域本体来建立的,MAS系统中的每一Agent都是Agent模型中某一类Agent的一个实例.相互作用模型主要说明Agent之间的交互细节,如交互协议、交互语言、交互约束条件等.相识者模型说明每一类Agent的所有相识者及其属性,目前通过这一建模方法已在多智能体协同工作平台(MBOS)上开发出实际的应用系统“多智能体物资调配决策支持系统MAEDSS”。  相似文献   

3.
面向Agent的软件开发方法及其评估   总被引:6,自引:0,他引:6  
本文根据技术背景的差异,对已有面向Agent的软件开发方法进行了系统的分类,介绍了当前较有影响的一组代表性工作,分析和评估了各种方法的技术特点、适用范围及其存在的问题,概述了已有工具对面向Agent软件开发方法的支持;在参考国际上比较关注的面向Agent软件开发方法特性的基础上,提出了面向Agent软件开发方法的评估方法,对今后研究亟待解决的关键问题作了展望。  相似文献   

4.
面向Agent的方法是一个迅速发展的研究领域。该方法的运用对信息系统的分析、设计与实施具有十分重大的意义。本文将对面向Agent技术的理论基础进行阐述,分析这种技术适用于信息系统开发过程的原因,并介绍几种面向Agent分析设计的方法。  相似文献   

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

6.
面向对象的程序设计思想方法的软件系统的构造提供了自然一致的实现手段。本文在分析现有OOP的基础上,根据语言行为理论构造了一种具有一定“智能”能力的对象框架,称之为Agent,并将其应用在一个宏观经济智能决策支持系统中。  相似文献   

7.
软件Agent的设计实现对于解决网络分布环境中的很多应用问题都非常重要。本文在基于事件处理的概念级软件Agent设计模型的基础上,针对Web服务的特殊要求,做出了相应的模型改进。首先对三个知识库进行了细化,然后给出了面向服务的软件Agent内部决策算法过程;考虑到Web服务对Agent协同的要求,还提供了软件Agent必须遵守的交互参考协议。  相似文献   

8.
一种基于资源约束的Agent组织规则生成机制   总被引:3,自引:1,他引:3  
Agent组织是多Agent系统的一种求解结构,可以有效地降低求解难度和Agent之间的交互复杂性,对Agent组织的抽象包括组织结构,组织规则和组织模式,Agent组织规则的形成是Agent组织设计的重要问题之一,基于资源约束给出了Agent组织规则的形式描述和产生机制,设计了Agent组织规则形成的静态算法和动态算法,从而改进了Zambonelli和Jennings关于Agent组织规则的研究。  相似文献   

9.
一种基于协商和Agent的电子交易框架   总被引:5,自引:0,他引:5  
固定的商品价格已经限制了传统电子商务的发展,文章提出了一种基于协商和Agent的电子交易框架,使用购买代理和销售代理代替现实生活中的买卖双方,来解决企业对消费者(B-C)的零售商务活动。这种多Agent的电子交易框架应用谈判模式提取和移动Agent技术,很好地模拟了现实生活中的商务活动。  相似文献   

10.
针对当前Agent系统在Agent服务环境方面研究的不足,提出了一个基于Agent的软件服务框架模型ASF,定义了ASF模型的基本械念和结构,并描述了ASF模型中服务的管理和运行机制.介绍了ASF模型的一个实现原型,并对其中的查找服务的实现方法做了较详细的介绍.  相似文献   

11.
         下载免费PDF全文
We define here the concept of head boundedness,head normal form and head confluence of term rewriting systems that allow infinite derivation.Head confluence iw weaker than confluence,but sufficient to guarantee the correctness of lazy implementations of equational logic programming languages.Then we prove several results.First,if a left-linear system is locally confluent and head-bounded.then it is head-confluent.Second,head-confluent and head-bounded systems have the heau Church-Rosser property.Last,if an orthogonal system is head-terminating,then it is head-bounded.These results can be applied to generalize equational logic programming languages.  相似文献   

12.
This research has investigated dynamic, execution-based rule analysis through the development of a Prototype Environment for Active Rule Debugging, called PEARD. PEARD simulates the execution of active database rules, supporting the Event-Condition-Action rule paradigm. Rule definition is flexible, where changes to rules can be applied immediately during a debugging session without recompiling the system. A breakpoint debugging tool allows breakpoints to be set so that the state of variables may be inspected and changed anytime a breakpoint is reached during rule execution. A rule visualization tool displays the rule triggering process in graph form, supporting different visualization granularities to help the user to understand rule execution. Color coding is also used as part of the visualization tool to help the user see where the different parts of an ECA rule are executed due to deferred coupling modes. Users can examine different parts of the rule graph display to inspect the state of a transaction at different rule execution points. Other debugging features include a means for detecting potential cycles in rule execution and a utility to examine different rule execution paths from the same point in the rule triggering process. Our experience with PEARD has helped to identify some of the useful functional components of an active rule debugging tool and to identify research directions for future active rule development environments.This research was partially supported by NSF Grant No. IRI-9410993.  相似文献   

13.
面重写系统是一种简洁通用的计算模型,在许多领域中有着重要的应用。  相似文献   

14.
在对XML数据模型主动机制研究的基础上,结合规则实例提出了一种新的分析规则终止性的静态判定算法。此算法基于触发环的概念,首先对触发环中每一个被修改的节点产生一个递归等式,然后通过展开递归等式并检验其可满足性,就可以分析规则集的可终止性,这样不仅可以得到更高的精确度及更小的复杂度,而且可以得到有效的判定主动规则可终止性的条件。  相似文献   

15.
Shortest path computation is required by a large number of applications such as VLSI, transportation, and communication networks. These applications, which are often very complex and have sparse networks, generally use parallel labeling shortest path algorithms. Such algorithms, when implemented on a distributed memory machine, require termination detection methods; these methods consist of some type of synchronization among all processors. Because global synchronization can be costly, it is assumed that the best termination detection methods synchronize as infrequently as possible. The frequency, however, can significantly impact the idle time of parallel labeling shortest path algorithms. In this paper we analyze the impact of this frequency on the performance, in particular the idle time, and identify when low versus high frequency detection is best. The analysis and results indicate that when the size of the subnetwork assigned to processor is small enough so that the computation time is less than or equal to the communication time within an iteration, high frequency termination detection methods should be used. Otherwise, low frequency methods should be used.  相似文献   

16.
文中提出了一种二叉树动态负载平衡方法,该方法使用二叉树动态负载平衡系统模型,解决了集中式负载平衡系统中主结点在分配任务、响应请求以及负载移动时的潜在瓶颈问题;提出了负载小于给定值时请求负载平衡以提高处理器的利用率。分析表明,该方法在可以有效地提高并行计算的性能,特别是对于任务密集的情况。  相似文献   

17.
终止性是主动规则所需的最重要的一个性质,但规则的终止性检查通常是不可判定的.已有的静态分析方法非常保守,SQL3标准也没有提供保证终止的机制,所以商业数据库限制规则级联触发的最大次数确保终止.由于规则可看成数据库状态转换器,而约束能够表示所有可能的数据库状态,基于约束表示的数据库状态及约束求解,模拟规则处理,可得到更精确的终止性结论.  相似文献   

18.
This paper describes the implementation of the Refined Triggering Graph (RTG) method for active rule termination analysis and provides an evaluation of the approach based on the application of the method to a sample active application. The RTG method has been defined in the context of an active-deductive, object-oriented database language known as CDOL (Comprehensive, Declarative, Object Language). The RTG method studies the contents of rule pairs and rule cycles in a triggering graph and tests for: (1) the successful unification of one rule's action with another rule's triggering event, and (2) the satisfiability of active rule conditions, asking whether it is possible for the condition of a triggered rule to evaluate to true in the context of the triggering rule's condition. If the analysis can provably demonstrate that one rule cannot trigger another rule, the directed vector connecting the two rules in a basic triggering graph can be removed, thus refining the triggering graph. An important aspect in the implementation of the method is the development of a satisfiability algorithm for CDOL conditions. This paper presents the tool that was developed based on the RTG method, describing how techniques from constraint logic programming are integrated with other techniques for testing the satisfiability of rule triggering conditions. The effectiveness of the approach within the context of a sample application is also addressed.  相似文献   

19.
主动规则可终止性的动态分析方法   总被引:2,自引:0,他引:2       下载免费PDF全文
判定主动规则集合的执行情况是相当困难的,尤其是在主动规则支持复合事件时,提出了一种利用确定型多带图灵机对主动数据库进行动态分析的模型,归结出主动规则可终止的充分必要条件,并进一步提出了利用动态分析模型进行主动规则可终止性判定的算法,该模型易于实现,能有效描述规则集合的动态特性,可以作为分析主动规则集合行为的理论基础,还可以用于对主动规则的辅助设计和验证。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号