search

potassco / clingo

🤔 A grounder and solver for logic programs.
https://potassco.org/clingo
MIT License
599 stars 79 forks source link

*Anytime* Cautious Reasoning #422

Closed mahi045 closed 1 year ago

mahi045 commented 1 year ago

Hi, Is it possible to compute anytime cautious reasoning using clingo?

rkaminsk commented 1 year ago

The solver reports a lower and upper bound on the cautious consequences whenever a model is found. You see Consequences: [l;u] in the output. Unfortunately, there is no easy way to check which atoms have already been shown to be cautious consequences. This is rather a problem with the API, which does not (conveniently) expose this information. One could still get this information but it would require using a propagator.

mahi045 commented 1 year ago

I see, thank you

rkaminsk commented 1 year ago

I see, thank you

If this is important for your application, it would probably be easy to extend the API to query whether an atom is a consequence.

rkaminsk commented 1 year ago

I implemented a first draft in #423.