Higher-Order Logic Programming: an Expressive Language for Representing Qualitative Preferences

Printer-friendly versionSend by email
Conference Proceedings (fully refereed)
Charalambidis, A., Rondogiannis, P. & Troumpoukis, A.
We consider the problem of concisely representing and handling preferences in logic programming and relational databases. Our starting point is a well-known proposal [8] which advocates the embedding of first-order preference formulas into relational algebra through a single winnow operator that is parameterized by a database relation and a preference formula. We argue that despite its elegance, the framework of [8] has a number of shortcomings: only intrinsic preference formulas are supported, the preference relations and 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 all 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 of all the proposed concepts in the higher-order logic programming language Hilog.
Software and Knowledge Engineering Laboratory (SKEL)
Conference Short Name: 
PPDP 2016
Conference Full Name: 
18th International Symposium on Principles and Practice of Declarative Programming
Conference City: 
Conference Venue: 
School of Informatics, University of Edinburgh
Conference Date(s): 
Mon, 05/09/2016 - Sun, 11/09/2016
Conference Level: 

© 2019 - Institute of Informatics and Telecommunications | National Centre for Scientific Research "Demokritos"

Terms of Service and Privacy Policy