Eintrag weiter verarbeiten
A model building framework for answer set programming with external computations
Gespeichert in:
| Zeitschriftentitel: | Theory and Practice of Logic Programming |
|---|---|
| Personen und Körperschaften: | , , , , , |
| In: | Theory and Practice of Logic Programming, 16, 2016, 4, S. 418-464 |
| Format: | E-Article |
| Sprache: | Englisch |
| veröffentlicht: |
Cambridge University Press (CUP)
|
| Schlagwörter: |
| author_facet |
EITER, THOMAS FINK, MICHAEL IANNI, GIOVAMBATTISTA KRENNWALLNER, THOMAS REDL, CHRISTOPH SCHÜLLER, PETER EITER, THOMAS FINK, MICHAEL IANNI, GIOVAMBATTISTA KRENNWALLNER, THOMAS REDL, CHRISTOPH SCHÜLLER, PETER |
|---|---|
| author |
EITER, THOMAS FINK, MICHAEL IANNI, GIOVAMBATTISTA KRENNWALLNER, THOMAS REDL, CHRISTOPH SCHÜLLER, PETER |
| spellingShingle |
EITER, THOMAS FINK, MICHAEL IANNI, GIOVAMBATTISTA KRENNWALLNER, THOMAS REDL, CHRISTOPH SCHÜLLER, PETER Theory and Practice of Logic Programming A model building framework for answer set programming with external computations Artificial Intelligence Computational Theory and Mathematics Hardware and Architecture Theoretical Computer Science Software |
| author_sort |
eiter, thomas |
| spelling |
EITER, THOMAS FINK, MICHAEL IANNI, GIOVAMBATTISTA KRENNWALLNER, THOMAS REDL, CHRISTOPH SCHÜLLER, PETER 1471-0684 1475-3081 Cambridge University Press (CUP) Artificial Intelligence Computational Theory and Mathematics Hardware and Architecture Theoretical Computer Science Software http://dx.doi.org/10.1017/s1471068415000113 <jats:title>Abstract</jats:title><jats:p>As software systems are getting increasingly connected, there is a need for equipping nonmonotonic logic programs with access to external sources that are possibly remote and may contain information in heterogeneous formats. To cater for this need,<jats:sc>hex</jats:sc>programs were designed as a generalization of answer set programs with an API style interface that allows to access arbitrary external sources, providing great flexibility. Efficient evaluation of such programs however is challenging, and it requires to interleave external computation and model building; to decide when to switch between these tasks is difficult, and existing approaches have limited scalability in many real-world application scenarios. We present a new approach for the evaluation of logic programs with external source access, which is based on a configurable framework for dividing the non-ground program into possibly overlapping smaller parts called evaluation units. The latter will be processed by interleaving external evaluation and model building using an evaluation graph and a model graph, respectively, and by combining intermediate results. Experiments with our prototype implementation show a significant improvement compared to previous approaches. While designed for<jats:sc>hex</jats:sc>-programs, the new evaluation approach may be deployed to related rule-based formalisms as well.</jats:p> A model building framework for answer set programming with external computations Theory and Practice of Logic Programming |
| doi_str_mv |
10.1017/s1471068415000113 |
| facet_avail |
Online |
| finc_class_facet |
Informatik Mathematik Technik |
| format |
ElectronicArticle |
| fullrecord |
blob:ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTAxNy9zMTQ3MTA2ODQxNTAwMDExMw |
| id |
ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTAxNy9zMTQ3MTA2ODQxNTAwMDExMw |
| institution |
DE-D275 DE-Bn3 DE-Brt1 DE-D161 DE-Gla1 DE-Zi4 DE-15 DE-Pl11 DE-Rs1 DE-105 DE-14 DE-Ch1 DE-L229 |
| imprint |
Cambridge University Press (CUP), 2016 |
| imprint_str_mv |
Cambridge University Press (CUP), 2016 |
| issn |
1471-0684 1475-3081 |
| issn_str_mv |
1471-0684 1475-3081 |
| language |
English |
| mega_collection |
Cambridge University Press (CUP) (CrossRef) |
| match_str |
eiter2016amodelbuildingframeworkforanswersetprogrammingwithexternalcomputations |
| publishDateSort |
2016 |
| publisher |
Cambridge University Press (CUP) |
| recordtype |
ai |
| record_format |
ai |
| series |
Theory and Practice of Logic Programming |
| source_id |
49 |
| title |
A model building framework for answer set programming with external computations |
| title_unstemmed |
A model building framework for answer set programming with external computations |
| title_full |
A model building framework for answer set programming with external computations |
| title_fullStr |
A model building framework for answer set programming with external computations |
| title_full_unstemmed |
A model building framework for answer set programming with external computations |
| title_short |
A model building framework for answer set programming with external computations |
| title_sort |
a model building framework for answer set programming with external computations |
| topic |
Artificial Intelligence Computational Theory and Mathematics Hardware and Architecture Theoretical Computer Science Software |
| url |
http://dx.doi.org/10.1017/s1471068415000113 |
| publishDate |
2016 |
| physical |
418-464 |
| description |
<jats:title>Abstract</jats:title><jats:p>As software systems are getting increasingly connected, there is a need for equipping nonmonotonic logic programs with access to external sources that are possibly remote and may contain information in heterogeneous formats. To cater for this need,<jats:sc>hex</jats:sc>programs were designed as a generalization of answer set programs with an API style interface that allows to access arbitrary external sources, providing great flexibility. Efficient evaluation of such programs however is challenging, and it requires to interleave external computation and model building; to decide when to switch between these tasks is difficult, and existing approaches have limited scalability in many real-world application scenarios. We present a new approach for the evaluation of logic programs with external source access, which is based on a configurable framework for dividing the non-ground program into possibly overlapping smaller parts called evaluation units. The latter will be processed by interleaving external evaluation and model building using an evaluation graph and a model graph, respectively, and by combining intermediate results. Experiments with our prototype implementation show a significant improvement compared to previous approaches. While designed for<jats:sc>hex</jats:sc>-programs, the new evaluation approach may be deployed to related rule-based formalisms as well.</jats:p> |
| container_issue |
4 |
| container_start_page |
418 |
| container_title |
Theory and Practice of Logic Programming |
| container_volume |
16 |
| format_de105 |
Article, E-Article |
| format_de14 |
Article, E-Article |
| format_de15 |
Article, E-Article |
| format_de520 |
Article, E-Article |
| format_de540 |
Article, E-Article |
| format_dech1 |
Article, E-Article |
| format_ded117 |
Article, E-Article |
| format_degla1 |
E-Article |
| format_del152 |
Buch |
| format_del189 |
Article, E-Article |
| format_dezi4 |
Article |
| format_dezwi2 |
Article, E-Article |
| format_finc |
Article, E-Article |
| format_nrw |
Article, E-Article |
| _version_ |
1792335231345229827 |
| geogr_code |
not assigned |
| last_indexed |
2024-03-01T14:41:16.28Z |
| geogr_code_person |
not assigned |
| openURL |
url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=A+model+building+framework+for+answer+set+programming+with+external+computations&rft.date=2016-07-01&genre=article&issn=1475-3081&volume=16&issue=4&spage=418&epage=464&pages=418-464&jtitle=Theory+and+Practice+of+Logic+Programming&atitle=A+model+building+framework+for+answer+set+programming+with+external+computations&aulast=SCH%C3%9CLLER&aufirst=PETER&rft_id=info%3Adoi%2F10.1017%2Fs1471068415000113&rft.language%5B0%5D=eng |
| SOLR | |
| _version_ | 1792335231345229827 |
| author | EITER, THOMAS, FINK, MICHAEL, IANNI, GIOVAMBATTISTA, KRENNWALLNER, THOMAS, REDL, CHRISTOPH, SCHÜLLER, PETER |
| author_facet | EITER, THOMAS, FINK, MICHAEL, IANNI, GIOVAMBATTISTA, KRENNWALLNER, THOMAS, REDL, CHRISTOPH, SCHÜLLER, PETER, EITER, THOMAS, FINK, MICHAEL, IANNI, GIOVAMBATTISTA, KRENNWALLNER, THOMAS, REDL, CHRISTOPH, SCHÜLLER, PETER |
| author_sort | eiter, thomas |
| container_issue | 4 |
| container_start_page | 418 |
| container_title | Theory and Practice of Logic Programming |
| container_volume | 16 |
| description | <jats:title>Abstract</jats:title><jats:p>As software systems are getting increasingly connected, there is a need for equipping nonmonotonic logic programs with access to external sources that are possibly remote and may contain information in heterogeneous formats. To cater for this need,<jats:sc>hex</jats:sc>programs were designed as a generalization of answer set programs with an API style interface that allows to access arbitrary external sources, providing great flexibility. Efficient evaluation of such programs however is challenging, and it requires to interleave external computation and model building; to decide when to switch between these tasks is difficult, and existing approaches have limited scalability in many real-world application scenarios. We present a new approach for the evaluation of logic programs with external source access, which is based on a configurable framework for dividing the non-ground program into possibly overlapping smaller parts called evaluation units. The latter will be processed by interleaving external evaluation and model building using an evaluation graph and a model graph, respectively, and by combining intermediate results. Experiments with our prototype implementation show a significant improvement compared to previous approaches. While designed for<jats:sc>hex</jats:sc>-programs, the new evaluation approach may be deployed to related rule-based formalisms as well.</jats:p> |
| doi_str_mv | 10.1017/s1471068415000113 |
| facet_avail | Online |
| finc_class_facet | Informatik, Mathematik, Technik |
| format | ElectronicArticle |
| format_de105 | Article, E-Article |
| format_de14 | Article, E-Article |
| format_de15 | Article, E-Article |
| format_de520 | Article, E-Article |
| format_de540 | Article, E-Article |
| format_dech1 | Article, E-Article |
| format_ded117 | Article, E-Article |
| format_degla1 | E-Article |
| format_del152 | Buch |
| format_del189 | Article, E-Article |
| format_dezi4 | Article |
| format_dezwi2 | Article, E-Article |
| format_finc | Article, E-Article |
| format_nrw | Article, E-Article |
| geogr_code | not assigned |
| geogr_code_person | not assigned |
| id | ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTAxNy9zMTQ3MTA2ODQxNTAwMDExMw |
| imprint | Cambridge University Press (CUP), 2016 |
| imprint_str_mv | Cambridge University Press (CUP), 2016 |
| institution | DE-D275, DE-Bn3, DE-Brt1, DE-D161, DE-Gla1, DE-Zi4, DE-15, DE-Pl11, DE-Rs1, DE-105, DE-14, DE-Ch1, DE-L229 |
| issn | 1471-0684, 1475-3081 |
| issn_str_mv | 1471-0684, 1475-3081 |
| language | English |
| last_indexed | 2024-03-01T14:41:16.28Z |
| match_str | eiter2016amodelbuildingframeworkforanswersetprogrammingwithexternalcomputations |
| mega_collection | Cambridge University Press (CUP) (CrossRef) |
| physical | 418-464 |
| publishDate | 2016 |
| publishDateSort | 2016 |
| publisher | Cambridge University Press (CUP) |
| record_format | ai |
| recordtype | ai |
| series | Theory and Practice of Logic Programming |
| source_id | 49 |
| spelling | EITER, THOMAS FINK, MICHAEL IANNI, GIOVAMBATTISTA KRENNWALLNER, THOMAS REDL, CHRISTOPH SCHÜLLER, PETER 1471-0684 1475-3081 Cambridge University Press (CUP) Artificial Intelligence Computational Theory and Mathematics Hardware and Architecture Theoretical Computer Science Software http://dx.doi.org/10.1017/s1471068415000113 <jats:title>Abstract</jats:title><jats:p>As software systems are getting increasingly connected, there is a need for equipping nonmonotonic logic programs with access to external sources that are possibly remote and may contain information in heterogeneous formats. To cater for this need,<jats:sc>hex</jats:sc>programs were designed as a generalization of answer set programs with an API style interface that allows to access arbitrary external sources, providing great flexibility. Efficient evaluation of such programs however is challenging, and it requires to interleave external computation and model building; to decide when to switch between these tasks is difficult, and existing approaches have limited scalability in many real-world application scenarios. We present a new approach for the evaluation of logic programs with external source access, which is based on a configurable framework for dividing the non-ground program into possibly overlapping smaller parts called evaluation units. The latter will be processed by interleaving external evaluation and model building using an evaluation graph and a model graph, respectively, and by combining intermediate results. Experiments with our prototype implementation show a significant improvement compared to previous approaches. While designed for<jats:sc>hex</jats:sc>-programs, the new evaluation approach may be deployed to related rule-based formalisms as well.</jats:p> A model building framework for answer set programming with external computations Theory and Practice of Logic Programming |
| spellingShingle | EITER, THOMAS, FINK, MICHAEL, IANNI, GIOVAMBATTISTA, KRENNWALLNER, THOMAS, REDL, CHRISTOPH, SCHÜLLER, PETER, Theory and Practice of Logic Programming, A model building framework for answer set programming with external computations, Artificial Intelligence, Computational Theory and Mathematics, Hardware and Architecture, Theoretical Computer Science, Software |
| title | A model building framework for answer set programming with external computations |
| title_full | A model building framework for answer set programming with external computations |
| title_fullStr | A model building framework for answer set programming with external computations |
| title_full_unstemmed | A model building framework for answer set programming with external computations |
| title_short | A model building framework for answer set programming with external computations |
| title_sort | a model building framework for answer set programming with external computations |
| title_unstemmed | A model building framework for answer set programming with external computations |
| topic | Artificial Intelligence, Computational Theory and Mathematics, Hardware and Architecture, Theoretical Computer Science, Software |
| url | http://dx.doi.org/10.1017/s1471068415000113 |