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:
- G. Brewka: Logic Programming with Ordered Disjunction, Proc. AAAI-02, Edmonton, Canada, to appear
- G. Brewka, I. Niemelä, T. Syrjänen: Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs, Proc. JELIA'02, to appear

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