Since the method proposed in https://www.researchgate.net/publication/262599199_Unifying_Provenance_and_Debugging_for_Answer-Set_Programs?ev=prf_pub
is based on meta-programming, it is possible to use existing state-of-the-art software systems
that support well-founded and answer-set semantics, which allowed us to start developing this new tool by extending the one that exists related to a debugging approach: Spock, hence the name Cpt. Kirk.
Furthermore and more importantly, one direction to explore is to use the technique of reification as described in "metaASP" to obtain the implicants via a saturation technique, and obtaining the prime implicants of provenance formulae by optimization and thus proper minimal justifications.
Features
- Compute why-not provenance models for Answer Set programs.
- Map WnP models with debugging (spock) models.
Categories
Artificial IntelligenceLicense
Creative Commons Attribution LicenseFollow Cpt Kirk
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Cpt Kirk!