تقرير
A Machine Learning guided Rewriting Approach for ASP Logic Programs
| العنوان: | A Machine Learning guided Rewriting Approach for ASP Logic Programs |
|---|---|
| المؤلفون: | Mastria, Elena, Zangari, Jessica, Perri, Simona, Calimeri, Francesco |
| المصدر: | EPTCS 325, 2020, pp. 261-267 |
| سنة النشر: | 2020 |
| المجموعة: | Computer Science |
| مصطلحات موضوعية: | Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Computer Science - Logic in Computer Science |
| الوصف: | Answer Set Programming (ASP) is a declarative logic formalism that allows to encode computational problems via logic programs. Despite the declarative nature of the formalism, some advanced expertise is required, in general, for designing an ASP encoding that can be efficiently evaluated by an actual ASP system. A common way for trying to reduce the burden of manually tweaking an ASP program consists in automatically rewriting the input encoding according to suitable techniques, for producing alternative, yet semantically equivalent, ASP programs. However, rewriting does not always grant benefits in terms of performance; hence, proper means are needed for predicting their effects with this respect. In this paper we describe an approach based on Machine Learning (ML) to automatically decide whether to rewrite. In particular, given an ASP program and a set of input facts, our approach chooses whether and how to rewrite input rules based on a set of features measuring their structural properties and domain information. To this end, a Multilayer Perceptrons model has then been trained to guide the ASP grounder I-DLV on rewriting input rules. We report and discuss the results of an experimental evaluation over a prototypical implementation. Comment: In Proceedings ICLP 2020, arXiv:2009.09158 |
| نوع الوثيقة: | Working Paper |
| DOI: | 10.4204/EPTCS.325.31 |
| URL الوصول: | http://arxiv.org/abs/2009.10252 |
| رقم الأكسشن: | edsarx.2009.10252 |
| قاعدة البيانات: | arXiv |
| DOI: | 10.4204/EPTCS.325.31 |
|---|