Modular Nonmonotonic Logic Programming Revisited
作者： Minh Dao-Tran , Thomas Eiter , Michael Fink , Thomas Krennwallner
DOI: 10.1007/978-3-642-02846-5_16
关键词: Higher-order logic 、 Answer set programming 、 Logic programming 、 Stable model semantics 、 Well-founded semantics 、 Horn clause 、 Theoretical computer science 、 Computational logic 、 Computer science 、 Functional logic programming
摘要: Recently, enabling modularity aspects in Answer Set Programming (ASP) has gained increasing interest to ease the composition of program parts an overall program. In this paper, we focus on modular nonmonotonic logic programs (MLP) under answer set semantics, whose modules may have contextually dependent input provided by other modules. Moreover, (mutually) recursive module calls are allowed. We define a model-theoretic semantics for extended setting, show that many desired properties ordinary programming generalize our ASP, and determine computational complexity new formalism. investigate relationship disjunctive with well-defined input/output interface (DLP-functions) they can be embedded into MLPs.
springer.com
core.ac.uk 
sci-hub.st 参考文章(20)
Grigoris Antoniou, Carlos Viegas Damásio, Anastasia Analyti, A principled framework for modular web rule bases and its semantics principles of knowledge representation and reasoning. pp. 390- 400 ,(2008)
Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev, Semi-qualitative Reasoning about Distances: A Preliminary Report Springer US. pp. 37- 56 ,(2000) , 10.1007/3-540-40006-0_4
Chitta Baral, Saadat Anwar, Luis Tari, A language for modular answer set programming: Application to ACC tournament scheduling international joint conference on artificial intelligence. pp. 277- 292 ,(2005)
Francesco Calimeri, Giovambattista Ianni, Template programs for Disjunctive Logic Programming: An operational semantics Ai Communications. ,vol. 19, pp. 193- 206 ,(2006)
Paola Mello, Evelina Lamma, Modularity in logic programming international conference on logic programming. pp. 15- 17 ,(1994)
Chitta Baral, Juraj Dzifcak, Hiro Takahashi, Macros, macro calls and use of ensembles in modular answer set programming international conference on logic programming. pp. 376- 390 ,(2006) , 10.1007/11799573_28
Stefan Woltran, Hans Tompits, Tomi Janhunen, Emilia Oikarinen, Modularity aspects of disjunctive stable models Journal of Artificial Intelligence Research. ,vol. 35, pp. 813- 857 ,(2009) , 10.1613/JAIR.2810
Thomas Eiter, Georg Gottlob, Helmut Veith, Modular Logic Programming and Generalized Quantifiers international conference on logic programming. ,vol. 1265, pp. 290- 309 ,(1997) , 10.1007/3-540-63255-7_22
Axel Polleres, Cristina Feier, Andreas Harth, Rules with Contextually Scoped Negation Lecture Notes in Computer Science. pp. 332- 347 ,(2006) , 10.1007/11762256_26
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits, Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning Lecture Notes in Computer Science. pp. 273- 287 ,(2006) , 10.1007/11762256_22