\(\mathbb{FDNC}\): Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols

  • Mantas Šimkus
  • Thomas Eiter
Conference paper

DOI: 10.1007/978-3-540-75560-9_37

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4790)
Cite this paper as:
Šimkus M., Eiter T. (2007) \(\mathbb{FDNC}\): Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols. In: Dershowitz N., Voronkov A. (eds) Logic for Programming, Artificial Intelligence, and Reasoning. LPAR 2007. Lecture Notes in Computer Science, vol 4790. Springer, Berlin, Heidelberg

Abstract

Current Answer Set Programming systems are built on non-monotonic logic programs without function symbols; as well-known, they lead to high undecidability in general. However, function symbols are highly desirable for various applications, which challenges to find meaningful and decidable fragments of this setting. We present the class \(\mathbb{FDNC}\) of logic programs which allows for function symbols, disjunction, non-monotonic negation under answer set semantics, and constraints, while still retaining the decidability of the standard reasoning tasks. Thanks to these features, they are a powerful formalism for rule-based modeling of applications with potentially infinite processes and objects, which allows also for common-sense reasoning. We show that consistency checking and brave reasoning are ExpTime-complete in general, but have lower complexity for restricted fragments, and outline worst-case optimal reasoning procedures for these tasks. Furthermore, we present a finite representation of the possibly infinitely many infinite stable models of an \(\mathbb{FDNC}\) program, which may be exploited for knowledge compilation purposes.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Mantas Šimkus
    • 1
  • Thomas Eiter
    • 1
  1. 1.Institut für Informationssysteme, Technische Universität Wien, Favoritenstraße 9-11, A-1040 ViennaAustria

Personalised recommendations