[논문 리뷰] An Update Semantics for Defeasible Obligations

Leepdert van der Torre, Yao‐Hua Tan|arXiv (Cornell University)|2013. 01. 23.

Logic, Reasoning, and Knowledge참고 문헌 26인용 수 6

한 줄 요약

이 논문은 디오파틱 논리 내에서 취약한 의무의 업데이트 의미론을 제안하며, 정적 진리값이 아닌 행동 전이를 통해 의무를 역동적으로 모델링한다. 이는 일반적으로 행동하지 않는 것이 위반으로 간주되며, 더 구체적인 의무에 의해 상실되지 않는 한, 이를 최소화하는 히우리스틱을 형식화한다. 이는 법적 추론 맥락에서 정당하지 않은 변명의 가능성을 줄인다.

ABSTRACT

The deontic logic DUS is a Deontic Update Semantics for prescriptive obligations based on the update semantics of Veltman. In DUS the definition of logical validity of obligations is not based on static truth values but on dynamic action transitions. In this paper prescriptive defeasible obligations are formalized in update semantics and the diagnostic problem of defeasible deontic logic is discussed. Assume a defeasible obligation `normally A ought to be (done)' together withthe fact `A is not (done).' Is this an exception of the normality claim, or is it a violation of the obligation? In this paper we formalize the heuristic principle that it is a violation, unless there is a more specific overriding obligation. The underlying motivation from legal reasoning is that criminals should have as little opportunities as possible to excuse themselves by claiming that their behavior was exceptional rather than criminal.

연구 동기 및 목표

• 취약한 디오파틱 논리에서 진단 문제를 해결하기 위해: 일반 의무의 예외와 위반을 구분하는 것.
• 일반적으로 요구되는 행동을 하지 않는 것이, 더 구체적인 의무에 의해 상실되지 않는 한 위반으로 간주되어야 한다는 원칙을 형식화하는 것.
• 정적 진리 조건에 의존하지 않고, 업데이트 의미론을 사용하여 규정적 의무를 동적으로 모델링하는 것.
• 법적 추론을 지원하기 위해, 개인이 비준수를 '예외적'이라고 변명하는 것보다 '범죄적'이라고 보는 기회를 줄이는 것.
• 법적 및 윤리적 맥락에서 규범적 직관과 일치하는 취약한 의무에 대한 추론을 위한 형식적 프레임워크를 제공하는 것.

제안 방법

• 디오파틱 논리에 Veltman의 업데이트 의미론을 적응하여, 상태 간 전이를 통해 의무 업데이트를 모델링한다.
• 의무의 논리적 타당성을 진리값이 아닌, 동적 프레임워크 내 행동 전이의 결과로 정의한다.
• 더 강력한, 더 구체적인 규범의 존재 여부에 따라 행동하지 않은 것이 예외인지 위반인지 판별할 수 있는 형식적 메커니즘을 도입한다.
• 의무의 계층을 사용하여 더 특정한 규범이 일반 규범을 상실할 수 있는지를 결정함으로써 갈등을 해결한다.
• 진단 문제에 적용: 일반 의무 '일반적으로 A는 이행되어야 한다'와 사실 'A가 이행되지 않았다'가 주어졌을 때, 이것이 위반인지 예외인지 판단하는 것.
• 행동을 통해 규범 상태의 변화를 추적할 수 있는 형식적 논리 체계(DUS)를 활용하여, 의무 이행의 동적 평가를 가능하게 한다.

실험 결과

연구 질문

• RQ1 일반적으로 요구되는 행동을 하지 않는 것이 예외가 아니라 위반으로 간주되는 조건는 무엇인가?
• RQ2 취약한 디오파틱 논리에서 형식적 시스템이 규범적 예외와 규범적 위반을 어떻게 구분할 수 있는가?
• RQ3 더 특정한 상실 의무가 비준수의 정당화 여부를 결정하는 데 어떤 역할을 하는가?
• RQ4 동적 행동 전이를 어떻게 사용하여 정적 진리 조건이 아닌 의무의 타당성을 모델링할 수 있는가?
• RQ5 제안된 의미론이 법적 추론에서 정당하지 않은 변명의 가능성을 어떻게 줄이는가?

주요 결과

• 프레임워크는 일반 의무를 위반하지 않으면서도 더 구체적인 상실 의무가 존재하지 않는 한 비준수는 위반으로 간주되어야 한다는 히우리스틱을 형식화한다.
• 더 강력하고 더 특정한 규범의 존재 여부를 점검함으로써, 시스템은 위반과 예외를 성공적으로 구분한다.
• 동적 업데이트 의미론은 정적 진리기반 접근보다 더 세밀하고 맥락에 민감한 규범 이행 평가를 가능하게 한다.
• 이 접근은 법적 당사자가 '예외적 행동'을 비준수의 변명으로 악용하는 위험을 줄인다.
• 형식화는 규범 전이와 의무 업데이트에 대한 추론을 지원하는 잘 정의된 논리 체계(DUS)에 기반한다.
• 결과는 비준수에 대한 정당하지 않은 변명을 최소화하는 원칙을 우선시하는 법적 추론 원칙과 일관된다.