On the Integration of CP-nets in ASPRIN

On the Integration of CP-nets in ASPRIN

Mario Alviano, Javier Romero, Torsten Schaub

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence
Main track. Pages 1495-1501. https://doi.org/10.24963/ijcai.2019/207

Conditional preference networks (CP-nets) express qualitative preferences over features of interest.A Boolean CP-net can express that a feature is preferable under some conditions, as long as all other features have the same value.This is often a convenient representation, but sometimes one would also like to express a preference for maximizing a set of features, or some other objective function on the features of interest.ASPRIN is a flexible framework for preferences in ASP, where one can mix heterogeneous preference relations, and this paper reports on the integration of Boolean CP-nets.In general, we extend ASPRIN with a preference program for CP-nets in order to compute most preferred answer sets via an iterative algorithm.For the specific case of acyclic CP-nets, we provide an approximation by partially ordered set preferences, which are in turn normalized by ASPRIN to take advantage of several highly optimized algorithms implemented by ASP solvers for computing optimal solutions.Finally, we take advantage of a linear-time computable function to address dominance testing for tree-shaped CP-nets.
Keywords:
Knowledge Representation and Reasoning: Non-monotonic Reasoning
Knowledge Representation and Reasoning: Non-classical Logics for Knowledge Representation
Knowledge Representation and Reasoning: Preference Modelling and Preference-Based Reasoning