Langshaw: Sayso 및 Conflict에 기반한 선언적 상호작용 프로토콜

요약

멀티에이전트 프로토콜의 제약과 복잡성을 해결하기 위해 제안된 선언적 프로토콜 언어 Langshaw를 소개합니다. Sayso, Nono, Nogo라는 새로운 구성 요소를 통해 우선권과 동작 간의 충돌을 효과적으로 포착합니다.

핵심 포인트

Sayso를 통한 속성 설정 우선권 포착
Nono와 Nogo를 활용한 동작 간 충돌 관리
Langshaw의 형식적 의미론 및 안전성/활성 결정 절차 제공
비동기 실행에 적합한 메시지 지향 프로토콜 생성 방법 제시

현재 멀티에이전트 프로토콜 (multiagent protocols)을 명시하기 위한 언어들은 프로토콜 실행을 과도하게 제약하거나 그 의미를 포착하는 것을 복잡하게 만듭니다. 우리는 (1) 각 속성(attribute)을 설정하는 데 있어 누가 우선권을 갖는지 포착하는 새로운 구성 요소인 sayso, 그리고 (2) 동작 간의 충돌(conflicts)을 포착하는 두 가지 구성 요소인 nono와 nogo에 기반한 선언적 프로토콜 언어인 Langshaw를 제안합니다. Langshaw는 유연성과 의미를 표현하기 위한 정보 모델 (information model)을 결합합니다. 우리는 Langshaw에 대한 형식적 의미론 (formal semantics), 프로토콜의 안전성 (safety) 및 활성 (liveness)을 결정하기 위한 절차, 그리고 유연한 비동기 실행 (asynchronous enactment)에 적합한 메시지 지향 프로토콜 (message-oriented protocol, 필요한 조정(coordination)을 포함)을 생성하는 방법을 제공합니다.

AI 자동 생성 콘텐츠

원문 바로가기

Langshaw: Sayso 및 Conflict에 기반한 선언적 상호작용 프로토콜

요약

핵심 포인트

댓글