摘要
把Agent技术、ECA(EventConditionAction)规则和约束满足问题相结合,提出了一种基于约束的BDI(Belief-Desire-Intension)结构Agent.首先给出了协商问题的形式化描述,而后形式化定义CBDI-Agent(ConstraintbasedBDI-Agent)的结构.基于该结构,提出了一个自动协商协议.最后给出了一个应用实例.
A Multi-Agent System named constraint based BDI Agent (CBDI-Agent) was developed based on the combination of agent technology with constraint satisfied problem and ECA rule. The formalization description of automated negotiation is presented. Then, the formalization of CBDI-Agent's architecture is described. Based on the architecture, an automated negotiation protocol is developed. At the end, the implementation of CBDI-Agent and an automated negotiation example for purchase order were given.
出处
《上海交通大学学报》
EI
CAS
CSCD
北大核心
2005年第4期574-577,共4页
Journal of Shanghai Jiaotong University
基金
上海市科委科技攻关计划资助项目(03DZ19320)
关键词
智能主体
分布约束问题
自动协商
Constraint theory
Formal logic
Multi agent systems
Software engineering