Preference relations in CR-models: An inference engine for CR-prolog

Date
2014-12
Authors
Whittington, Austin J.
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract

This paper describes modifications of the CR-Models inference engine for CR-Prolog. CR-Models, by design, has the limitations that preferences must be transitive and exclusive. This paper gives a framework and implementation which relaxes these limitations, allowing CR-Models to use preference relations which are non-exclusive, and non-, or partially, transitive. Additionally, it explores the use of multiple preferences in a single CR-Prolog program. These new preference relations and their properties are illustrated by a number of examples.

Description
Keywords
Answer set prolog (ASP), Preference relations, CR-prolog, Knowledge representation
Citation