Date of Award
Master of Science (MS)
Dr. Hai-feng Guo
Preference logic programming (PLP) is an extension of constraint logic programming for declaratively specifying problems requiring optimization or comparison and selection among alternative solutions to a query. PLP essentially separates the programming of a problem itself from the criteria specification of its solution selection. This thesis presents a declarative method of specifying and executing preference logic programs based on a tabled Prolog system. The method introduces a formal predicate mode declaration for designating certain predicates as optimization predicates, and stating the criteria for determining their optimal solutions via preference rules. A flexible mode declaration scheme is implemented in a tabled Prolog system, which provides an easy implementation vehicle for programming with preferences. Finally, experimental results and performance analysis demonstrate the effectiveness of the method.
Liu, Miao, "Logic Programming with Solution Preferences: A Declarative Method." (2006). Student Work. 3587.