[논문 리뷰] Computation and Complexity of Preference Inference Based on Hierarchical Models

Nic Wilson, Anne-Marie George외 1명|arXiv (Cornell University)|2024. 09. 17.

Constraint Satisfaction and Optimization참고 문헌 16인용 수 7

한 줄 요약

이 논문은 계층적 사전식 모델(HCLP) 하의 사용자 선호 추론을 연구합니다. 일반적으로 coNP-완전성을 증명하고, 기준 중요도가 전체 순서를 이루거나 고정 동등 클래스인 경우 다항 시간 문제를 확인하며, 이 경우에 대한 다항 알고리즘을 제시합니다.

ABSTRACT

Preference Inference involves inferring additional user preferences from elicited or observed preferences, based on assumptions regarding the form of the user's preference relation. In this paper we consider a situation in which alternatives have an associated vector of costs, each component corresponding to a different criterion, and are compared using a kind of lexicographic order, similar to the way alternatives are compared in a Hierarchical Constraint Logic Programming model. It is assumed that the user has some (unknown) importance ordering on criteria, and that to compare two alternatives, firstly, the combined cost of each alternative with respect to the most important criteria are compared; only if these combined costs are equal, are the next most important criteria considered. The preference inference problem then consists of determining whether a preference statement can be inferred from a set of input preferences. We show that this problem is coNP-complete, even if one restricts the cardinality of the equal-importance sets to have at most two elements, and one only considers non-strict preferences. However, it is polynomial if it is assumed that the user's ordering of criteria is a total ordering; it is also polynomial if the sets of equally important criteria are all equivalence classes of a given fixed equivalence relation. We give an efficient polynomial algorithm for these cases, which also throws light on the structure of the inference.

연구 동기 및 목표

• 사용자 선호가 불완전하고 도출된 선호를 외삽해야 할 때 선호 추론의 필요성을 제시한다.
• 계층적으로 구성된 다중 기준 비용(HCLP)으로 대안을 모델링하고, 렉시크로그래픽 유사 비교를 정의한다.
• HCLP 하에서 입력으로부터 선호 진술이 도출되는지의 계산 복잡도를 규정한다.
• 다항 시간으로 해결 가능한 특수 경우를 식별하고 이를 위한 효율적 알고리즘을 제시한다.

제안 방법

• 대안 집합, 결합적-교환적 단조성 비용 연산자 ⊕ 및 평가 집합 C를 포함하는 HCLP 구조를 정의한다.
• 평가를 계층으로 정렬된 분할로 구성하여, 렉시크로그래픽 유사한 선호 순서를 유도한다.
• 충족 및 추론을 형식화한다: Γ ⊨φ 이면 모든 Γ을 만족하는 모델이 φ를 만족하고, 부정으로 불일치(일관성 없음)와의 관계를 제시한다(Proposition 1).
• t>1인 C(t)을 갖는 HCLP-Deduction의 coNP-완전성을 (정리 1에 따라 3-SAT으로의 환원으로 보인다(제2정리)).
• t=1인 경우와 C(≡)(동등성 클래스 기반) 모델에 대해서는 다항 시간 풀이가 가능함을 보여준다(정리 1).
• 전체 순서 기준의 경우에 대한 다항식 알고리즘을 제시하고 추론의 구조적 시사점을 논의한다.

실험 결과

연구 질문

• RQ1 계층적-criterial 모델(HCLP) 하에서 선호 진술을 추론하는 계산 복잡도는 어떻게 되는가?
• RQ2 HCLP 내에서 다항 시간과 같은 다루기 쉬운 조건(고정된 동등 중요도 크기나 기준의 전체 순서 등)이 선호 추론에 존재하는가?
• RQ3 기준 중요도 구조를 제한하는 것이 (예: 작은 t의 C(t) 또는 동등성 클래스 그룹화) 추론의 복잡도에 어떤 영향을 미치는가?
• RQ4 추론, 만족성(satisfiability), 그리고 일관성(consistency) 사이의 관계는 어떤가?
• RQ5 실용적 특수 사례에서 일관성이나 추론을 결정하는 효율적인 알고리즘을 설계할 수 있는가?

주요 결과

• HCLP하의 일반적인 선호 추론 문제는 coNP-완전하며, 동등 중요 집합의 크기를 최대 2로 제한하고 비강제적(non-strict) 선호만으로도 성립한다.
• 사용자의 기준 간 순서가 전체 순서(total order)일 때 추론은 다항 시간 풀이가 가능하다.
• 동등 중요 집합이 고정된 동등 관계의 동치 클래스인 경우에도 추론은 다항 시간이다.
• 전체 순서 케이스에 대한 효율적인 다항 알고리즘이 제시되어 추론 구조에 대한 통찰을 제공한다.
• 본 논문은 3-SAT으로의 형식적 환원을 통해 난이도를 증명하고, 다루기 쉬운 경우에 대한 구성적 알고리즘 체계를 제공한다.