다중 에이전트의 믿음 결합은 오래 다뤄진 주제지만, 각 에이전트가 표현할 수 있는 관찰 구조가 실행 중 바뀌는 상황은 별도로 다뤄야 한다. 이 arXiv 프리프린트는 이런 동적 인식 분할 변화가 생겼을 때, 연속적 믿음 프로필을 어떻게 유지·수정·설명할지에 대한 형식 틀을 제시한다.
핵심은 하이브리드 구성이다. 구조 제약과 설명 생성은 답집합 프로그래밍(ASP)이 맡고, 수치적 확률과 투영 보정은 Python이 담당한다. 원문은 이 결합이 elaboration tolerance, 선언적 무결성 제약, 설명을 살리는 동시에 수치 계산의 유연성을 가져온다고 설명한다.
문제 설정은 에이전트별 분할(partition)이 고정되지 않는다는 점에서 출발한다. 정제(refinement)에서는 admissibility가 보존되고, 거칠게 합치는 coarsening에서는 admissibility가 깨질 수 있다. 이를 위해 투영(projection)이 정의되며, 이는 질량 보존을 만족하는 유일한 admissible repair로 제시된다.
구현 측면에서는 partition/3 같은 외부 사실을 바꾸는 방식으로 재정의 없이 구조를 다시 계산한다. ASP는 indist/3, covered/2, violates/3를 유도해 어떤 쌍이 구조적으로 잘못됐는지 가려내고, Python은 neq/3 사실을 만들어 수치적으로 다른 세계 쌍을 넘긴다. 이렇게 구조와 수치의 역할이 분리된다.
평가는 무작위 위상 변화 100건에서 완전한 위반 탐지와 설명 커버리지를 확인했다고 밝힌다. 또 20개 세계와 8~12개 에이전트를 포함한 20×8 구성에서 50회 연속 토폴로지 연산을 수행했을 때 재해결 중앙값은 10.3ms, 최대 180.6ms(콜드 캐시)였다. 표 1에서는 6×4에서 총 2ms, 10×6에서 10ms, 20×8에서 155ms, 50×10에서 5.0s, 100×15에서 81.4s로 grounding과 solving 비용이 커지는 양상이 제시된다.
| 항목 | 원문 수치/주장 | 근거 위치 |
|---|---|---|
| 동적 위상 변화 평가 | 100개 무작위 생성 topology changes에서 complete violation detection과 explanation coverage 확인 | p.1 abstract / p.1 source_excerpt |
| 재해결 시간 | 20×8 구성, 50회 연속 topology operations에서 중앙값 10.3 ms, 최대 180.6 ms(cold cache) | p.10 source_excerpt |
| 스케일링 예시 1 | 6×4: Grounding 1 ms, Solving <1 ms, Total 2 ms, Indist atoms 82 | p.11 Table 1 |
| 스케일링 예시 2 | 100×15: Grounding 50.8 s, Solving 30.7 s, Total 81.4 s, Indist atoms 37 343 | p.11 Table 1 |
자료: STORIUM 정리
이 논문은 동료검토 전의 2026년 arXiv v1 프리프린트이며, 정적 구조를 전제로 한 기존 결합 방식과 달리 실행 중 분할 변화에 맞춰 설명 가능한 보정과 위반 위치 지정을 함께 다룬 점을 강조한다.
저작권자 © STORIUM 무단전재 및 재배포 금지
