Higher-order logic programming: An expressive language for representing qualitative preferences

摘要

We consider the problem of concisely representing and handling preferences in logic programming and relational databases. Our starting point is the well-known proposal developed in which advocates the embedding of first-order preference formulas into relational algebra through awinnowoperator that is parameterized by a database relation and a preference formula. We argue that despite its elegance, the above proposal has certain shortcomings: onlyintrinsicpreference formulas are supported, the preference relations and the preference queries are expressed in two different languages, and there is no direct way to define alternative operators beyond winnow. We propose the use of higher-order logic programming as a logical framework that remedies the above deficiencies. In particular, the proposed framework supports both intrinsic and extrinsic preference formulas, it can represent both preference relations as-well-as queries, and it can be used to define a variety of interesting alternative operators beyond winnow. We demonstrate the feasibility of our approach by presenting an implementation and an experimental evaluation of all the proposed concepts in the higher-order logic programming language Hilog.