Khái niệm cốt lõi
다중 에이전트 환경에서 에이전트의 행동이 다른 에이전트의 행동에 의해 영향을 받을 수 있는 상황에서, 에이전트에게 부여되는 네 가지 형태의 권한(보장 권한, 허용 권한, 약한 보장 권한, 약한 허용 권한)을 정의하고 이들의 상호작용을 분석한다.
Tóm tắt
이 논문은 다중 에이전트 시스템에서 에이전트의 권한을 네 가지 형태로 구분하여 정의하고 분석한다.
- 보장 권한(Ensure Permission): 에이전트의 행동이 특정 결과를 반드시 초래하는 경우의 권한
- 허용 권한(Admit Permission): 에이전트의 행동이 특정 결과를 초래할 수 있는 경우의 권한
- 약한 보장 권한(Weak Ensure Permission): 에이전트의 행동이 특정 결과를 보장하는 범위 내에서의 권한
- 약한 허용 권한(Weak Admit Permission): 에이전트의 행동이 특정 결과를 허용하는 범위 내에서의 권한
이 네 가지 권한 개념을 정의하고, 이들 간의 상호관계와 논리적 특성을 분석한다. 특히 이들 권한 개념이 서로 정의될 수 없음을 보이고, 이들 간의 상호작용을 포착하는 완전한 논리 시스템을 제시한다.
Thống kê
에이전트 a가 행동 i를 취하면 반드시 결과 φ가 발생한다: (s, i) ⇝a φ
에이전트 a가 행동 i를 취하면 결과 ¬φ가 발생하지 않는다: (s, i) ̸⇝a ¬φ
Trích dẫn
"에이전트 a의 행동 i가 결과 φ를 보장한다면, 행동 i는 결과 ¬φ를 허용하지 않는다. 반대로, 행동 i가 결과 ¬φ를 허용한다면, 행동 i는 결과 φ를 보장하지 않는다."