search

alviano / wasp

Apache License 2.0
20 stars 9 forks source link

Compute **anytime** cautious reasoning #8

Closed mahi045 closed 6 months ago

mahi045 commented 1 year ago

I am using wasp to compute cautious reasoning. What is the command to compute anytime cautious reasoning using wasp? Is it enough to use the params --minimization-cautious-enum or --minimization-cautious with ./wasp command?

Thanks in advance.

dodaro commented 1 year ago

Hi, the option to compute cautious consequences is --query-algorithm=alg where alg is one of ict, or, cb, chunk-static, chunk-dynamic, preferences, one, kdyn, pmres, pi, or ict-preferences.

If you want anytime answers, my suggestion is to start with --query-algorithm=ict and --query-verbosity=1 (which enables the print of certain answers produced during the computation).