[논문 리뷰] Revision of Defeasible Logic Preferences

Guido Governatori, Francesco Olivieri외 2명|arXiv (Cornell University)|2012. 06. 25.

Logic, Reasoning, and Knowledge참고 문헌 33인용 수 7

한 줄 요약

이 논문은 사실이나 규칙을 수정할 수 없고 규칙 우선순위만 조정할 수 있는 법적 추론와 같은 맥락에서 유사성(선호) 관계를 수정함으로써 유도된 결론을 변경할 수 있는 공식적 프레임워크를 제안한다. 세 가지 수정 연산자와 그 AGM 공리에 대한 적합성을 분석하며, 부분적인 만족만을 보이며, 고전적 신념 수정 이론이 비단조화적 환경에서 제한됨을 드러낸다.

ABSTRACT

There are several contexts of non-monotonic reasoning where a priority between rules is established whose purpose is preventing conflicts. One formalism that has been widely employed for non-monotonic reasoning is the sceptical one known as Defeasible Logic. In Defeasible Logic the tool used for conflict resolution is a preference relation between rules, that establishes the priority among them. In this paper we investigate how to modify such a preference relation in a defeasible logic theory in order to change the conclusions of the theory itself. We argue that the approach we adopt is applicable to legal reasoning where users, in general, cannot change facts or rules, but can propose their preferences about the relative strength of the rules. We provide a comprehensive study of the possible combinatorial cases and we identify and analyse the cases where the revision process is successful. After this analysis, we identify three revision/update operators and study them against the AGM postulates for belief revision operators, to discover that only a part of these postulates are satisfied by the three operators.

연구 동기 및 목표

• 비단조화적 논리 이론에서 사실이나 규칙을 변경하지 않고도 유사성 관계를 수정함으로써 도출된 결론을 변경할 수 있는 방법을 탐구한다.
• 특히 규칙 강도를 조정할 수 있는 법적 맥락에서, 선호 관계의 수정을 비단조화적 추론에서 합리적인 운영으로 모델링한다.
• 비단조화적 논리에서 선호 관계 수정의 성공 조건과 조합적 경우를 분석한다.
• 제안된 수정 연산자가 AGM 신념 수정 공리에 대해 평가되어, 어떤 공리가 만족되는지를 확인한다.

제안 방법

• 논문은 비단조화적 논리 이론에서의 초월 관계를 수정하기 위한 세 가지 서로 다른 수정/업데이트 연산자를 정의한다.
• 일致성을 유지하면서 원하는 결론을 달성하기 위해 초월 관계의 변환으로서 수정 과정을 공식화한다.
• 조합적 분석을 적용하여, 수정이 성공하거나 실패하는 경우를 식별하며, 특히 갈등과 최소 변경에 중점을 둔다.
• AGM 공리를 사용하여 연산자를 평가하며, 포함, 성공, 복구 등의 합리성 기준을 평가한다.
• 수정 범위를 제한하기 위해 제약 조건을 도입하며, 예를 들어 최소 비단조화 규칙을 보호하고 특정 원래 선호 관계를 유지하는 것과 같은 조건을 포함한다.
• 예시를 사용하여 다양한 선호 변경이 도출된 결론과 확장 크기에 어떤 영향을 미치는지 설명한다.

실험 결과

연구 질문

• RQ1 비단조화적 논리 이론의 초월 관계 수정이 성공적으로 결론을 변경할 수 있는 조건는 무엇인가?
• RQ2 비단조화적 추론 맥락에서 제안된 수정 연산자가 AGM 공리를 얼마나 만족하는가?
• RQ3 초월 관계 수정 맥락에서 최소 변경을 어떻게 정의할 수 있으며, 어떤 기준이 적절한가?
• RQ4 고전적 신념 수정 공리가 비단조화 논리, 예를 들어 비단조화 논리와 같은 비단조화 논리에 적용될 때의 한계는 무엇인가?
• RQ5 규칙 강도를 조정할 수는 있지만 사실과 규칙이 고정된 맥락에서 선호 관계 수정을 의미 있게 적용할 수 있는가?

주요 결과

• 제안된 세 가지 수정 연산자는 AGM 공리를 완전히 만족하지 못하며, 이는 고전적 신념 수정 원리가 비단조화 논리에 부분적으로만 적용 가능하다는 것을 시사한다.
• 수정의 성공 여부는 규칙과 선호의 조합 구성에 따라 달라지며, 일부 구성에서는 상충하는 의존성으로 인해 수정이 불가능할 수 있다.
• 초월 관계의 최소 변경은 변경된 선호의 수량 또는 도출된 확장 내 리터럴 수량을 통해 정의할 수 있다.
• 법적 원칙이나 명시적 입법 문구에 기반한 '보호되는' 선호 관계의 수정은 기초적 통합성을 유지하기 위해 피해야 한다.
• 논문은 규칙 수준의 수정은 성공 공리를 통해 성공을 보장할 수 있지만, 비단조화적 추론의 구조적 제약으로 인해 선호 수준의 수정은 그렇지 않음을 보여준다.
• 연구는 AGM 공리가 비단조화 추론에 완전히 적합하지 않으며, 논리에 특화된 합리적 공리 집합이 필요할 수 있음을 보여준다.