멀티에이전트 시스템에서 에이전트는 각자 달성해야 할 목표를 가지고 있다. 그러나 여러 에이전트들이 하나의 공통된 목표를 달성하기 위해 서로 경쟁을 하는 경우거나 혹은 각자의 서로 다른 목표를 달성하기 위해 제한된 자원을 사용해야 하는 경우 에이전트들은 서로 충돌할 수 있다. 충돌이 발생할 때 에이전트들은 각자의 목표를 달성하기 위해 다른 에이전트들과의 협상을 통해 목표의 충돌이 없는 일치 상황에 도달하도록 설계되어야 한다. 본 논문은 멀티에이전트 시스템에서 믿음(belief),소망(desire),그리고 의도(intention)로 설명되는 BDI 구조가 각 에이전트가 가져야 할 정신적 태도의 핵심 요소라고 가정하고, 이러한 구조를 가지는 BDI 에이전트를 논리 프로그래밍의 틀에서 표현한다. 또한 서로 다른 목표를 가진 BDI 에이전트들이 자원이 제한된 협동적인 분산 환경에서 상호간의 목표 충돌을 해결하기 위해 협상을 통해 각자의 문제를 해결하는 알고리즘을 제시한다. 마지막으로 본 논문에서 제안한 협상 알고리즘의 효과성을 검증하기 위하여 협상 메타언어로 구현한 예제 문제의 실험 결과를 기술한다.
Agents in multi-agent systems (MAS ) are required to achieve their own goals. An agent s goal, however, can conflict with others either when agents compete with each other to achieve a common goal or when they have to use a set of limited resources to accomplish agents divergent goals. In either case, agents need to be designed to reach a mutual acceptable state where they can avoid any goal conflicts through negotiation with others to achieve their goals. In this paper, we consider a BDI agent architecture where belief, desire, and intention are the three major components for agents mental attitudes and represent resource-bounded BDI agents in logic programming framework. We propose a negotiation algorithm for BDI agents solving their problems without goal conflicts in distributed cooperative environments. Finally, we describe a simple scenario to show the effectiveness of the negotiation algorithm implemented in a negotiation meta-language.
