The program psmodels is a modification of smodels that can be used to compute preferred answer sets under the ordered disjunction semantics. Psmodels also needs lparse version 1.0.10 or later to generate the input files.
An ordered disjunctions is of the form
a x b :- body.and informally it means that if
bodyis true, then
ashould be true. If
acan't be true, then
bhas to be true. The formal definition can be found in:
The psmodels distribution archive contains a README file that explains how psmodels and lparse work in common.