Daily Arxiv

전 세계에서 발간되는 인공지능 관련 논문을 정리하는 페이지 입니다.
본 페이지는 Google Gemini를 활용해 요약 정리하며, 비영리로 운영 됩니다.
논문에 대한 저작권은 저자 및 해당 기관에 있으며, 공유 시 출처만 명기하면 됩니다.

Graded Distributed Belief

Created by
  • Haebom
Category
Empty

저자

Emiliano Lorini (IRIT, CNRS, Toulouse University), Dmitry Rozplokhas (TU Wien)

개요

본 논문은 그룹의 에이전트들이 특정 사실을 최소 k 강도로 분산적으로 믿는다는 것을 표현할 수 있는 새로운 등급 분산 믿음 논리를 소개한다. 계산적으로 근거한 의미론을 사용하여 논리를 해석하며, 이는 믿음 기반 개념에 의존한다. 그룹의 분산 믿음 강도는 구성원들의 개별 믿음 기반을 병합한 후 그룹의 믿음 기반으로부터 직접 계산된다. 직관적인 예시를 통해 논리를 설명하며, 인식적 불일치 개념을 형식화한다. 또한, 사운드하고 완전한 힐베르트 스타일의 공리화, 필터링을 통해 얻은 결정 가능성 결과, PSPACE-완전성을 보여주는 테이블 기반 결정 절차를 제공한다.

시사점, 한계점

새로운 등급 분산 믿음 논리 제안
믿음 기반 개념을 활용한 계산적 의미론 제공
분산 믿음 강도 계산 방법 제시
인식적 불일치 형식화 예시
사운드하고 완전한 공리화 제공
결정 가능성 결과 제시
PSPACE-완전성을 보여주는 테이블 기반 결정 절차 제공
👍