[논문 리뷰] Challenges and Directions for Engineering Multi-agent Systems

Michael Winikoff|arXiv (Cornell University)|2012. 09. 07.

Multi-Agent Systems and Negotiation참고 문헌 9인용 수 10

한 줄 요약

이 논문은 다중 에이전트 시스템(MAS) 공학 분야의 핵심 과제를 규명하며, 저수준의 에이전트 중심 프로그래밍 언어 및 방법론에서 고수준의 상호작용 설계 및 확보 기법으로의 전환을 주장한다. 이는 확장 가능하고 신뢰할 수 있는 다중 에이전트 시스템을 위해, 산업계와 미국 연구 공동체와의 재협력을 통해 연구의 관련성과 실용적 도입을 높이기 위한 것이다. 특히 잠재적 행동의 검증과 통합된 마이크로-마크로 시스템 공학을 강조한다.

ABSTRACT

In this talk I review where we stand regarding the engineering of multi-agent systems. There is both good news and bad news. The good news is that over the past decade we've made considerable progress on techniques for engineering multi-agent systems: we have good, usable methodologies, and mature tools. Furthermore, we've seen a wide range of demonstrated applications, and have even begun to quantify the advantages of agent technology. However, industry involvement in AAMAS appears to be declining (as measured by industry sponsorship of the conference), and industry affiliated attendants at AAMAS 2012 were few (1-2%). Furthermore, looking at the applications of agents being reported at recent AAMAS, usage of Agent Oriented Software Engineering (AOSE) and of Agent Oriented Programming Languages (AOPLs) is quite limited. This observation is corroborated by the results of a 2008 survey by Frank and Virginia Dignum. Based on these observations, I make five recommendations: (1) Re-engage with industry; (2) Stop designing AOPLs and AOSE methodologies ... and instead ... (3) Move to the "macro" level: develop techniques for designing and implementing interaction, integrate micro (single cognitive agent) and macro (MAS) design and implementation; (4) Develop techniques for the Assurance of MAS; and (5) Re-engage with the US.

연구 동기 및 목표

• 자율 에이전트 및 다중 에이전트 시스템(AAMAS)의 산업적 관련성 감소 문제를 다루며, 특히 AAMAS 컨퍼런스에서의 산업 후원 및 참여 감소 배경을 고려한다.
• 다양한 방법론과 도구가 성숙한 데도 불구하고, 실세계 응용 분야에서 에이전트 중심 소프트웨어 공학(AOSE) 및 에이전트 중심 프로그래밍 언어(AOPL)의 도입이 제한된 이유를 극복한다.
• 단일 에이전트(마이크로)와 다중 에이전트(마크로) 시스템 설계 간 격차를 해소하기 위해 두 공학 프로세스를 통합한다.
• 예측 불가능한 행동을 보이는 다중 에이전트 시스템의 신뢰성과 안정성을 유지하면서도, 잠재적 행동을 관리하기 위한 실용적인 확보 기법을 개발한다.
• 글로벌 협업을 강화하고 MAS 공학 연구의 가시성과 영향력을 높이기 위해 북미 연구 공동체와의 재협력을 추진한다.

제안 방법

• 2007년부터 2012년까지 AAMAS 컨퍼런스의 후원, 참석자, 저자 추세 등의 지표를 활용해 산업 참여도를 분석한다.
• BDI 기반 에이전트 시스템의 실제 적용 사례와 생산성 주장에 대해 검토하여 실세계 영향력과 신뢰성을 평가한다.
• AOPL 및 AOSE 방법론 설계에서 다중 에이전트 시스템의 고수준 상호작용 공학으로의 패러다임 전환을 제안한다.
• 복잡한 시스템에서 나타나는 잠재적 행동을 관리하기 위해 정확성 증명, 모델 체킹, 테스팅, 안전성 사례와 같은 확보 기법의 필요성을 제기한다.
• 공동 연구 의제 수립과 표준 및 도구 공동 개발을 통해 미국 연구 공동체와의 재협력을 촉진한다.

실험 결과

연구 질문

• RQ1 현재 산업계는 AAMAS 공동체와 얼마나 관여하고 있으며, 관련성 감소를 나타내는 지표는 무엇인가?
• RQ2 다양한 방법론과 도구가 성숙한 데도 불구하고, AOSE 및 AOPL의 실세계 응용 분야에서의 도입이 제한되는 이유는 무엇인가?
• RQ3 다중 에이전트 시스템의 고수준 상호작용 설계는 어떻게 형식화하고 단일 에이전트(마이크로) 설계와 통합할 수 있는가?
• RQ4 잠재적 행동을 보이는 다중 에이전트 시스템의 신뢰성과 예측 가능성을 보장하기 위해 필요한 기법은 무엇인가?
• RQ5 MAS 공학 공동체는 어떻게 북미 연구 공동체와 재협력을 맺어 글로벌 협업과 영향력을 강화할 수 있는가?

주요 결과

• AAMAS의 산업 후원은 2007년 7개 기업에서 2012년에는 0개로 감소하여 산업 참여 감소를 명확히 보여준다.
• 2012년 AAMAS에서 산업계 소속 참석자는 약 1–2%로 추정되어 산업 참여가 극히 미미함을 시사한다.
• 방법론과 도구의 발전에도 불구하고, 보고된 AAMAS 응용 분야에서 AOSE 및 AOPL의 도입은 여전히 제한적이며, Frank와 Dignum의 2008년 조사 결과로도 뒷받침된다.
• BDI 기반 에이전트의 생산성 향상 주장은 자바 프로그래밍 생산성 향상 500%를 암시하지만, 독립적인 연구로는 검증되지 않았다.
• MAS 공학 분야는 상당한 진전을 이뤘다: 성숙한 방법론, 교재, 도구가 이제는 가용해졌으며, 이는 이전의 교육 및 개발 과제를 뒤집는 결과를 낳았다.
• MAS에서의 잠재적 행동은 확보 측면에서 핵심 과제를 안겨주며, 시스템이 예측 불가능한 방식으로 행동할 수 있어, 기존의 사양 기반 테스팅을 초월한 새로운 검증 및 검토 기법이 필요하다.