Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
The Design of the Seventh Answer Set Programming Competition Kapitel lesen Erstes Kapitel lesen

2017 | OriginalPaper | Buchkapitel

Explaining Inconsistency in Answer Set Programs and Extensions

verfasst von : Christoph Redl

Erschienen in: Logic Programming and Nonmonotonic Reasoning

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Answer Set Programming (ASP) is a well-known problem solving approach based on nonmonotonic logic programs. hex-programs extend ASP with external atoms for accessing arbitrary external information. In this paper we study inconsistent ASP- and hex-programs, i.e., programs which do not possess answer sets, and introduce a novel notion of inconsistency reasons for characterizing their inconsistency depending on the input facts. This problem is mainly motivated by upcoming applications for optimizations of the evaluation algorithms for hex-programs. Further applications can be found in ASP debugging. We then analyze the complexity of reasoning problems related to the computation of such inconsistency reasons. Finally, we present a meta-programming encoding in disjunctive ASP which computes inconsistency reasons for given normal logic programs, and a basic procedural algorithm for computing inconsistency reasons for general hex-programs.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Answer Set Programs with Queries over Subprograms
Nächstes Kapitel Blending Lazy-Grounding and CDNL Search for Answer-Set Solving
Fußnoten
1
The distinction is mainly relevant for nonground programs, which we disregard in this paper.
 
2
For ordinary \(\varPi \), these are Gelfond & Lifschitz’s answer sets.
 
Literatur
1.
Brain, M., Gebser, M., Pührer, J., Schaub, T., Tompits, H., Woltran, S.: Debugging ASP programs by means of ASP. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, pp. 31–43. Springer, Heidelberg (2007). doi:10.​1007/​978-3-540-72200-7_​5 CrossRef
2.
Brain, M., Vos, M.D.: Debugging logic programs under the answer set semantics. In: Vos, M.D., Provetti, A. (eds.) Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd International ASP 2005 Workshop, Bath, UK, 27–29 September 2005, CEUR Workshop Proceedings, vol. 142. CEUR-WS.org (2005)
3.
Eiter, T., Fink, M., Ianni, G., Krennwallner, T., Redl, C., Schüller, P.: A model building framework for answer set programming with external computations. Theor. Pract. Logic Program. 16(4), 418–464 (2016)MathSciNetCrossRef
4.
Eiter, T., Fink, M., Krennwallner, T., Redl, C., Schüller, P.: Efficient HEX-program evaluation based on unfounded sets. J. Artif. Intell. Res. 49, 269–321 (2014)MathSciNetMATH
5.
Eiter, T., Fink, M., Schüller, P., Weinzierl, A.: Finding explanations of inconsistency in multi-context systems. Artif. Intell. 216, 233–274 (2014)MathSciNetCrossRefMATH
6.
Eiter, T., Fink, M., Stepanova, D.: Inconsistency management for description logic programs and beyond. In: Faber, W., Lembo, D. (eds.) RR 2013. LNCS, vol. 7994, pp. 1–3. Springer, Heidelberg (2013). doi:10.​1007/​978-3-642-39666-3_​1 CrossRef
7.
Eiter, T., Gottlob, G., Leone, N.: Semantics and complexity of abduction from default theories. Artif. Intell. 90(12), 177–223 (1997)MathSciNetCrossRefMATH
8.
Eiter, T., Polleres, A.: Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications. TPLP 6(1–2), 23–60 (2006)MathSciNetMATH
9.
Faber, W.: Unfounded sets for disjunctive logic programs with arbitrary aggregates. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol. 3662, pp. 40–52. Springer, Heidelberg (2005). doi:10.​1007/​11546207_​4 CrossRef
10.
11.
Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9(3–4), 365–386 (1991)CrossRefMATH
12.
Redl, C.: On equivalence and inconsistency of answer set programs with external sources. In: Proceedings of the Thirty-First AAAI Conference (AAAI 2017), San Francisco, California, USA. AAAI Press, February 2017
13.
14.
Syrjänen, T.: Debugging inconsistent answer set programs. In: Proceedings of the 11th International Workshop on Non-Monotonic Reasoning, pp. 77–84. Lake District, May 2006
Metadaten
Titel
Explaining Inconsistency in Answer Set Programs and Extensions
verfasst von
Christoph Redl
Copyright-Jahr
2017
Buch
Logic Programming and Nonmonotonic Reasoning

Print ISBN: 978-3-319-61659-9

Electronic ISBN: 978-3-319-61660-5

Copyright-Jahr: 2017

DOI
https://doi.org/10.1007/978-3-319-61660-5_16