이 연구는 에이전트의 믿음이 시각, 청각, 감각에서 얻는 전통적인 방식이 아닌, 에이전트가 사용할 수 있는 데이터에 기반하는 현대 사회에서, 데이터 공표를 통합한 그러한 믿음의 동적 논리를 연구합니다. 주요 기술적 기여는 데이터 기반 믿음과 데이터 공표 모달리티 간의 상호 작용에 대한 건전하고 완전한 공리화입니다. 또한, 이 논리 시스템에 대한 비자명한 다항식 모델 검사 알고리즘을 설명합니다.
시사점, 한계점
•
데이터 기반 믿음의 동적 논리를 연구하고, 데이터 공표를 통합한 새로운 프레임워크를 제시합니다.
•
데이터 기반 믿음과 데이터 공표 모달리티 간의 상호 작용에 대한 건전하고 완전한 공리화를 제공합니다.
