[논문 리뷰] A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction

Angelos Charalambidis, Panos Rondogiannis외 1명|arXiv (Cornell University)|2021. 08. 07.

Logic, Reasoning, and Knowledge참고 문헌 13인용 수 5

한 줄 요약

이 논문은 순서화된 논리 프로그램(LPODs)에 대한 순수 모델 이론적 의미론을 제안하며, 네 값 논리(logic)를 사용하여 가장 선호되는 모델을 특성화한다. 상위 선호도가 불가능할 때만 실패하는 모델를 식별하기 위해 추가 진리값을 도입함으로써, 기존 의미론에서 발생하는 직관에 어긋나는 결과를 해결하고, 순서화된 논리와 고전적 논리의 혼합을 자연스럽게 확장한다.

ABSTRACT

Logic Programs with Ordered Disjunction (LPODs) extend classical logic programs with the capability of expressing alternatives with decreasing degrees of preference in the heads of program rules. Despite the fact that the operational meaning of ordered disjunction is clear, there exists an important open issue regarding its semantics. In particular, there does not exist a purely model-theoretic approach for determining the most preferred models of an LPOD. At present, the selection of the most preferred models is performed using a technique that is not based exclusively on the models of the program and in certain cases produces counterintuitive results. We provide a novel, model-theoretic semantics for LPODs, which uses an additional truth value in order to identify the most preferred models of a program. We demonstrate that the proposed approach overcomes the shortcomings of the traditional semantics of LPODs. Moreover, the new approach can be used to define the semantics of a natural class of logic programs that can have both ordered and classical disjunctions in the heads of clauses. This allows programs that can express not only strict levels of preferences but also alternatives that are equally preferred. This work is under consideration for acceptance in TPLP.

연구 동기 및 목표

• LPODs의 가장 선호되는 모델에 대한 순수 모델 이론적 특성화가 부족한 문제를 해결하기 위해.
• 기존의 두 단계 의미론이 LPODs에서 직관에 어긋나는 결과를 초래하는 문제를 해결하기 위해.
• 규칙 헤드에서 순서화된 논리와 고전적 논리를 혼합한 프로그램을 다룰 수 있도록 의미론을 확장하기 위해.
• 선호 기반 추론을 위한 깔끔하고 논리적으로 탄탄한 의미론을 제공하기 위해.

제안 방법

• 선호 수준을 기록하기 위해 Here-and-There 논리(logic)를 확장한 네 값 논리(logic)를 도입하기 위해.
• 어떤 문장이 만족이 불가능할 때만 실패하는 경우에만 '선호-거짓'으로 표시되는 진리값 확장을 정의하기 위해.
• 선호되는 문장이 거짓인 수를 기반으로 모델 간의 선호 순서를 정의하기 위해.
• 이 선호 순서에 대해 ⪯-최소(minimal)인 모델을 '고체(solid)' 모델로 정의하여 상위 선호도의 필요 없는 실패를 방지하기 위해.
• 규칙 헤드에서 순서화된 논리와 고전적 논리를 구분함으로써 의미론을 확장하기 위해.
• 새로운 의미론이 선호되는 모델을 정확히 특성화하고 직관적인 기대와 일치함을 증명하기 위해.

실험 결과

연구 질문

• RQ1 규칙 기반 필터링에 의존하지 않고도 LPODs의 의미론을 순수 모델 이론적으로 완전히 특성화할 수 있는가?
• RQ2 기존의 두 단계 의미론이 특정 경우에서 LPODs에서 직관에 어긋나는 선호되는 모델을 생성하는가?
• RQ3 제안된 네 값 논리(logic)를 사용하여 순서화된 논리와 고전적 논리가 혼합된 프로그램에 대해 일관된 의미론을 정의할 수 있는가?
• RQ4 기존의 접근 방식인 평형 논리(Equilibrium Logic)와 QCL과 비교해 보면 새로운 의미론은 어떻게 되는가?
• RQ5 엄격한 선호 수준과 동등하게 선호되는 대안을 모두 지원하는 LPOD 의미론의 자연스러운 확장이 존재하는가?

주요 결과

• 제안된 네 값 의미론은 상위 선호도가 논리적으로 불가능할 때만 기각되도록 보장함으로써 LPOD의 가장 선호되는 모델을 성공적으로 식별한다.
• 기존의 두 단계 접근 방식에서 발생하는 직관에 어긋나는 결과를 피함으로써, 특히 선호되는 문장이 불필요하게 기각되는 경우에 유의미한 개선이 이루어진다.
• 이 방법은 순서화된 논리와 고전적 논리가 모두 규칙 헤드에 포함된 새로운 종류의 논리 프로그램인 DLPODs로 자연스럽게 일반화된다.
• DLPODs의 의미론은 잘 정의되어 있으며 일관되며, 표준 LPODs에서 최소한의 수정으로 결과가 전이됨을 보였다.
• 이 프레임워크는 선호 기반 추론을 위한 논리적 기반을 제공하며, 직관적이면서도 형식적으로 탄탄한 의미론을 제공하며, 선호가 없는 경우 평형 논리(logic)와 일치한다.
• 이 작업은 강한 동치성과 정성적 선택 논리(Qualitative Choice Logic)와의 연결 고리 등 새로운 연구 방향을 열어주며, 더 넓은 적용 가능성과 이론적 깊이를 시사한다.