Re: [Potassco-users] clingo for 3-valued stable models?

[Rehan A. <ra...@st...>]

I believe the grounding alone (without running clasp) should give you the
well-founded model.
You can process the ground program to build the well-founded model as
follows.
In the ground program:

1) if x is a fact, it is true.
2) if x doesn't exist, it is false.
3) If there is at least one rule with x as head, it is unknown.

E.g.:

a :- not b.
b :- not a.

c.
d :- c.
e :- not d.

c :- not a.

a and b are unknown; c,d, must be true; and e must be false.

If I run this: clingo --text myprog.lp, this is what I get:

c.
a:-not b.
b:-not a.
d.

This takes care of the well-founded model at least (the smallest 3-valued
stable model?).

Rehan



On 18 April 2014 00:16, Torsten Schaub <to...@cs...> wrote:

> Hi Claudia,
>
> no, I'm afraid there's no option in our tools.
> But I'd assume it should be easy to encode it, or..?
>
>  Ciao -torsten
>
> "Schulz, Claudia" <cla...@im...> writes:
>
> > [1:multipart/alternative Hide]
> > [1/1:text/plain Hide]
> > Dear all,
> >
> > I am wondering whether there is an option in clingo to compute 3-valued
> stable models rather than answer sets.
> > I couldn't find anything like this so far...
> >
> > Thanks,
> > Claudia
> > [1/2:text/html Show]
> > [2:text/plain Hide]
> >
> ------------------------------------------------------------------------------
> > Learn Graph Databases - Download FREE O'Reilly Book
> > "Graph Databases" is the definitive new guide to graph databases and
> their
> > applications. Written by three acclaimed leaders in the field,
> > this first edition is now available. Download your free book today!
> > http://p.sf.net/sfu/NeoTech
> > [3:text/plain Hide]
> > _______________________________________________
> > Potassco-users mailing list
> > Pot...@li...
> > https://lists.sourceforge.net/lists/listinfo/potassco-users
>
>
> ------------------------------------------------------------------------------
> Learn Graph Databases - Download FREE O'Reilly Book
> "Graph Databases" is the definitive new guide to graph databases and their
> applications. Written by three acclaimed leaders in the field,
> this first edition is now available. Download your free book today!
> http://p.sf.net/sfu/NeoTech
> _______________________________________________
> Potassco-users mailing list
> Pot...@li...
> https://lists.sourceforge.net/lists/listinfo/potassco-users
>