This is a preliminary report on the work aimed at making CR-Prolog -- a version of ASP with consistency restoring rules -- more suitable for use in teaching and large applications. First we describe a sorted version of CR-Prolog called SPARC. Second, we translate a basic version of the CR-Prolog into the language of DLV and compare the performance with the state of the art CR-Prolog solver. The results form the foundation for future more efficient and user friendly implementation of SPARC and shed some light on the relationship between two useful knowledge representation constructs: consistency restoring rules and weak constraints of DLV.
@article{arxiv.1301.1386,
title = {SPARC - Sorted ASP with Consistency Restoring Rules},
author = {Evgenii Balai and Michael Gelfond and Yuanlin Zhang},
journal= {arXiv preprint arXiv:1301.1386},
year = {2013}
}
Comments
Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary