Implementing theGG-PR API
Implementing theGG-PR API
- Queries defined by non-monotonic proof system (e.g., Theorist), defined for PL distinguised as
PL = PLnon-defeasibl + PLdefeasible
- Abductive consistency-based proof system
PLnon-defeasible + plan(P,O) + part-of(O,S) |— plan(P, S)plan(P,O) + part-of(O,S) Í PLdefeasiblePLnon-defeasible + plan(P,O) + part-of(O,S) + plan(P, S) |— false