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

Previous slide

Next slide

Back to the first slide

View Graphic Version