nach oben

Erschienen in:

2022 | OriginalPaper | Buchkapitel

Epistemic Logic Programs: A Study of Some Properties

verfasst von : Stefania Costantini, Andrea Formisano

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

KI-gestützte Suche

Aus

Abstract

Epistemic Logic Programs (ELPs), extend Answer Set Programming (ASP) with epistemic operators. The semantics of such programs is provided in terms of world views, which are sets of belief sets. Different semantic approaches propose different characterizations of world views. Recent work has introduced semantic properties that should be met by any semantics for ELPs, like the Epistemic Splitting Property, that, if satisfied, allows to modularly compute world views in a bottom-up fashion, analogously to ‘traditional’ ASP. We analyze the possibility to change the perspective, shifting from a bottom-up to a top-down approach to splitting. Our new definition: (i) copes with concerns regarding unfoundedness of world views and subjective constraint monotonicity; (ii) is provably applicable to many of the existing semantics; (iii) operates similarly to “traditional” ASP; (iv) provably coincides with the bottom-up notion of splitting at least on the class of Epistemically Stratified Programs (which are, intuitively, those where the use of epistemic operators is stratified).

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 Metric Temporal Answer Set Programming over Timed Traces

Nächstes Kapitel Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring

Nur mit Berechtigung zugänglich

Nesting of subjective literals is not considered here.

Cabalar, P., Fandinno, J., del Cerro, L.F.: Splitting epistemic logic programs. Theory Pract. Log. Program. 21(3), 296–316 (2021)MathSciNetCrossRefMATH

Cabalar, P., Fandinno, J., Fariñas del Cerro, L.: Splitting epistemic logic programs. In: Balduccini, M., Lierler, Y., Woltran, S. (eds.) Proceedings of LPNMR 2019. LNCS, vol. 11481, pp. 120–133. Springer, Heidelberg (2019). https://doi.org/10.1007/978-3-030-20528-7_10

Costantini, S.: On the existence of stable models of non-stratified logic programs. Theory Pract. Logic Program. 6(1–2) (2006)

Costantini, S.: About epistemic negation and world views in epistemic logic programs. Theory Pract. Log. Program. 19(5–6), 790–807 (2019)MathSciNetCrossRefMATH

Costantini, S., Formisano, A.: Negation as a resource: a novel view on answer set semantics. Fund. Inform. 140(3–4), 279–305 (2015)MathSciNetMATH

Costantini, S., Formisano, A.: Adding metalogic features to knowledge representation languages. Fundam. Informaticae 181(1), 71–98 (2021)MathSciNetCrossRefMATH

Dix, J.: A classification theory of semantics of normal logic programs I-II. Fundamenta Informaticae 22(3), 227–255 and 257–288 (1995)

Fariñas del Cerro, L., Herzig, A., Su, E.I.: Epistemic equilibrium logic. In: Yang, Q., Wooldridge, M. (eds.) Proceedings of IJCAI 2015, pp. 2964–2970. AAAI Press (2015)

Gelfond, M.: Logic programming and reasoning with incomplete information. Ann. Math. Artif. Intell. 12(1–2), 89–116 (1994)MathSciNetCrossRefMATH

10.

Gelfond, M.: New semantics for epistemic specifications. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS (LNAI), vol. 6645, pp. 260–265. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-20895-9_29CrossRef

11.

Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, R. (eds.) Proceedings of ICLP/ILPS, pp. 1070–1080. MIT Press (1988)

12.

Gelfond, M., Przymusinska, H.: Definitions in epistemic specifications. In: Nerode, A., Marek, V.W., Subrahmanian, V.S. (eds.) Proceedings of the 1st International Workshop on Logic Programming and Non-monotonic Reasoning, pp. 245–259. The MIT Press (1991)

13.

Kahl, P., Watson, R., Balai, E., Gelfond, M., Zhang, Y.: The language of epistemic specifications (refined) including a prototype solver. J. Log. Comput. 30(4), 953–989 (2015)MathSciNetCrossRefMATH

14.

Kahl, P.T., Leclerc, A.P.: Epistemic logic programs with world view constraints. In: Palù, A.D., Tarau, P., Saeedloei, N., Fodor, P. (eds.) Technical Communications of ICLP 2018, vol. 64 of OASIcs, pp. 1:1–1:17. Schloss Dagstuhl (2018)

15.

Leone, N., Rullo, P., Scarcello, F.: Disjunctive stable models: unfounded sets, fixpoint semantics, and computation. Inf. Comput. 135(2), 69–112 (1997)MathSciNetCrossRefMATH

16.

Lifschitz, V.: Thirteen definitions of a stable model. In: Blass, A., Dershowitz, N., Reisig, W. (eds.) Fields of Logic and Computation. LNCS, vol. 6300, pp. 488–503. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-15025-8_24CrossRefMATH

17.

Lifschitz, V., Turner, H.: Splitting a logic program. In: Proceedings of ICLP 1994, pp. 23–37. MIT Press (1994)

18.

Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1987). https://doi.org/10.1007/978-3-642-96826-6

19.

Shen, Y., Eiter, T.: Evaluating epistemic negation in answer set programming. Artif. Intell. 237, 115–135 (2016)MathSciNetCrossRefMATH

20.

Shen, Y., Eiter, T.: Constraint monotonicity, epistemic splitting and foundedness are too strong in answer set programming. CoRR, abs/2010.00191 (2020)

21.

Su, E.I.: Epistemic answer set programming. In: Calimeri, F., Leone, N., Manna, M. (eds.) JELIA 2019. LNCS (LNAI), vol. 11468, pp. 608–626. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-19570-0_40CrossRef

22.

Truszczyński, M.: Revisiting epistemic specifications. In: Balduccini, M., Son, T.C. (eds.) Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning. LNCS (LNAI), vol. 6565, pp. 315–333. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-20832-4_20CrossRef

Titel: Epistemic Logic Programs: A Study of Some Properties
verfasst von: Stefania Costantini
Andrea Formisano
Verlag: Springer International Publishing
Buch: Logic Programming and Nonmonotonic Reasoning
Print ISBN: 978-3-031-15706-6

Electronic ISBN: 978-3-031-15707-3

Copyright-Jahr: 2022
DOI: https://doi.org/10.1007/978-3-031-15707-3_11

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

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

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner