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).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Nesting of subjective literals is not considered here.
References
Cabalar, P., Fandinno, J., del Cerro, L.F.: Splitting epistemic logic programs. Theory Pract. Log. Program. 21(3), 296–316 (2021)
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)
Costantini, S., Formisano, A.: Negation as a resource: a novel view on answer set semantics. Fund. Inform. 140(3–4), 279–305 (2015)
Costantini, S., Formisano, A.: Adding metalogic features to knowledge representation languages. Fundam. Informaticae 181(1), 71–98 (2021)
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)
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_29
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)
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)
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)
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)
Leone, N., Rullo, P., Scarcello, F.: Disjunctive stable models: unfounded sets, fixpoint semantics, and computation. Inf. Comput. 135(2), 69–112 (1997)
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_24
Lifschitz, V., Turner, H.: Splitting a logic program. In: Proceedings of ICLP 1994, pp. 23–37. MIT Press (1994)
Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1987). https://doi.org/10.1007/978-3-642-96826-6
Shen, Y., Eiter, T.: Evaluating epistemic negation in answer set programming. Artif. Intell. 237, 115–135 (2016)
Shen, Y., Eiter, T.: Constraint monotonicity, epistemic splitting and foundedness are too strong in answer set programming. CoRR, abs/2010.00191 (2020)
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_40
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_20
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
A Epistemic Logic Programs: Useful Properties
A Epistemic Logic Programs: Useful Properties
Following [1], an (abstract) semantics \(\mathcal {S}\) is a function mapping each program \(\varPi \) into sets of \(\mathcal{{S}}\)-world view of \(\varPi \), i.e., sets of sets of objective literals, where if \(\varPi \) is an objective program, then the unique member of \(\mathcal{{S}}(\varPi )\) is the set of its stable models. Drawing inspiration from the Splitting Theorem [17], an analogous properties is defined for ELPs:
Definition 1 (Epistemic splitting set. [1, Definition 4])
A set of atoms \(U \subseteq At\) is said to be an epistemic splitting set of a program \(\varPi \) if for any rule r in \(\varPi \) one of the following conditions hold: (i) \( Atoms (r) \subseteq U\); (ii) \( Body_{obj} (r) \cup Head (r))\ \cap \ U = \emptyset \). An epistemic splitting of \(\varPi \) is a pair \(\langle B_U(\varPi ),T_U(\varPi )\rangle \) satisfying \(B_U(\varPi ) \cap T_U(\varPi ) = \emptyset \), \(B_U(\varPi ) \cup T_U(\varPi ) = \varPi \), and also that all rules in \(B_U(\varPi )\) satisfy (i) and all rules in \(T_U(\varPi )\) satisfy (ii).
Intuitively, condition (ii) means that the top program \(T_U(\varPi )\) may refer to atoms in U which occur as heads of rules in the bottom \(B_U(\varPi )\), only through epistemic operators.
Epistemic splitting can be used, similarly to ‘traditional’ Lifschitz &Turner splitting, for iterative computation of world views. Indeed, Cabalar et al. [1] propose to compute first the world views of the bottom program \(B_U(\varPi )\) and, for each of them, simplify the corresponding subjective literals in the top part. Given an epistemic splitting set U for \(\varPi \) and a set of interpretations W, they define the subjective reduct of the top with respect to W and signature U, called \(E_U(\varPi ,W)\). This operator, according to [1] considers all subjective literals L occurring in \(T_U(\varPi )\), such that the atoms occurring in them belong to \(B_U(\varPi )\). In particular, L will be substituted by \(\top \) in \(E_U(\varPi ,W)\) if \(W \models L\), and by \(\bot \) otherwise. So, \(E_U(\varPi ,W)\) is a version of \(T_U(\varPi )\) where some subjective literal, namely those referring to the bottom part of the program, have been simplified as illustrated.
Definition [1, Definition 5]
Given a semantics \(\mathcal {S}\), a pair \(\langle W_b,W_t \rangle \) is said to be an \(\mathcal {S}\)-solution of \(\varPi \) with respect to an epistemic splitting set U if \(W_b\) is a \(\mathcal {S}\)-world view of \(B_U(\varPi )\) and \(W_t\) is a \(\mathcal {S}\)-world view of \(E_U(\varPi ,W_b)\).
The definition is parametric w.r.t. \(\mathcal {S}\), as each different semantics \(\mathcal {S}\) will define in its own way the \(\mathcal {S}\)-solutions for a given U and \(\varPi \). So, world views of the entire program will be obtainable by suitably combining some world view of the bottom with some world view of the top, i.e., the world views of the entire program should be obtained as (where \(I_b\) and \(I_t\) are answer sets occurring respectively in \(W_b\) and \(W_t\)): \( W_b \sqcup W_t = \{ I_b \cup I_t | I_b \in W_b \wedge I_t \in W_t \}\). Therefore, the following property can be stated:
Property (Epistemic splitting. [1, Property 4])
A semantics \(\mathcal {S}\) satisfies epistemic splitting if, for any epistemic splitting set U of any given program \(\varPi \): W is an \(\mathcal {S}\)-world view of \(\varPi \) iff there is an \(\mathcal {S}\)-solution \(\langle W_b,W_t \rangle \) of \(\varPi \) with respect to U such that \(W = W_b \sqcup W_t\).
As discussed in [1], many semantics do not satisfy this property, which is satisfied only by the very first semantics of ELPs, proposed in [12] (and in some of its generalizations), and by Founded Autoepistemic Equilibrium Logic (FAEEL), defined in [2]. Epistemic splitting property implies subjective constraint monotonicity.
Another interesting property is foundedness. Again, such a notion has been extended from objective programs (see [1, Definition 15]). Intuitively, a set X of atoms is unfounded w.r.t. a (objective) program \(\varPi \) and an interpretation I, if for every \(A \in X\) there is no rule of r by which A might be derived, without incurring in positive circularities and without forcing the derivation of more than one atom from the head of a disjunctive rule (see, e.g., [15] for a formal definition). For ELPs one has to consider that unfoundedness can originate also from positive dependencies on positive subjective literals, like, e.g., in the program \(A \leftarrow {\textbf {K}}A\). Among the existing semantics, only FAEEL satisfies foundedness.
Definition [1, Definition 6] [Epistemic Stratification]
We say that an ELP \(\varPi \) is epistemically stratified if we can assign an integer mapping \(\lambda : At \rightarrow N\) to each atom [occurring in the program] such that:
-
\(\lambda (a) = \lambda (b)\) for any rule \(r \in \varPi \) and atoms \(a,b \in ( Atoms (r) \setminus Body_{subj} (r))\), and
-
\(\lambda (a) > \lambda (b)\) for any pair of atoms a, b for which there is a rule \(r \in \varPi \) with \(a \in ( Head(r) \cup Body_{obj} (r))\) and \(b \in Body_{subj} (r)\).
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Costantini, S., Formisano, A. (2022). Epistemic Logic Programs: A Study of Some Properties. In: Gottlob, G., Inclezan, D., Maratea, M. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2022. Lecture Notes in Computer Science(), vol 13416. Springer, Cham. https://doi.org/10.1007/978-3-031-15707-3_11
Download citation
DOI: https://doi.org/10.1007/978-3-031-15707-3_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-15706-6
Online ISBN: 978-3-031-15707-3
eBook Packages: Computer ScienceComputer Science (R0)