조합 시스템을 위한 정성적 선호 표현 및 추론

초록

본 논문은 속성 간 상대 중요도와 각 속성에 대한 정성적 선호를 동시에 기술할 수 있는 형식론을 제안한다. 정의된 지배 관계는 컬렉션(조합) 간의 선호 비교를 가능하게 하며, 속성 선호가 엄격 부분 순서이고 상대 중요도가 구간 순서일 때 지배 관계 자체가 엄격 부분 순서가 된다. 이를 기반으로 최선의 컬렉션을 찾는 여러 알고리즘을 설계하고, 완전성·음향성·약완전성 조건을 분석한다. 시뮬레이션 실험을 통해 알고리즘의 해의 품질과 효율성을 비교하고, 사용자 선호 구조와 알고리즘 성능 사이의 흥미로운 관계를 탐색한다.

상세 분석

논문은 먼저 복합 시스템 설계, 웹 서비스 조합, 팀 구성 등에서 “기능적 요구를 만족하는 객체 집합 중 비기능적 속성에 대한 사용자 선호를 반영한 최적 집합을 찾는 문제”를 정의한다. 이를 위해 두 단계의 선호 모델링을 도입한다. 첫 번째는 각 속성(예: 비용, 신뢰도, 응답 시간 등)에 대한 정성적 선호 관계(P_a)를 설정하는 것으로, 이는 ‘높다/낮다’, ‘좋다/싫다’와 같은 비수치적 비교를 의미한다. 두 번째는 속성 간 상대 중요도(R) 를 표현하는 것으로, 이는 ‘비용보다 신뢰도가 더 중요하다’와 같은 우선순위 정보를 담는다. 중요한 점은 R을 ‘구간 순서(interval order)’ 로 제한함으로써, 전통적인 전순서(strict total order)보다 유연하면서도 수학적 성질을 유지한다는 것이다.

이 두 선호 구조를 결합해 정의된 ‘지배 관계(D)’는 두 컬렉션 X와 Y에 대해, 모든 속성 a에 대해 X의 a‑값이 Y의 a‑값보다 선호되거나 동등하고, 동시에 상대 중요도가 높은 속성에서 엄격히 우위가 존재하면 X가 Y를 지배한다는 식으로 구성된다. 논문은 P_a가 각각 엄격 부분 순서(strict partial order)이고, R이 구간 순서일 때 D 자체가 엄격 부분 순서임을 정리(정리 1)하고, 반사성·반대칭·추이성 등을 증명한다. 이는 최선의 컬렉션 집합을 정의하기 위한 기본적인 전제 조건이다.

알고리즘 부분에서는 세 가지 접근법을 제시한다. 첫 번째는 ‘전면 탐색(Full‑Search)’으로, 모든 가능한 컬렉션을 생성하고 D에 따라 파레토 프런티어를 추출한다. 두 번째는 ‘우선 순위 기반 탐색(Priority‑Based)’으로, R에 의해 정의된 속성 중요도 레벨을 단계적으로 적용해 후보 집합을 축소한다. 세 번째는 ‘샘플링 기반 탐색(Sampling‑Based)’으로, 무작위 혹은 휴리스틱 샘플을 통해 최소 하나의 최선 컬렉션을 보장한다(약완전성). 각 알고리즘에 대해 soundness(생성된 해가 실제 지배 관계에 따라 최선임), completeness(모든 최선 해를 찾음), weak completeness(최소 하나의 최선 해를 찾음) 조건을 정리하고, 복합성 분석을 제공한다.

실험에서는 속성 수, 객체 수, 선호 관계의 밀도 등을 변수로 삼아 10,000여 개의 시나리오를 시뮬레이션했다. 결과는 우선 순위 기반 탐색이 대부분의 경우 완전성을 유지하면서도 실행 시간이 전면 탐색보다 1~2 orders of magnitude 빠름을 보여준다. 반면 샘플링 기반 방법은 매우 큰 문제에 대해 빠른 응답을 제공하지만, 최선 해의 비율이 선호 구조가 복잡할수록 감소한다는 한계가 있다. 또한, R이 실제 구간 순서가 아닌 완전 순서에 가까울수록 알고리즘의 효율성이 크게 향상되는 경향을 발견했으며, 이는 논문이 제시한 ‘선호 구조와 알고리즘 성능 사이의 상관관계’에 대한 가설을 뒷받침한다.

마지막으로 논문은 향후 연구 방향으로 (1) 동적 선호 업데이트에 대한 증분 알고리즘, (2) 다중 사용자 선호의 합성, (3) 실시간 서비스 조합 환경에서의 적용 가능성 등을 제시한다. 전체적으로 정성적 선호를 체계적으로 모델링하고, 그 위에 효율적인 최적 컬렉션 탐색 알고리즘을 구축한 점이 큰 공헌이며, 특히 구간 순서라는 중간 단계의 중요도 모델링이 이론적 엄밀성과 실용적 효율성을 동시에 달성하게 한 핵심 요소로 평가된다.