Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
동적 인식 논리(DEL)에서 기존 개연성 순서 방식의 한계를 지적하고, 크립키 모델 상에서 직접 정의되는 새로운 믿음 축소 메커니즘을 제안합니다. 이 메커니즘은 긍정적 자기 성찰 위반이나 헤지된 공개 발표 상황을 모델링할 수 있으며, 해당 논리의 건전하고 완전한 공리화를 제공합니다.
AI 자동 생성 콘텐츠
본 콘텐츠는 arXiv cs.AI의 원문을 AI가 자동으로 요약·번역·분석한 것입니다. 원 저작권은 원저작자에게 있으며, 정확한 내용은 반드시 원문을 확인해 주세요.
원문 바로가기동적 인식 논리 (Dynamic epistemic logic)는 인식적 사건 (epistemic events)에 의해 유도되는 모델 변환을 통해 믿음의 변화를 나타냅니다. 표준적인 정식화 (Baltag, Moss, Solecki, 1998)는 가능성들의 제거를 통해 믿음 확장 (belief expansion)을 자연스럽게 설명하지만, 사실적 명제에 대한 믿음 축소 (belief contraction)를 모델링할 수는 없습니다. 이에 대한 고전적인 대응 방식은 크립키 모델 (Kripke models)에 개연성 순서 (plausibility orderings)를 추가하여, 특정 가능성을 다른 가능성보다 우선시하는 업데이트로서 축소를 표현합니다. 우리는 이 접근 방식에 표현력의 한계가 있음을 보여줍니다. 특히, 이 접근 방식은 긍정적 자기 성찰 (positive introspection)을 위반하는 믿음이나, $\phi$가 거짓일 수도 있다는 헤지된 공개 발표 (hedged public announcement)에 대응하는 축소 역학 (contraction dynamics)을 모델링할 수 없습니다. 이러한 고려 사항에 착안하여, 우리는 믿음적 접근 가능 관계 (doxastic accessibility relation)에 대한 어떠한 제약 없이 표준 크립키 모델 상에서 직접 정의되는 믿음 축소 메커니즘을 도입합니다. 우리는 이것이 믿음 축소의 표준 속성 중 일부는 만족하지만 다른 일부는 만족하지 않음을 보여주고, 축소가 성공하지 못할 수 있는 조건을 연구하며, 축소 공리 (reduction axioms)를 통해 해당 논리의 건전하고 완전한 공리화 (sound and complete axiomatization)를 제공합니다. 또한 우리는 표준 DEL의 확장으로서 사적 또는 반사적 발표 (private or semi-private announcements)와 같은 사건으로 인한 믿음 축소를 수용하는 더 일반적인 동적 논리를 정의하고, 이 일반 논리에 대한 완전하고 건전한 공리화를 제공합니다.