Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
The Design of the Seventh Answer Set Programming Competition Read chapter Read first chapter

2017 | OriginalPaper | Chapter

Explaining Inconsistency in Answer Set Programs and Extensions

Author : Christoph Redl

Published in: Logic Programming and Nonmonotonic Reasoning

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

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!

inform now

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!

inform now

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!

inform now
previous chapter Answer Set Programs with Queries over Subprograms
next chapter Blending Lazy-Grounding and CDNL Search for Answer-Set Solving
Footnotes
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.
 
Literature
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
Metadata
Title
Explaining Inconsistency in Answer Set Programs and Extensions
Author
Christoph Redl
Copyright Year
2017
Book
Logic Programming and Nonmonotonic Reasoning

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

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

Copyright Year: 2017

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

Premium Partner

    Image Credits