PREDICTOR is a system capable of estimating the grounding size (number of ground rules in the grounded program) for non-ground answer set programs. It performs a statistical analysis programs to make inferences. Its ideas stem from estimates used in join-order query optimization for relational databases.
PREDICTOR version 1.0.0 is available for download here (under MIT license):
PREDICTOR has been incorporated into two ASP rewriting tools, namely, PROJECTOR and LPOPT:
Theoretical and practical groundings for PREDICTOR can be found in:
- Grounding Size Predictions for Answer Set Programs (link), Nicholas Hippen, Master Thesis, University of Nebraska Omaha (2019)
- Estimating Grounding Sizes of Logic Programs under Answer Set Semantics (link), Nicholas Hipen and Yuliya Lierler, JELIA (2021)
- System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics (link), Daniel Bresnahan, Nicholas Hipen and Yuliya Lierler, technical report (2022)
Comments, questions, and/or bugs can be reported to Nicholas Hippen and Yuliya Lierler.