陈进才
- 作品数：3 被引量：17H指数：2
- 供职机构：西安交通大学电子与信息工程学院计算机科学与技术系更多>>
- 发文基金：国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术更多>>
- Z++a:Z++的AOP扩展被引量：2
- 2000年
- 为了适应面向 Agent技术的发展及其系统设计的需求 ,提出一种基于面向 Agent程序设计 ( AOP)风范的形式描述语言具有重要的理论指导价值和实际意义。在 Z+ +的基础上 ,讨论其AOP扩展问题 ,从而提出具有 AOP风范的形式描述语言 Z+ + a,同时还给出了一个关于高度智能化、人格化生物机器人的 Z+ + a形式描述简例。
- 陈进才郑守淇冀德学
- 关键词：人工智能生物机器人
- 多Agent系统的形式化开放混合体系结构模型研究被引量：9
- 2000年
- 为了有效建立并统一多Agent系统(MAS)的理论与方法体系,提供MAS的有效设计与实现途径,重点讨论并建立了基于开放环境的MAS形式化开放混合体系结构模型.首先,采用面向Agent的程序设计(AOP)风范,并基于开放环境与组合技术,对Agent的BDI模型进行形式细化处理,引入开放混合结构模式的自治、交互Agent形式定义,在此基础上给出开放环境下的自治、交互MAS的形式化开放混合体系结构模型,并运用扩充了的形式开发语言Z++对其进行描述.该模型具有可扩展性与对开放环境适应性强、便于进行系统描述。
- 陈进才郑守淇冀德学
- 关键词：多AGENT系统体系结构开放环境程序设计
- Agent协作中的分布渐进协商冲突消除策略被引量：6
- 2000年
- 多Ａｇｅｎｔ 系统（ ＭＡＳ） 中，常常需要Ａｇｅｎｔ 进行相互间的协作来完成动态环境中的复杂任务。然而由于各Ａｇｅｎｔ 知识的不完备性、不相容性与资源问题等，从而可能导致Ａｇｅｎｔ协作过程中冲突的出现。文章在Ａｇｅｎｔ 交互概念的基础上，对冲突进行分类，并提出一种分布渐进协商冲突消除策略，最后还给出了这种策略的分布一致性。
- 陈进才郑守淇冀德学
- 关键词：多AGENT系统协商策略人工智能
