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 body is true, then a should be true. If a can't be true, then b has 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.

Tommi Syrjänen>
Last modified: Wed Jun 4 16:28:53 EEST 2003