[논문 리뷰] The Ditmarsch Tale of Wonders

Hans van Ditmarsch|arXiv (Cornell University)|2011. 08. 10.

Logic, Reasoning, and Knowledge인용 수 1

한 줄 요약

이 논문은 지적 불확실성과 믿음 재구성의 특성을 반영하는 지점이 있는 크립케 모델에서 상태 변환으로서의 거짓말을 모델링하는 동적 논리학을 제안한다. 행동 모델 논리에의 통합을 통해 완전한 공리 체계를 제공하며, 관찰자가 에이전트에게 거짓말을 하는 것과 에이전트가 서로 거짓말을 하는 것을 구분하고, 다양한 믿음 처리 정책을 적용한다.

ABSTRACT

We propose a dynamic logic of lying, wherein a 'lie that phi' (where phi is a formula in the logic) is an action in the sense of dynamic modal logic, that is interpreted as a state transformer relative to the formula phi. The states that are being transformed are pointed Kripke models encoding the uncertainty of agents about their beliefs. Lies can be about factual propositions but also about modal formulas, such as the beliefs of other agents or the belief consequences of the lies of other agents. We distinguish (i) an outside observer who is lying to an agent that is modelled in the system, from (ii) one agent who is lying to another agent, and where both are modelled in the system. For either case, we further distinguish (iii) the agent who believes everything that it is told (even at the price of inconsistency), from (iv) the agent who only believes what it is told if that is consistent with its current beliefs, and from (v) the agent who believes everything that it is told by consistently revising its current beliefs. The logics have complete axiomatizations, which can most elegantly be shown by way of their embedding in what is known as action model logic or the extension of that logic to belief revision.

연구 동기 및 목표

• 지적 논리에서 거짓말을 동적 행동으로 형식화하여, 거짓말을 크립케 모델에서 상태 변환자로 다루기.
• 에이전트가 거짓말을 접했을 때 믿음 갱신을 모델링하고, 일관성 기반과 재구성 기반 믿음 통합 방식을 구분하기.
• 외부 관찰자가 에이전트에게 거짓말을 하는 것과 에이전트가 서로 거짓말을 하는 것을 통합된 논리적 프레임워크 내에서 분석하기.
• 논리에 대해 완전한 공리 체계를 제공하여 형식적 타당성과 완전성을 확보하기.
• 행동 모델 논리에 논리를 통합하여 완전성의 유려한 유도를 가능하게 하기.

제안 방법

• 거짓말을 'phi를 거짓말한다'는 식으로, 지점이 있는 크립케 모델에서 현재 상태를 공식 phi에 기반해 변환하는 행동으로 모델링하기.
• 동적 모달 논리를 사용하여 거짓말을 상태 전이로 해석하고, 에이전트 간의 지적 불확실성을 유지하기.
• 다섯 가지 믿음 처리 정책을 구분하기: (i) 관찰자가 에이전트에게 거짓말을 하며 전면적인 믿음 수용; (ii) 에이전트가 다른 에이전트에게 거짓말을 하며 전면적 수용; (iii) 일관성이 있을 경우에만 믿음 수용; (iv) 일관성 기반 재구성; (v) 전면적 재구성.
• 지적 및 동적 모달을 사용하여 논리를 형식화하고, 진리 유지 및 믿음 갱신 행동을 포괄하는 공리 체계 수립.
• 기존의 완전성 결과를 활용하기 위해 논리를 행동 모델 논리에 통합하고, 완전한 공리 체계를 도출하기.
• 통합을 통한 완전성 증명을 수행하여, 논리의 공리가 의미론과 동시에 타당하고 완전하다는 것을 보여주기.

실험 결과

연구 질문

• RQ1 지적 논리에서 거짓말을 어떻게 동적 행동으로 형식화할 수 있으며, 특히 에이전트의 불확실성 맥락에서 어떻게 적용할 수 있는가?
• RQ2 에이전트가 거짓말을 접했을 때 채택할 수 있는 다양한 믿음 처리 정책은 무엇이며, 이는 지적 결과에 어떻게 영향을 미치는가?
• RQ3 외부 관찰자가 에이전트에게 거짓말을 할 때와 한 에이전트가 다른 에이전트에게 거짓말을 할 때 논리의 행동 방식은 어떻게 다른가?
• RQ4 거짓말 논리는 완전하게 공리화될 수 있으며, 이를 가능하게 하는 기법은 무엇인가?
• RQ5 행동 모델 논리는 거짓말 논리의 완전하고 유려한 공리 체계 수립에 어떤 역할을 하는가?

주요 결과

• 거짓말 논리는 공식적으로 완전하며, 행동 모델 논리에의 통합을 통해 유도된 완전한 공리 체계를 갖는다.
• 이 프레임워크는 다섯 가지 명확히 구분된 믿음 처리 정책을 제공하며, 각 정책은 거짓말을 접했을 때 다른 지적 결과를 초래한다.
• 모달 공식—예를 들어 믿음이나 믿음의 결과—에 대한 거짓말은 논리 내에서 체계적으로 모델링하고 추론할 수 있다.
• 행동 모델 논리에의 통합은 완전성 증명을 위한 강력하고 유려한 방법을 제공하며, 특수한 유도 방법을 피한다.
• 이 접근법은 한 에이전트가 다른 에이전트의 믿음을 거짓말로 거짓말하는 등의 중첩된 거짓말에 대해 정밀한 의미론적 및 문법적 제어를 가능하게 한다.
• 에이전트가 모든 거짓말을 수용할 경우 불일치하는 믿음 상태를 모델링할 수 있으며, 믿음 갱신을 신중히 수행할 경우 일관성 있는 재구성도 가능하다.