Conditional Syntax and Semantic Splittings of Strongly and Weakly Consistent Belief Bases

Abstract

Conditional syntax splitting for inductive inference from conditional belief bases has been proposed as a generalization of syntax splitting, which also covers cases where the conditionals in the subbases may share some atoms. While p-entailment and system Z fail to satisfy conditional syntax splitting, two other inductive inference operators, lexicographic inference and system W, have been shown to satisfy this property for reasoning from strongly consistent belief bases. In this article, we introduce the concept of conditional semantic splitting of a belief base. For both syntax splitting and semantic splitting, we take not only strongly consistent belief bases into account, but also belief bases that are only weakly consistent, enforcing some worlds to be fully infeasible. We show that c-representations satisfy a core postulate relating conditional splittings on the syntax and the semantic level. Based on these findings, we investigate conditional syntax splitting for nonmonotonic inference with c-representations. Regarding single c-representations, we utilize the concept of selection strategies and show that a straightforward property of the selection strategy leads to inference operators satisfying conditional syntax splittings. Furthermore, we show that c-inference, taking all c-representations of a belief base into account fully complies with conditional syntax splitting, and we prove that credulous and weakly skeptical inference based on c-representations also satisfies conditional syntax splitting. In particular, we show that these syntax splitting properties hold for strongly consistent belief bases and also in the case of only weakly consistent belief bases.

1. Introduction

In both human and formal reasoning it is often essential not to take into account the full amount of knowledge that is available to an intelligent agent, but to split the available knowledge into independent parts so that local reasoning on a part of the knowledge can be done. Toward this goal, the concept of syntax splitting was developed by Parikh (1999) for belief sets in order to formulate postulates for belief revision, and was later transferred to other structures and applications (e.g., Kern-Isberner & Brewka, 2017; Peppas et al., 2015), a related concept was introduced by Weydert (1998) as minimum irrelevance. Syntax splitting for nonmonotonic reasoning from conditional belief bases (Kern-Isberner et al., 2020) is a combination of the postulates relevance and independence, stating that only conditionals from the considered part of the syntax splitting of a belief base are relevant for corresponding inferences, and that inferences using only atoms from one part of the syntax splitting should be independent of additional information on the other parts. Furthermore, the concept of semantic splitting has been introduced with a focus on the models of a belief base (Beierle et al., 2021b).

From a theoretical point of view, these splittings are interesting because they implement a notion of (ir)relevance in inferences. But splitting techniques have also consequences for applications: they allow for breaking down conditional reasoning to the subbases relevant for a query, hence usually reducing the relevant subsignature significantly. From a cognitive point of view, splitting techniques bring in the concept of local reasoning, which accounts for the limited resources of humans. Moreover, local reasoning is also fundamental to all works on probabilistic networks (Pearl, 1988).

Full splittings in the sense of Kern-Isberner et al. (2020), however, are quite rare in real-world applications. The concept of conditional syntax splitting for inference from conditional belief bases (Heyninck et al., 2023) is a generalization of syntax splitting which also allows the subbases to overlap syntactically, providing much more realistic application scenarios. The relevance of conditional syntax splitting is further underpinned by the fact that the so called drowning-effect (Benferhat et al., 1993; Pearl, 1990) was formalized as a violation of conditional syntax splitting (Heyninck et al., 2023). The drowning effect is a phenomenon where, for some inductive inference relations, special subclasses will not properly inherit properties of their superclass. For example, given the knowledge that birds usually fly, penguins are usually birds, penguins usually do not fly, and birds usually have wings, an inductive inference operator suffering from the drowning effect would not be able to conclude that penguins usually have wings. This means that if an inference operator satisfies conditional syntax splitting, it is also guaranteed to avoid the drowning effect in general, and not just for the canonical example. p-Entailment, characterized by the axioms of system P (Adams, 1965; Kraus et al., 1990), and system Z (Goldszmidt & Pearl, 1996) are known to suffer from the drowning problem, and in the paper introducing the concept of conditional syntax splitting (Heyninck et al., 2023), it is demonstrated that p-entailment and system Z do not satisfy this property, while it is shown that the two inductive inference operators lexicographic inference (Lehmann, 1995) and system W (Komo & Beierle, 2020, 2022) fully comply with conditional syntax splitting.

In this article, we extend the study of conditional splittings of belief bases in several directions, in particular by introducing conditional semantic splittings, by extending the application of conditional syntax splitting also to belief bases exhibiting only a weak notion of consistency. As a basis for our investigations, we use ranking functions (ordinal conditional functions [OCFs]; Spohn, 1988) as a well-established and popular semantics for conditional belief bases. Besides their popularity, another reason for using OCFs is that the work on conditional syntax splitting is inspired by probabilistic techniques. Since OCFs can be understood as qualitative abstractions of logarithmic probabilities, they provide a perfect mediating framework to realize such probabilistic ideas for qualitative nonmonotonic reasoning. We answer the question to what extent c-representations (Kern-Isberner, 2001), which are a specific subset of ranking models of a belief base, and inference with them satisfy conditional semantic splitting and conditional syntax splitting by investigating skeptical, weakly skeptical, and credulous reasoning with c-representations over three different subsets of models.

It should be noted that so far the notions of conditional syntax and conditional semantic splittings mentioned above have only been investigated in the context of belief bases that are consistent in the sense of the well-known consistency test by Goldszmidt and Pearl (1996). This notion of consistency, called strong consistency in the following, requires models where every possible world is at least somewhat plausible. In contrast, a weakly consistent belief base may only have models where some worlds are fully infeasible and thus completely implausible (Haldimann et al., 2023). With a focus on taking also weakly consistent belief bases into account, this article provides the following main contributions:

(1)

We introduce the concept of conditional semantic splitting for semantics based on Spohn’s ranking functions (Spohn, 1988), and a postulate (CSemSplit) relating conditional splittings on the syntax and on the semantic level, covering both strongly and weakly consistent belief bases.

(2)

We show that c-representations, which are special ranking functions obtained by summing up impacts assigned to falsified conditionals (Kern-Isberner, 2001, 2004), satisfy conditional semantic splitting. This also holds for extended c-representations (Haldimann et al., 2024) for weakly consistent belief bases.

(3)

We study the relationship between conservative c-representations, which minimize the number of implausible worlds, and relaxations thereof, leading to a postulate ensuring classic preservation (Casini et al., 2019).

(4)

Regarding reasoning with respect to a single c-representation or a single extended c-representation, we utilize the concept of selection strategies (Beierle & Kern-Isberner, 2021; Kern-Isberner et al., 2020) and show that the property of preserving the impacts chosen for certain subbases for inferences on the full belief base leads to inference operators satisfying conditional syntax splitting.

(5)

Without any requirement regarding a selection strategy, we prove that c-inference, extended c-inference, and also conservative extended c-inference, which are the skeptical inference relations taking all c-representations, extended c-representations, or conservative extended c-representations, respectively, of a belief base into account (Beierle et al., 2018, 2021a; Haldimann et al., 2024) fully comply with conditional syntax splitting.

(6)

We show that also credulous and weakly skeptical inference with c-representations, extended c-representations, or conservative extended c-representations (Beierle et al., 2021a; Haldimann et al., 2025) satisfy conditional syntax splitting.

This article is a revised and largely extended version of our conference paper presented at the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024; Beierle et al., 2024b). The additions include, in particular, all aspects related to weakly consistent belief bases. We apply the notions of conditional syntax splitting and conditional semantic splitting accordingly. While c-representations extended to weakly consistent belief bases and the correspondingly extended c-inference operator have been introduced only recently (Haldimann et al., 2024), we show here that extended c-representations satisfy conditional semantic splitting and that extended c-inference and also inference with respect to extended c-representations obtained via an appropriate selection strategy satisfy conditional syntax splitting. We study relaxations of conservative c-representations for weakly consistent belief bases and formulate a postulate ensuring classic preservation for induced inductive inference operators based on them. Furthermore, we broaden our investigations of splitting properties of c-representation-based inference systems by addressing also credulous and weakly skeptical c-inference.

The rest of this article is organized as follows. In Section 2, we present the basics of conditional logic needed here, and in Section 3, we recall the concept of conditional syntax splitting. In Section 4, we introduce the notion of conditional semantic splitting, show that it is satisfied by c-representations and by extended c-representations, and we study the relationship between conservative c-representations and relaxations thereof. In Section 5, we present postulates for selection strategies and prove that these postulates ensure that the corresponding inference operators for single c-representations and for extended c-representations satisfy classic preservation and conditional syntax splitting, respectively. In Section 6, we show that c-inference taking all c-representations of strongly consistent belief bases, and also extended c-inference taking all extended c-representations, or all conservative extended c-representations, respectively, of weakly consistent belief bases into account, fully comply with conditional syntax splitting, without reference to any selection strategies. In Section 7, we expand these results to credulous and weakly skeptical c-inference, and in Section 8, we conclude and point out further work.

2. Formal Basics

Let $\mathcal{L}$ be the propositional language over a finite signature $\mathrm{\Sigma }$ with atoms $a,b,c,\dots$ , with the usual connectives $\mathrm{\neg }$ (not), $\wedge$ (and), $\vee$ (or), and $\to$ (material implication), and with formulas $A,B,C,\dots .$ For conciseness of notation, we may omit the logical and-connector, writing $AB$ instead of $A\wedge B$ , and overlining formulas will indicate negation, that is, $\overline{A}$ means $\mathrm{\neg }A$ . Let $\mathrm{\Omega }$ denote the set of possible worlds over $\mathcal{L}$ ; $\mathrm{\Omega }$ will be taken here simply as the set of all propositional interpretations over $\mathcal{L}$ . $\omega \models A$ means that the propositional formula $A\in \mathcal{L}$ holds in the possible world $\omega \in \mathrm{\Omega }$ ; then $\omega$ is called a model of $A$ , and the set of all models of $A$ is denoted by $\mathrm{Mod}(A)$ . For propositions $A,B\in \mathcal{L}$ , $A\models B$ holds iff $\mathrm{Mod}(A)\subseteq \mathrm{Mod}(B)$ , as usual. By slight abuse of notation, we will use $\omega$ both for the model and the corresponding conjunction of all positive or negated atoms. This will allow us to use $\omega$ both as an interpretation and a proposition, which will ease notation a lot. Since $\omega \models A$ means the same for both readings of $\omega$ , no confusion will arise.

For subsets $\mathrm{\Theta }$ of $\mathrm{\Sigma }$ , let $\mathcal{L}(\mathrm{\Theta })$ or short ${\mathcal{L}}_{\mathrm{\Theta }}$ denote the propositional language defined by $\mathrm{\Theta }$ , with an associated set of interpretations $\mathrm{\Omega }(\mathrm{\Theta })$ or short ${\mathrm{\Omega }}_{\mathrm{\Theta }}$ . Note that while each sentence of $\mathcal{L}(\mathrm{\Theta })$ can also be considered as a sentence of $\mathcal{L}$ , the interpretations ${\omega }^{\mathrm{\Theta }}\in \mathrm{\Omega }(\mathrm{\Theta })$ are not elements of $\mathrm{\Omega }(\mathrm{\Sigma })$ if $\mathrm{\Theta }\ne \mathrm{\Sigma }$ . But each interpretation $\omega \in \mathrm{\Omega }$ can be written uniquely in the form $\omega ={\omega }^{\mathrm{\Theta }}{\omega }^{\overline{\mathrm{\Theta }}}$ with concatenated ${\omega }^{\mathrm{\Theta }}\in \mathrm{\Omega }(\mathrm{\Theta })$ and ${\omega }^{\overline{\mathrm{\Theta }}}\in \mathrm{\Omega }(\overline{\mathrm{\Theta }})$ , where $\overline{\mathrm{\Theta }}=\mathrm{\Sigma }\mathrm{\setminus }\mathrm{\Theta }$ is the complement of $\mathrm{\Theta }$ in $\mathrm{\Sigma }$ . Note that the syntactical reading of interpretations as conjunctions makes perfect sense here. According to this reading, $\omega$ is a conjunction of ${\omega }^{\mathrm{\Theta }}$ and ${\omega }^{\overline{\mathrm{\Theta }}}$ (with omitted $\wedge$ symbol). ${\omega }^{\mathrm{\Theta }}$ is called the reduct of $\omega$ to $\mathrm{\Theta }$ (Delgrande, 2017). If ${\mathrm{\Omega }}^{\prime }\subseteq \mathrm{\Omega }$ is a subset of models, then ${{\mathrm{\Omega }}^{\prime }|}_{\mathrm{\Theta }}=\{{\omega }^{\mathrm{\Theta }}|\omega \in {\mathrm{\Omega }}^{\prime }\}\subseteq \mathrm{\Omega }(\mathrm{\Theta })$ restricts ${\mathrm{\Omega }}^{\prime }$ to a subset of $\mathrm{\Omega }(\mathrm{\Theta })$ . In the following, we will often consider the case that ${\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2$ are disjoint subsignatures of $\mathrm{\Sigma }$ , then we write ${\omega }^i$ instead of ${\omega }^{{\mathrm{\Sigma }}_i}$ for the reducts to ease notation.

By making use of a conditional operator $|$ , we introduce the language $(\mathcal{L}|\mathcal{L})$ of conditionals over $\mathcal{L}$ :

$$(\mathcal{L}|\mathcal{L})=\{(B|A)\mid A,B\in \mathcal{L}\}.$$

A conditional $(B|A)$ expresses a plausible, defeasible rule “If $A$ then plausibly (usually, possibly, probably, typically) $B$ ” and is a trivalent logical entity with the evaluation (with $\mathit{u}$ for unknown or indeterminate; de Finetti, 1937):

$$\text{⟦}(B|A){\text{⟧}}_{\omega }=\{\begin{array}{lll}1& \text{iff}\omega \models AB& \text{(verification)},\\ 0& \text{iff}\omega \models A\overline{B}& \text{(falsification)},\\ \mathit{u}& \text{iff}\omega \models \overline{A}& \text{(not applicable)}.\end{array}$$

(1)

A conditional $(F|E)$ is called self-fulfilling if $E\models F$ , that is, there is no world that can falsify it.

A popular semantic framework that is often used for interpreting conditionals is provided by OCFs. OCFs $\kappa :\mathrm{\Omega }\to \mathbb{N}\cup \{\mathrm{\infty }\}$ with ${\kappa }^{-1}(0)\ne \mathrm{\varnothing }$ , also called ranking functions, were introduced (in a more general form) first by Spohn (1988). They express degrees of belief of propositional formulas $A$ by specifying degrees of disbeliefs of their negations $\overline{A}$ . More formally, we have $\kappa (A):=min\{\kappa (\omega )\mid \omega \models A\}$ , so that $\kappa (A\vee B)=min\{\kappa (A),\kappa (B)\}$ . A proposition $A$ is believed if $\kappa (\overline{A})>0$ (which implies $\kappa (A)=0$ ). The uniform OCF ${\kappa }_u$ is defined by ${\kappa }_u(\omega )=0$ for all $\omega \in \mathrm{\Omega }$ , representing an epistemic state of complete ignorance.

Degrees of plausibility can also be assigned to conditionals by setting $\kappa (B|A)=\kappa (AB)-\kappa (A)$ . A conditional $(B|A)$ is accepted in the epistemic state represented by $\kappa$ , written as $\kappa \models (B|A)$ , iff $\kappa (AB)<\kappa (A\overline{B})$ or $\kappa (A)=\mathrm{\infty }$ , that is, iff $AB$ is more plausible than $A\overline{B}$ or $A$ is deemed infeasible. Conditional belief bases $\mathrm{\Delta }$ (over $\mathcal{L}$ ) consist of finitely many conditionals from $(\mathcal{L}\mid \mathcal{L})$ . An OCF $\kappa$ accepts $\mathrm{\Delta }$ , denoted by $\kappa \models (B|A)$ , if $\kappa \models (B|A)$ for all $(B|A)\in \mathrm{\Delta }$ . Consistency of a conditional belief base $\mathrm{\Delta }$ can be defined in terms of OCFs (Pearl, 1990). According to the well-known consistency test by Goldszmidt and Pearl (1996), $\mathrm{\Delta }$ is consistent iff there is an OCF $\kappa$ such that $\kappa \models \mathrm{\Delta }$ and ${\kappa }^{-1}(\mathrm{\infty })=\mathrm{\varnothing }$ . In the following, we will call this notion strong consistency because it requires models $\kappa$ that view every possible world to be at least somewhat plausible. A more liberal notion of consistency used in other approaches (e.g., Casini et al., 2019; Giordano et al., 2015; Haldimann et al., 2023), allows for models where some worlds may be fully infeasible. A belief base $\mathrm{\Delta }$ is weakly consistent iff there is an OCF $\kappa$ such that $\kappa \models \mathrm{\Delta }$ (Haldimann et al., 2023), thus, such a $\kappa$ represents that all worlds in ${\kappa }^{-1}(\mathrm{\infty })$ are fully infeasible.

The nonmonotonic inference relation induced by an OCF $\kappa$ is given by Spohn (1988) (2)

The marginal of $\kappa$ on $\mathrm{\Theta }\subseteq \mathrm{\Sigma }$ , denoted by ${\kappa |}_{\mathrm{\Theta }}$ , is defined by ${\kappa |}_{\mathrm{\Theta }}({\omega }^{\mathrm{\Theta }})=\kappa ({\omega }^{\mathrm{\Theta }})$ for any ${\omega }^{\mathrm{\Theta }}\in \mathrm{\Omega }(\mathrm{\Theta })$ . Note that this marginalization is a special case of the general forgetful functor $\mathit{M}\mathit{o}\mathit{d}(\sigma )$ from $\mathrm{\Sigma }$ -models to $\mathrm{\Theta }$ -models (Beierle & Kern-Isberner, 2012) where $\sigma$ is the inclusion from $\mathrm{\Theta }$ to $\mathrm{\Sigma }$ .

To formalize inductive inference from conditional belief bases, the notion of inductive inference operators has been introduced (Kern-Isberner et al., 2020). An inductive inference operator (on $\mathcal{L}$ ) is a mapping $\mathbf{C}$ that assigns to each conditional belief base $\mathrm{\Delta }\subseteq (\mathcal{L}\mid \mathcal{L})$ an inference relation on $\mathcal{L}$ , that is, such that the following properties hold:

Direct Inference (DI) if $(B|A)\in \mathrm{\Delta }$ then , and

Trivial Vacuity (TV) implies $A\models B$ .

An inductive inference operator for OCFs ${\mathbf{C}}^{\mathit{o}\mathit{c}\mathit{f}}$ maps each belief base $\mathrm{\Delta }$ to an OCF $\kappa$ over $\mathrm{\Omega }(\mathrm{\Sigma })$ accepting $\mathrm{\Delta }$ ; the inference relation assigned to a belief base $\mathrm{\Delta }$ is then the inference relation induced by $\kappa$ according to equation (2).

An example for an inductive inference operator capable of handling also weakly consistent belief bases is extended system Z, based on the notion of tolerance and the extended Z-partition of a conditional belief base (Goldszmidt & Pearl, 1996).

Definition 1 ((Extended) Z-partition, (Goldszmidt & Pearl, 1990; Lehmann, 1995))

A conditional $(B|A)$ is tolerated by $\mathrm{\Delta }=\{(B_i|A_i)\mid i=1,\dots ,n\}$ if there is a world $\omega \in \mathrm{\Omega }$ such that $\omega$ verifies $(B|A)$ and $\omega$ does not falsify any conditional in $\mathrm{\Delta }$ , that is, $\omega \models AB$ and $\omega \models \underset{i=1}{\overset{n}{\bigwedge }}(\overline{A_i}\vee B_i)$ .

The (extended) Z-partition $\mathit{E}\mathit{P}(\mathrm{\Delta })=({\mathrm{\Delta }}^0,\dots ,{\mathrm{\Delta }}^k,{\mathrm{\Delta }}^{\mathrm{\infty }})$ of a belief base $\mathrm{\Delta }$ is the ordered partition of $\mathrm{\Delta }$ constructed by letting ${\mathrm{\Delta }}^i$ be the inclusion-maximal subset of $\mathrm{\Delta }\setminus (\bigcup _{j=0}^{i-1}{\mathrm{\Delta }}^j)$ that is tolerated by $\mathrm{\Delta }\setminus (\bigcup _{j=0}^{i-1}{\mathrm{\Delta }}^j)$ until ${\mathrm{\Delta }}^{k+1}=\mathrm{\varnothing }$ . The set ${\mathrm{\Delta }}^{\mathrm{\infty }}$ is the remaining set of conditionals $\mathrm{\Delta }\setminus (\bigcup _{j=0}^k{\mathrm{\Delta }}^j)$ .

The (extended) Z-ranking function ${\kappa }_{\mathrm{\Delta }}^z$ is defined as follows: For $\omega \in \mathrm{\Omega }$ , if a conditional in ${\mathrm{\Delta }}^{\mathrm{\infty }}$ is applicable to $\omega$ define ${\kappa }_{\mathrm{\Delta }}^z(\omega )=\mathrm{\infty }$ . If not, let ${\mathrm{\Delta }}^j$ be the last partition in $\mathit{E}\mathit{P}(\mathrm{\Delta })$ that contains a conditional falsified by $\omega$ , and define ${\kappa }_{\mathrm{\Delta }}^z(\omega )=j+1$ . If $\omega$ does not falsify any conditional in $\mathrm{\Delta }$ , then let ${\kappa }_{\mathrm{\Delta }}^z(\omega )=0$ .

Because the sets ${\mathrm{\Delta }}^i$ are chosen inclusion-maximal, the Z-partition and thus the ${\kappa }^z$ ranking function is unique (Pearl, 1990). System Z yields the inductive inference operator

$${\mathbf{C}}^z:\mathrm{\Delta }\mapsto {\kappa }_{\mathrm{\Delta }}^z,$$

which maps belief bases $\mathrm{\Delta }$ to the OCF ${\kappa }_{\mathrm{\Delta }}^z$ , yielding the inference relation induced by ${\kappa }_{\mathrm{\Delta }}^z$ via equation (2).

3. Conditional Syntax Splitting

Syntax splittings describe that a belief base contains completely independent information about different parts of the signature. Let us first recall the notion of syntax splitting as introduced in Kern-Isberner et al. (2020). A conditional belief base $\mathrm{\Delta }$ splits into subbases ${\mathrm{\Delta }}_1,{\mathrm{\Delta }}_2$ if there are disjoint subsignatures ${\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2\subseteq \mathrm{\Sigma }$ such that $\mathrm{\Delta }={\mathrm{\Delta }}_1\cup {\mathrm{\Delta }}_2$ , ${\mathrm{\Delta }}_i\subset ({\mathcal{L}}_i|{\mathcal{L}}_i),{\mathcal{L}}_i=\mathcal{L}({\mathrm{\Sigma }}_i)$ for $i=1,2$ , ${\mathrm{\Sigma }}_1\cap {\mathrm{\Sigma }}_2=\mathrm{\varnothing }$ , and ${\mathrm{\Sigma }}_1\cup {\mathrm{\Sigma }}_2=\mathrm{\Sigma }$ . This is denoted as

$$\mathrm{\Delta }={\mathrm{\Delta }}_1\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}{\mathrm{\Delta }}_2.$$

Syntax splittings were generalized in Heyninck et al. (2023) to conditional syntax splittings, which allow subbases to share the atoms in a given subsignature ${\mathrm{\Sigma }}_3$ .

Definition 2 (Conditional syntax splitting, (Heyninck et al., 2023))

We say a conditional belief base $\mathrm{\Delta }$ can be split into subbases ${\mathrm{\Delta }}_1$ , ${\mathrm{\Delta }}_2$ conditional on a subsignature ${\mathrm{\Sigma }}_3$ , if there are ${\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2\subseteq \mathrm{\Sigma }$ such that ${\mathrm{\Delta }}_i=\mathrm{\Delta }\cap (\mathcal{L}({\mathrm{\Sigma }}_i\cup {\mathrm{\Sigma }}_3)\mid \mathcal{L}({\mathrm{\Sigma }}_i\cup {\mathrm{\Sigma }}_3))$ for $i=1,2$ , the signatures ${\mathrm{\Sigma }}_1$ , ${\mathrm{\Sigma }}_2$ , and ${\mathrm{\Sigma }}_3$ are pairwise disjoint, and $\mathrm{\Sigma }={\mathrm{\Sigma }}_1\cup {\mathrm{\Sigma }}_2\cup {\mathrm{\Sigma }}_3$ . This is denoted as

$$\mathrm{\Delta }={\mathrm{\Delta }}_1\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}{\mathrm{\Delta }}_2\mid {\mathrm{\Sigma }}_3.$$

(3)

However, conditional syntax splittings in general do not ensure complete independence of ${\mathrm{\Delta }}_1$ and ${\mathrm{\Delta }}_2$ in the sense that inferences involving only symbols from one of the subbases can safely be done taking into account just that subbase because they are independent of the other subbase, as it is the case in (unconditional) syntax splitting. To fix this, safe conditional syntax splittings were introduced.

Definition 3 (Safe conditional syntax splitting, (Heyninck et al., 2023))

A conditional belief base $\mathrm{\Delta }$ with $\mathrm{\Delta }={\mathrm{\Delta }}_1\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}{\mathrm{\Delta }}_2\mid {\mathrm{\Sigma }}_3$ can be safely split into subbases ${\mathrm{\Delta }}_1$ , ${\mathrm{\Delta }}_2$ conditional on a subsignature ${\mathrm{\Sigma }}_3$ , writing:

$$\mathrm{\Delta }={\mathrm{\Delta }}_1\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}^{\mathsf{s}}{\mathrm{\Delta }}_2\mid {\mathrm{\Sigma }}_3,$$

(4)

if the following safety property holds $\text{for }i,i^{\prime }\in \{1,2\},i\ne i^{\prime }$ :

$$\text{for every }{\omega }^i{\omega }^3\in \mathrm{\Omega }({\mathrm{\Sigma }}_i\cup {\mathrm{\Sigma }}_3),\text{ there is an }{\omega }^{i^{\prime }}\in \mathrm{\Omega }({\mathrm{\Sigma }}_{i^{\prime }})\text{such that}{\omega }^i{\omega }^{i^{\prime }}{\omega }^3⊭\underset{(F|E)\in {\mathrm{\Delta }}_{i^{\prime }}}{\bigvee }E\wedge \mathrm{\neg }F.$$

(5)

Safe conditional syntax splittings guarantee (conditional) independence of conditionals in ${\mathrm{\Delta }}_1$ and ${\mathrm{\Delta }}_2$ . In essence, the safety property ensures that any complete conjunction over ${\mathrm{\Sigma }}_3$ may not require the falsification of a conditional in ${\mathrm{\Delta }}_1$ or ${\mathrm{\Delta }}_2$ . For a more detailed explanation on why this is necessary, see Heyninck et al. (2023).

Note that, unlike syntax splitting, conditional syntax splitting does not require the subbases ${\mathrm{\Delta }}_1$ and ${\mathrm{\Delta }}_2$ to be disjoint. For the remainder of this paper, we will use the notation introduced in the following straightforward proposition.

Proposition 4

If $\mathrm{\Delta }={\mathrm{\Delta }}_1\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}^{\mathsf{s}}{\mathrm{\Delta }}_2\mid {\mathrm{\Sigma }}_3$ then

$$\begin{array}{rl}\mathrm{\Delta }& ={\mathrm{\Delta }}_{1\setminus 3}\cup {\mathrm{\Delta }}_{2\setminus 3}\cup {\mathrm{\Delta }}_3,\end{array}$$

(6)

where ${\mathrm{\Delta }}_{1\setminus 3}$ , ${\mathrm{\Delta }}_{2\setminus 3}$ , and ${\mathrm{\Delta }}_3$ are pairwise disjoint and are given by:

$$\begin{array}{rl}{\mathrm{\Delta }}_3& ={\mathrm{\Delta }}_1\cap {\mathrm{\Delta }}_2,\end{array}$$

(7)

$$\begin{array}{rl}{\mathrm{\Delta }}_{1\setminus 3}& ={\mathrm{\Delta }}_1\setminus {\mathrm{\Delta }}_3,\end{array}$$

(8)

$$\begin{array}{rl}{\mathrm{\Delta }}_{2\setminus 3}& ={\mathrm{\Delta }}_2\setminus {\mathrm{\Delta }}_3.\end{array}$$

(9)

Note that ${\mathrm{\Delta }}_3\subseteq (\mathcal{L}({\mathrm{\Sigma }}_3)|\mathcal{L}({\mathrm{\Sigma }}_3))$ , more precisely ${\mathrm{\Delta }}_3=\mathrm{\Delta }\cap (\mathcal{L}({\mathrm{\Sigma }}_3)|\mathcal{L}({\mathrm{\Sigma }}_3))$ , and ${\mathrm{\Delta }}_{i\setminus 3}\subseteq (\mathcal{L}({\mathrm{\Sigma }}_i\cup {\mathrm{\Sigma }}_3)|\mathcal{L}({\mathrm{\Sigma }}_i\cup {\mathrm{\Sigma }}_3))$ for $i\in \{1,2\}$ . Furthermore, for $\omega \in \mathrm{\Omega }$ and $A\in \mathcal{L}({\mathrm{\Sigma }}_i\cup {\mathrm{\Sigma }}_3)$ we have that

$$\omega \models A\text{iff}{\omega }^i{\omega }^3\models A.$$

(10)

We illustrate the notion of safe conditional syntax splitting with an example.

Example 5 ( ${\mathrm{\Delta }}^b$ )

Consider $\mathrm{\Sigma }=\{b,p,f,w\}$ representing (b)irds, (p)enguins, (f)lying entities, and (w)inged entities. Let ${\mathrm{\Delta }}^b=\{(f|b),(\overline{f}|p),(b|p),(w|b)\}$ be a belief base describing the well-known penguin triangle together with the expression that birds usually have wings. Then

$${\mathrm{\Delta }}^b=\{(f|b),(\overline{f}|p),(b|p)\}\bigcup _{\{p,f\},\{w\}}^{\mathsf{s}}\{(w|b)\}\mid \{b\}$$

is a conditional syntax splitting with ${\mathrm{\Sigma }}_1=\{p,f\},{\mathrm{\Sigma }}_2=\{w\}$ , and ${\mathrm{\Sigma }}_3=\{b\}$ . According to the notation in Proposition 4, we have ${\mathrm{\Delta }}_3^b=\mathrm{\varnothing }$ , ${\mathrm{\Delta }}_1^b=$ ${\mathrm{\Delta }}_{1\setminus 3}^b=\{(f|b),(\overline{f}|p),(b|p)\}$ , and ${\mathrm{\Delta }}_2^b=$ ${\mathrm{\Delta }}_{2\setminus 3}^b=\{(w|b)\}$ .

We can extend any ${\omega }^1\in \mathrm{\Omega }({\mathrm{\Sigma }}_1\cup {\mathrm{\Sigma }}_3)$ by any ${\omega }^{\prime }\in \mathrm{\Omega }({\mathrm{\Sigma }}_2)$ with ${\omega }^{\prime }\models w$ without falsifying a conditional in ${\mathrm{\Delta }}_2^b$ . Similarly we can extend any ${\omega }^2\in \mathrm{\Omega }({\mathrm{\Sigma }}_2\cup {\mathrm{\Sigma }}_3)$ by any ${\omega }^{″}\in \mathrm{\Omega }({\mathrm{\Sigma }}_1)$ with ${\omega }^{″}\models \overline{p}f$ without falsifying a conditional in ${\mathrm{\Delta }}_1^b$ . Thus, the splitting is safe.

The following is an example for a weakly consistent belief base with a safe conditional syntax splitting.

Example 6 ( ${\mathrm{\Delta }}^{b+}$ )

We extend ${\mathrm{\Delta }}^b$ from Example 5 with an additional conditional ${\delta }_5=(\mathrm{\perp }|\overline{w})$ , modeling the constraint that we only consider worlds with winged entities to be feasible. In this way, we obtain the weakly consistent belief base ${\mathrm{\Delta }}^{b+}=\{(f|b),(\overline{f}|p),(b|p),(w|b),(\mathrm{\perp }|\overline{w})\}$ . Then

$${\mathrm{\Delta }}^{b+}=\{(f|b),(\overline{f}|p),(b|p)\}\bigcup _{\{p,f\},\{w\}}^{\mathsf{s}}\{(w|b),(\mathrm{\perp }|\overline{w})\}\mid \{b\}$$

is a safe conditional syntax splitting of ${\mathrm{\Delta }}^{b+}$ .

Every syntax splitting is also a safe conditional syntax splitting (Haldimann, 2024). In fact, syntax splittings coincide with conditional syntax splittings conditional on ${\mathrm{\Sigma }}_3=\mathrm{\varnothing }$ in a straightforward manner. Note also that every conditional syntax splitting with ${\mathrm{\Sigma }}_3=\mathrm{\varnothing }$ is trivially safe, leading to the following observation.

Proposition 7

Let $\mathrm{\Delta }$ be a consistent belief base. Then we have

$$\mathrm{\Delta }={\mathrm{\Delta }}_1\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}{\mathrm{\Delta }}_2\text{iff}\mathrm{\Delta }={\mathrm{\Delta }}_1\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}^{\mathsf{s}}{\mathrm{\Delta }}_2\mid \mathrm{\varnothing }.$$

The postulates conditional relevance (CRel) and conditional independence (CInd) for inference from belief bases with conditional syntax splitting (Heyninck et al., 2023) are inspired by the postulates (Rel) and (Ind) (Kern-Isberner et al., 2020). (CRel) and (CInd) describe that inference over ${\mathrm{\Delta }}_1$ and ${\mathrm{\Delta }}_2$ should be independent if we have full information, that is, a full conjunction, on the “conditional pivot” ${\mathrm{\Sigma }}_3$ . While for the original definition of (CRel) and (CInd) it was implicitly assumed that $\mathrm{\Delta }$ is strongly consistent (Heyninck et al., 2023), here we specifically also consider weakly consistent belief bases.

(CRel) (Heyninck et al., 2023). An inductive inference operator satisfies (CRel) if for $\mathrm{\Delta }={\mathrm{\Delta }}_1\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}^{\mathsf{s}}{\mathrm{\Delta }}_2\mid {\mathrm{\Sigma }}_3$ , for $i\in \{1,2\}$ , $A,B\in {\mathcal{L}}_{{\mathrm{\Sigma }}_i}$ , and a complete conjunction $E\in {\mathcal{L}}_{{\mathrm{\Sigma }}_3}$ we have that

Thus, an inductive inference operator satisfies conditional relevance if, for every safe conditional syntax splitting, inference in the language of ${\mathrm{\Sigma }}_i\cup {\mathrm{\Sigma }}_3$ depends only on the conditionals in ${\mathrm{\Delta }}_i$ , that is, only on those conditionals in that same language.

(CInd) (Heyninck et al., 2023). An inductive inference operator satisfies (CInd) if for $\mathrm{\Delta }={\mathrm{\Delta }}_1\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}^{\mathsf{s}}{\mathrm{\Delta }}_2\mid {\mathrm{\Sigma }}_3$ , for $i,j\in \{1,2\},i\ne j$ , for any $A,B\in {\mathcal{L}}_{{\mathrm{\Sigma }}_i}$ , $D\in {\mathcal{L}}_{{\mathrm{\Sigma }}_j}$ , and a complete conjunction $E\in {\mathcal{L}}_{{\mathrm{\Sigma }}_3}$ such that we have

The requirement that was added here. Otherwise, (CInd) would require for every formula $A\in {\mathcal{L}}_{{\mathrm{\Sigma }}_1}\cup {\mathcal{L}}_{{\mathrm{\Sigma }}_2}$ . Conditional independence requires that, given complete knowledge of ${\mathrm{\Sigma }}_3$ , inferences in the language of ${\mathrm{\Sigma }}_i\cup {\mathrm{\Sigma }}_3$ are independent of every formula over the language of ${\mathrm{\Sigma }}_j$ .

The postulate (CSynSplit) is the combination of (CRel) and (CInd):

(CSynSplit) (Heyninck et al., 2023). An inductive inference operator satisfies (CSynSplit) if it satisfies (CRel) and (CInd).

While the conditional syntax splitting postulates can be applied to all belief bases, they are trivially satisfied for belief bases that are not weakly consistent. This is because belief bases that are not weakly consistent cannot have a safe conditional syntax splitting, as the following proposition states.

Proposition 8

Let $\mathrm{\Delta }$ be a belief base that is not weakly consistent. Then there is no $\mathrm{\Delta }={\mathrm{\Delta }}_1\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}^{\mathsf{s}}{\mathrm{\Delta }}_2\mid {\mathrm{\Sigma }}_3$ .

Proof.

First, note that weak consistency of a belief base $\mathrm{\Delta }$ can be characterized by the existence of a world $\omega$ falsifying no conditional in $\mathrm{\Delta }$ . Let $\mathrm{\Delta }$ be a belief base that is not weakly consistent and let $\mathrm{\Delta }={\mathrm{\Delta }}_1\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}{\mathrm{\Delta }}_2\mid {\mathrm{\Sigma }}_3$ . We show that $\mathrm{\Delta }={\mathrm{\Delta }}_1\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}{\mathrm{\Delta }}_2\mid {\mathrm{\Sigma }}_3$ cannot be safe. We discern two cases.

1. (1)

Either ${\mathrm{\Delta }}_1$ or ${\mathrm{\Delta }}_2$ is not weakly consistent or both: Let ${\mathrm{\Delta }}_i$ be the subbase that is not weakly consistent. Then there is no world such that no conditional in ${\mathrm{\Delta }}_i$ is falsified. Thus, the safety condition cannot be satisfied.

(2)

Both ${\mathrm{\Delta }}_1$ and ${\mathrm{\Delta }}_2$ are weakly consistent: Then there is some $\omega \in \mathrm{\Omega }$ that falsifies no conditionals in ${\mathrm{\Delta }}_1$ . With (10) this means that ${\omega }^1{\omega }^3$ falsifies no conditional in ${\mathrm{\Delta }}_1$ . Toward a contradiction, assume that $\mathrm{\Delta }={\mathrm{\Delta }}_1\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}^{\mathsf{s}}{\mathrm{\Delta }}_2\mid {\mathrm{\Sigma }}_3$ . Then the safety property would demand that there is ${\omega }^2\in \mathrm{\Omega }({\mathrm{\Sigma }}_2)$ such that ${\omega }^1{\omega }^2{\omega }^3$ falsifies no conditional in ${\mathrm{\Delta }}_2$ . But then ${\omega }^1{\omega }^2{\omega }^3$ falsifies no conditional in $\mathrm{\Delta }$ as a whole and therefore $\mathrm{\Delta }$ would be weakly consistent, contradiction.

For the rest of this article, we will therefore focus on the case of weakly consistent belief bases when investigating compliance with conditional syntax splitting postulates. Conditional syntax splitting is closely related to the notion of conditional $\kappa$ -independence for OCFs.

Definition 9 (Conditional $\kappa$ -independence, (Spohn, 2012))

Let ${\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2,{\mathrm{\Sigma }}_3\subseteq \mathrm{\Sigma },$ where ${\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2,$ and ${\mathrm{\Sigma }}_3$ are pairwise disjoint and let $\kappa$ be an OCF. ${\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2$ are conditionally $\kappa$ -independent given ${\mathrm{\Sigma }}_3$ , in symbols ${\mathrm{\Sigma }}_1\perp {\perp }_{\kappa }{\mathrm{\Sigma }}_2|{\mathrm{\Sigma }}_3$ , if for all ${\omega }^1\in \mathrm{\Omega }({\mathrm{\Sigma }}_1),{\omega }^2\in \mathrm{\Omega }({\mathrm{\Sigma }}_2)$ , and ${\omega }^3\in \mathrm{\Omega }({\mathrm{\Sigma }}_3)$ with $\kappa ({\omega }^3)<\mathrm{\infty }$ , it holds that $\kappa ({\omega }^1|{\omega }^2{\omega }^3)=\kappa ({\omega }^1|{\omega }^3)$ .

Note that in the expression $\kappa ({\omega }^1|{\omega }^2{\omega }^3)=\kappa ({\omega }^1|{\omega }^3)$ the ${\omega }^i$ are treated not as worlds but as formulas over $\mathrm{\Sigma }$ . The following lemma provides a useful alternative characterization of conditional $\kappa$ -independence.

Lemma 10

Let ${\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2,{\mathrm{\Sigma }}_3\subseteq \mathrm{\Sigma },$ where ${\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2,$ and ${\mathrm{\Sigma }}_3$ are pairwise disjoint and let $\kappa$ be an OCF. ${\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2$ are conditionally $\kappa$ -independent given ${\mathrm{\Sigma }}_3$ iff for all $A\in \mathcal{L}({\mathrm{\Sigma }}_1),B\in \mathcal{L}({\mathrm{\Sigma }}_2)$ and all complete conjunctions $C\in \mathcal{L}({\mathrm{\Sigma }}_3)$ with $\kappa (C)<\mathrm{\infty }$ it holds that

$$\kappa (ABC)=\kappa (AC)+\kappa (BC)-\kappa (C).$$

Proof.

Note that the equation $\kappa ({\omega }^1|{\omega }^2{\omega }^3)=\kappa ({\omega }^1|{\omega }^3)$ from Definition 9 is equivalent to

$$\kappa ({\omega }^1{\omega }^2{\omega }^3)=\kappa ({\omega }^1{\omega }^3)+\kappa ({\omega }^2{\omega }^3)-\kappa ({\omega }^3)$$

(11)

by applying the definition of ranks of conditionals (cf. Section 2). Note that while $\kappa$ is built over $\mathrm{\Sigma }$ , the ${\omega }^i$ are treated here as conjunctions over their respective signatures. We show both directions of the “iff” separately.

Direction $\Rightarrow$ : Let ${\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2$ be conditionally $\kappa$ -independent given ${\mathrm{\Sigma }}_3$ . Then (11) holds for all ${\omega }^1\in \mathrm{\Omega }({\mathrm{\Sigma }}_1)$ , ${\omega }^2\in \mathrm{\Omega }({\mathrm{\Sigma }}_2)$ , and ${\omega }^3\in \mathrm{\Omega }({\mathrm{\Sigma }}_3)$ . Now let ${\omega }^1{\omega }^3$ be the world with minimal rank in the models of $AC$ . Assume the same for ${\omega }^2{\omega }^3$ and $BC$ . Note that since $C$ is a complete conjunction over ${\mathrm{\Sigma }}_3$ , ${\omega }^3$ must be a world with minimal rank in the models of $C$ . Thus we can rewrite (11) to

$$\kappa ({\omega }^1{\omega }^2{\omega }^3)=\kappa (AC)+\kappa (BC)-\kappa (C).$$

(12)

Clearly ${\omega }^1{\omega }^2{\omega }^3\models ABC$ . We now show that ${\omega }^1{\omega }^2{\omega }^3$ also has minimal rank with this property. Toward a contradiction assume ${\omega }^1{\omega }^2{\omega }^3$ did not have minimal rank with this property. Then there is some ${\omega }^{\prime }$ with ${\omega }^{\prime }\models ABC$ and $\kappa ({\omega }^{\prime })<\kappa ({\omega }^1{\omega }^2{\omega }^3)$ . Since ${\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2$ and ${\mathrm{\Sigma }}_3$ are disjoint, ${\omega }^{\prime }$ can be split into ${\omega }^{\prime 1}\in \mathrm{\Omega }({\mathrm{\Sigma }}_1)$ , ${\omega }^{\prime 2}\in \mathrm{\Omega }({\mathrm{\Sigma }}_2)$ , ${\omega }^{\prime 3}\in \mathrm{\Omega }({\mathrm{\Sigma }}_3)$ . Thus, it must hold that

$$\kappa ({\omega }^{\prime 1}{\omega }^{\prime 2}{\omega }^{\prime 3})=\kappa ({\omega }^{\prime 1}{\omega }^{\prime 3})+\kappa ({\omega }^{\prime 2}{\omega }^{\prime 3})-\kappa ({\omega }^{\prime 3}).$$

(13)

Since $\kappa ({\omega }^{\prime })<\kappa ({\omega }^1{\omega }^2{\omega }^3)$ it must hold that $\kappa ({\omega }^{\prime 1}{\omega }^{\prime 3})<\kappa ({\omega }^1{\omega }^3)$ or $\kappa ({\omega }^{\prime 2}{\omega }^{\prime 3})<\kappa ({\omega }^2{\omega }^3)$ or $\kappa ({\omega }^{\prime 3})>\kappa ({\omega }^3)$ . The first inequality cannot hold, as ${\omega }^{\prime 1}{\omega }^{\prime 3}\models AC$ , but as per our assumption ${\omega }^1{\omega }^3$ is minimal with this property. Analogously the second inequality cannot hold. The third inequality does not hold either, as $C$ is a full conjunction and therefore ${\omega }^3={\omega }^{\prime 3}$ . Thus $\kappa ({\omega }^{\prime })<\kappa ({\omega }^1{\omega }^2{\omega }^3)$ cannot hold and ${\omega }^1{\omega }^2{\omega }^3$ must have minimal rank with ${\omega }^1{\omega }^2{\omega }^3\models ABC$ . Then we can rewrite (12) to

$$\kappa (ABC)=\kappa (AC)+\kappa (BC)-\kappa (C).$$

(14)

Because $\kappa (C)<\mathrm{\infty }$ , the right-hand side of (14) is always well-defined, completing the proof for this direction.

Direction $\Leftarrow$ : For the other direction, assume (14) holds for all $A\in \mathcal{L}({\mathrm{\Sigma }}_1),B\in \mathcal{L}({\mathrm{\Sigma }}_2)$ , and all complete conjunctions $C\in \mathcal{L}({\mathrm{\Sigma }}_3)$ with $\kappa (C)<\mathrm{\infty }$ . Let ${\omega }^1\in \mathrm{\Omega }({\mathrm{\Sigma }}_1),{\omega }^2\in \mathrm{\Omega }({\mathrm{\Sigma }}_2)$ , and ${\omega }^3\in \mathrm{\Omega }({\mathrm{\Sigma }}_3)$ . As we have stated previously, all worlds can be represented by a complete conjunction of all literals of their signature. Let $A$ be such a conjunction for ${\omega }^1$ , $B$ for ${\omega }^2$ and $C$ for ${\omega }^3$ . Then (14) is equivalent to (11), completing the proof.

Conditional independence for OCFs expresses that information on ${\mathrm{\Sigma }}_2$ is redundant for ${\mathrm{\Sigma }}_1$ if full information on ${\mathrm{\Sigma }}_3$ is available and used. We can now state the following result regarding (CRel) for OCFs as follows:

Proposition 11 (Adapted from Heyninck et al., 2023)

An inductive inference operator for OCFs ${\mathbf{C}}^{ocf}:\mathrm{\Delta }\mapsto {\kappa }_{\mathrm{\Delta }}$ satisfies (CRel) if for any $\mathrm{\Delta }={\mathrm{\Delta }}_1\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}^{\mathsf{s}}{\mathrm{\Delta }}_2\mid {\mathrm{\Sigma }}_3$ , we have ${\kappa }_{{\mathrm{\Delta }}_i}={\kappa }_{\mathrm{\Delta }}{|}_{{\mathrm{\Sigma }}_i\cup {\mathrm{\Sigma }}_3}$ for $i\in \{1,2\}$ .

Originally, the other direction of Proposition 11 was stated to also hold (Heyninck et al., 2023, Proposition 7). We show now that this is not the case.

Proposition 12

There is an inductive inference operator for OCFs ${\mathbf{C}}^{\mathit{o}\mathit{c}\mathit{f}}:\mathrm{\Delta }\mapsto {\kappa }_{\mathrm{\Delta }}$ that satisfies (CRel) but there is a safe conditional syntax splitting $\mathrm{\Delta }={\mathrm{\Delta }}_1\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}^{\mathsf{s}}{\mathrm{\Delta }}_2\mid {\mathrm{\Sigma }}_3$ such that ${\kappa }_{{\mathrm{\Delta }}_i}={\kappa }_{\mathrm{\Delta }}{|}_{{\mathrm{\Sigma }}_i\cup {\mathrm{\Sigma }}_3}$ for $i\in \{1,2\}$ does not hold.

Proof.

Let $\mathrm{\Delta }=\{(a|c),(b|c)\}$ with $\mathrm{\Delta }={\mathrm{\Delta }}_1\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}^{\mathsf{s}}{\mathrm{\Delta }}_2\mid {\mathrm{\Sigma }}_3=\{(a|c)\}\bigcup _{\{a\},\{b\}}^{\mathsf{s}}\{(b|c)\}\mid \{c\}$ . Consider the OCFs given in Figure 1, and let ${\mathbf{C}}^{\mathit{o}\mathit{c}\mathit{f}}$ be the inductive inference operator defined by:

$${\mathbf{C}}^{\mathit{o}\mathit{c}\mathit{f}}(\mathrm{\Delta })=\{\begin{array}{ll}{\kappa }_{{\mathrm{\Delta }}_1}& \text{if }\mathrm{\Delta }=\{(a|c)\},\\ {\kappa }_{\mathrm{\Delta }}^z& \text{otherwise}.\end{array}$$

Clearly ${\mathbf{C}}^{\mathit{o}\mathit{c}\mathit{f}}$ is OCF-based. The ranking function ${\kappa }_{\mathrm{\Delta }}^z$ obtained via ${\mathbf{C}}^{\mathit{o}\mathit{c}\mathit{f}}$ from $\mathrm{\Delta }$ and its marginalization ${\kappa }_{\mathrm{\Delta }}^z{|}_{{\mathrm{\Sigma }}_1\cup {\mathrm{\Sigma }}_3}$ are shown in Figure 1(a). The ranking function ${\kappa }_{{\mathrm{\Delta }}_1}$ obtained via ${\mathbf{C}}^{\mathit{o}\mathit{c}\mathit{f}}$ from ${\mathrm{\Delta }}_1$ is shown in Figure 1(b). As can be seen, (CRel) is satisfied, but ${\kappa }_{{\mathrm{\Delta }}_1}\ne {\kappa }_{\mathrm{\Delta }}^z{|}_{{\mathrm{\Sigma }}_1\cup {\mathrm{\Sigma }}_3}$ . Note, however, that ${\kappa }_{{\mathrm{\Delta }}_1}$ and ${\kappa }_{\mathrm{\Delta }}^z{|}_{{\mathrm{\Sigma }}_1\cup {\mathrm{\Sigma }}_3}$ are inferentially equivalent (Beierle & Kutsch, 2019) because they induce the same inference relation, that is, .

Figure 1.

Ranking functions for the proof of Proposition 12. (a) Ranking function ${\kappa }_{\mathrm{\Delta }}^z$ and its marginalization to ${\mathrm{\Sigma }}_1\cup {\mathrm{\Sigma }}_3$ . (b) Ranking function ${\kappa }_{{\mathrm{\Delta }}_1}$ .

However, this does not influence any of the other results in Heyninck et al. (2023), as this direction is never used. Next we also state a result connecting (CInd) to $\kappa$ -independence for OCFs.

Proposition 13 (Adapted from Heyninck et al., 2023)

An inductive inference operator for OCFs ${\mathbf{C}}^{ocf}:\mathrm{\Delta }\mapsto {\kappa }_{\mathrm{\Delta }}$ satisfies (CInd) if for any $\mathrm{\Delta }={\mathrm{\Delta }}_1\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}^{\mathsf{s}}{\mathrm{\Delta }}_2\mid {\mathrm{\Sigma }}_3$ we have ${\mathrm{\Sigma }}_1\perp {\perp }_{{\kappa }_{\mathrm{\Delta }}}{\mathrm{\Sigma }}_2|{\mathrm{\Sigma }}_3$ .

Proposition 13 lets us use conditional $\kappa$ -independence to derive (CInd), while Proposition 11 allows us to derive (CRel) via marginalization of OCFs, both of which are useful for showing that an inference operator for OCFs satisfies (CInd) or (CRel), respectively.

4. Conditional Semantic Splitting

For the rest of this article, we focus on inference with OCF-based semantics. While syntax splitting notions aim at splitting a belief base based on its syntactical representation, a splitting notion at the semantical level was introduced in the form of semantic splitting (Beierle et al., 2021b). In analogy to syntax splitting, these semantic splittings split a belief base into disjoint subbases. We now extend this notion by introducing the new concept of conditional semantic splitting, allowing for the subbases to share conditionals as in the case of conditional syntax splitting. We show that extended c-representations and conservative c-representations (Haldimann et al., 2024) satisfy conditional semantic splitting.

4.1. Model Combinations and Semantic Splittings

First, we introduce the notion of model combinations for ranking models.

Definition 14 (Model combination)

Let $M_1,M_2$ be sets of OCFs over $\mathrm{\Sigma }$ . Model combinations of $M_1$ and $M_2$ , denoted by $M_1\oplus M_2$ and by $M_1\ominus M_2$ , respectively, are given by:

$$\begin{array}{rl}{M}_1\oplus M_2& =\{\kappa \mid \kappa (\omega )={\kappa }_1(\omega )+{\kappa }_2(\omega ),{\kappa }_1\in M_1,{\kappa }_2\in M_2\},\\ M_1\ominus M_2& =\{\kappa \mid \kappa (\omega )={\kappa }_1(\omega )-{\kappa }_2(\omega ),{\kappa }_1\in M_1,{\kappa }_2\in M_2\}.\end{array}$$

Note that in general, $M_1\oplus M_2$ or $M_1\ominus M_2$ may contain functions that are not ranking functions because, for example, no $\omega$ is mapped to $0$ . We consider different subclasses of ranking models for conditional belief bases in this paper, for example, system Z ranking functions or c-representations. The following definition provides a joint formal concept for focusing on such subclasses.

Definition 15

An (OCF-based) semantics $\mathit{S}\mathit{e}\mathit{m}$ for conditional belief bases is a function mapping a belief base $\mathrm{\Delta }$ over $\mathrm{\Sigma }$ to a set of models $\mathrm{Mod}{}_{\mathrm{\Sigma }}^{\mathit{S}\mathit{e}\mathit{m}}(\mathrm{\Delta })\subseteq \mathrm{Mod}{}_{\mathrm{\Sigma }}(\mathrm{\Delta })$ where $\mathrm{Mod}{}_{\mathrm{\Sigma }}(\mathrm{\Delta })=\{\kappa \mid \kappa \models \mathrm{\Delta }\}$ .

A conditional semantic splitting of $\mathrm{\Delta }$ builds on the combination of models given by an OCF-based semantics Sem and generalizes the notion of semantic splitting (Beierle et al., 2021b). Semantic splittings and conditional semantic splittings apply the notion of splittings to the model level, yielding a desirable splitting property to evaluate OCF-based semantics.

Definition 16 (Conditional semantic splitting)

$\mathrm{\Delta }={\mathrm{\Delta }}_1\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}{\mathrm{\Delta }}_2\mid {\mathrm{\Sigma }}_3$ is a conditional semantic splitting of $\mathrm{\Delta }$ for a semantic $\mathit{S}\mathit{e}\mathit{m}$ if

$$\mathrm{Mod}{}_{\mathrm{\Sigma }}^{\text{Sem}}(\mathrm{\Delta })=\mathrm{Mod}{}_{\mathrm{\Sigma }}^{\text{Sem}}({\mathrm{\Delta }}_1)\oplus \mathrm{Mod}{}_{\mathrm{\Sigma }}^{\text{Sem}}({\mathrm{\Delta }}_2)\ominus \mathrm{Mod}{}_{\mathrm{\Sigma }}^{\text{Sem}}({\mathrm{\Delta }}_3).$$

Intuitively, if a belief base $\mathrm{\Delta }$ has a conditional semantic splitting, then the models of the subbases ${\mathrm{\Delta }}_1$ and ${\mathrm{\Delta }}_2$ can be computed independently and then combined to obtain models of $\mathrm{\Delta }$ . Because it might be the case that ${\mathrm{\Delta }}_3={\mathrm{\Delta }}_1\cap {\mathrm{\Delta }}_2\ne \mathrm{\varnothing }$ , the conditionals in ${\mathrm{\Delta }}_3$ are counted twice and thus their influence must be subtracted again to obtain models of $\mathrm{\Delta }$ . This yields the base for the following postulate.

(CSemSplit). An OCF-based semantic $\mathit{S}\mathit{e}\mathit{m}$ satisfies (CSemSplit) if every safe splitting $\mathrm{\Delta }={\mathrm{\Delta }}_1\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}^{\mathsf{s}}{\mathrm{\Delta }}_2\mid {\mathrm{\Sigma }}_3$ is also a conditional semantic splitting of $\mathrm{\Delta }$ .

We first give two examples of popular inference operators that do not satisfy conditional semantic splitting.

Example 17

System P is an axiom system stating desirable properties for nonmonotonic reasoning with conditionals (Adams, 1965; Kraus et al., 1990). It also characterizes a semantic that maps a belief base $\mathrm{\Delta }$ to all its models, that is, $\mathrm{Mod}{}_{\mathrm{\Sigma }}^{\mathrm{System}\mathrm{P}}(\mathrm{\Delta })=\mathrm{Mod}{}_{\mathrm{\Sigma }}(\mathrm{\Delta })$ . This semantics does not satisfy (CSemSplit)  which can be illustrated with $\mathrm{\Delta }={\mathrm{\Delta }}_1\cup {\mathrm{\Delta }}_2$ and ${\mathrm{\Delta }}_1=\{(a|\mathrm{\top })\}$ and ${\mathrm{\Delta }}_2=\{(b|\mathrm{\top })\}$ . Obviously, $\{{\mathrm{\Delta }}_1,{\mathrm{\Delta }}_2\}$ is a syntax splitting and thus a safe conditional syntax splitting of $\mathrm{\Delta }$ (Proposition 7). Furthermore,

$$\begin{array}{rl}{\kappa }_1& =\{ab\mapsto 1,a\overline{b}\mapsto 0,\overline{a}b\mapsto 1,\overline{a}\overline{b}\mapsto 1\}\text{ accepts }{\mathrm{\Delta }}_1,\text{ and }\\ {\kappa }_2& =\{ab\mapsto 1,a\overline{b}\mapsto 1,\overline{a}b\mapsto 0,\overline{a}\overline{b}\mapsto 1\}\text{ accepts }{\mathrm{\Delta }}_2,\end{array}$$

but ${\kappa }_1+{\kappa }_2=\{ab\mapsto 2,a\overline{b}\mapsto 1,\overline{a}b\mapsto 1,\overline{a}\overline{b}\mapsto 2\}$ is not even a ranking function and would also not model $\mathrm{\Delta }$ if it was normalized by reducing all ranks by 1.

Example 18

(Extended) system Z (cf. Definition 1) yields a model semantics given by $\mathrm{Mod}{}_{\mathrm{\Sigma }}^{\text{Sem}}(\mathrm{\Delta })=\{{\kappa }_{\mathrm{\Delta }}^z\}$ . This semantics also does not satisfy (CSemSplit). Consider ${\mathrm{\Delta }}^b$ and the conditional syntax splitting in Example 5. We have $\mathit{E}\mathit{P}({\mathrm{\Delta }}^b)=\{\{(f|b),(w|b)\},\{(b|p),(\overline{f}|p)\}\}$ , $\mathit{E}\mathit{P}({\mathrm{\Delta }}_1^b)=\{\{(f|b)\},\{(b|p),(\overline{f}|p)\}\}$ and $\mathit{E}\mathit{P}({\mathrm{\Delta }}_2^b)=\{\{(w|b)\}\}$ . Then we get ${\kappa }_{\mathrm{\Delta }}^z(\overline{p}b\overline{f}\overline{w})=1\ne 2={\kappa }_{{\mathrm{\Delta }}_1}^z(\overline{p}b\overline{f})+{\kappa }_{{\mathrm{\Delta }}_2}^z(b\overline{w})-{\kappa }_{{\mathrm{\Delta }}_3}^z(b)$ . Thus (CSemSplit) is not satisfied.

While system P and system Z do not satisfy conditional semantic splitting we will consider semantics satisfying this property in the next section.

4.2. Extended c-Representations and Relaxations of Extended c-Representations

Among the OCF models of $\mathrm{\Delta }$ , c-representations are special ranking models obtained by assigning individual integer impacts to the conditionals in $\mathrm{\Delta }$ and generating the world ranks as the sum of impacts of falsified conditionals.

Definition 19 (c-Representation; Kern-Isberner, 2001, 2004)

A c-representation of a strongly consistent $\mathrm{\Delta }=\{(B_1|A_1),\dots ,(B_n|A_n)\}$ is an OCF $\kappa$ constructed from nonnegative integer impacts ${\eta }_i\in {\mathbb{N}}_0$ assigned to each $(B_i|A_i)$ such that $\kappa$ accepts $\mathrm{\Delta }$ and is given by:

$$\begin{array}{r}\kappa (\omega )=\sum _{\begin{array}{c}1⩽i⩽n\\ \omega \models A_i{\overline{B}}_i\end{array}}{\eta }_i.\end{array}$$

(15)

c-Representations can conveniently be specified using a constraint satisfaction problem (for detailed explanations, see Kern-Isberner, 2001, 2004):

Definition 20 ( $\mathit{C}\mathit{R}(\mathrm{\Delta })$ , (Beierle et al., 2018; Kern-Isberner, 2001))

Let $\mathrm{\Delta }=\{(B_1|A_1),\dots ,(B_n|A_n)\}$ . The constraint satisfaction problem for c-representations of $\mathrm{\Delta }$ , denoted by $\mathit{C}\mathit{R}(\mathrm{\Delta })$ , is given by the conjunction of the constraints, for all $i\in \{1,\dots ,n\}$ :

$$\begin{array}{rl}{\eta }_i& ⩾0,\end{array}$$

(16)

$$\begin{array}{rl}{\eta }_i& >\underset{\omega \models A_j{B}_j}{min}\sum _{\begin{array}{c}k\ne j\\ \omega \models A_k\overline{B_k}\end{array}}{\eta }_k-\underset{\omega \models A_j{\overline{B}}_j}{min}\sum _{\begin{array}{c}k\ne j\\ \omega \models A_k\overline{B_k}\end{array}}{\eta }_k.\end{array}$$

(17)

Note that (16) expresses that falsification of conditionals should make worlds not more plausible, and (17) ensures that $\kappa$ as specified by (15) accepts $\mathrm{\Delta }$ . A solution of $\mathit{C}\mathit{R}(\mathrm{\Delta })$ is a vector $\overrightarrow{\eta }=({\eta }_1,\dots ,{\eta }_n)$ of natural numbers. $\mathit{S}\mathit{o}\mathit{l}(\mathit{C}\mathit{R}(\mathrm{\Delta }))$ denotes the set of all solutions of $\mathit{C}\mathit{R}(\mathrm{\Delta })$ . For $\overrightarrow{\eta }\in \mathit{S}\mathit{o}\mathit{l}(\mathit{C}\mathit{R}(\mathrm{\Delta }))$ and $\kappa$ as in equation (15), $\kappa$ is the OCF induced by $\overrightarrow{\eta }$ and is denoted by ${\kappa }_{\overrightarrow{\eta }}$ . $\mathit{C}\mathit{R}(\mathrm{\Delta })$ is sound and complete (Beierle et al., 2018; Kern-Isberner, 2001): for every $\overrightarrow{\eta }\in \mathit{S}\mathit{o}\mathit{l}(\mathit{C}\mathit{R}(\mathrm{\Delta }))$ , ${\kappa }_{\overrightarrow{\eta }}$ is a c-representation with ${\kappa }_{\overrightarrow{\eta }}\models \mathrm{\Delta }$ , and for every c-representation $\kappa$ with $\kappa \models \mathrm{\Delta }$ , there is $\overrightarrow{\eta }\in \mathit{S}\mathit{o}\mathit{l}(\mathit{C}\mathit{R}(\mathrm{\Delta }))$ such that $\kappa ={\kappa }_{\overrightarrow{\eta }}$ . Thus, c-representations yield an OCF-based model semantics

$$\mathrm{Mod}{}_{\mathrm{\Sigma }}^{\mathit{\text{c-rep}}}(\mathrm{\Delta })=\{{\kappa }_{\overrightarrow{\eta }}\mid \overrightarrow{\eta }\in \mathit{S}\mathit{o}\mathit{l}(\mathit{C}\mathit{R}(\mathrm{\Delta }))\}.$$

For an impact vector $\overrightarrow{\eta }$ , we will simply write ${\overrightarrow{\eta }}^1$ and ${\overrightarrow{\eta }}^2$ for the corresponding projections ${\overrightarrow{\eta }|}_{{\mathrm{\Delta }}_1}$ and ${\overrightarrow{\eta }|}_{{\mathrm{\Delta }}_2}$ , and $({\overrightarrow{\eta }}^1,{\overrightarrow{\eta }}^2)$ for their composition. Similarly, we will write $({\overrightarrow{\eta }}^1,{\eta }_j)$ for the composition of a vector with a singular natural number ${\eta }_j$ . We illustrate c-representations and $\mathit{C}\mathit{R}(\mathrm{\Delta })$ with an example.

Example 21 ( ${\mathrm{\Delta }}^b$ continued)

Consider the belief base ${\mathrm{\Delta }}^b$ from Example 5.

$\mathit{C}\mathit{R}({\mathrm{\Delta }}^b)$ contains ${\eta }_i⩾0$ for $i\in \{1,2,3,4\}$ and the following constraints:

$$\begin{array}{rl}{\eta }_1>& \underset{\begin{array}{c}\omega \in {\mathrm{\Omega }}_{\mathrm{\Sigma }}\\ \omega \models bf\end{array}}{min}\sum _{\begin{array}{c}j\ne 1\\ \omega \models A_j\overline{B_j}\end{array}}{\eta }_j-\underset{\begin{array}{c}\omega \in {\mathrm{\Omega }}_{\mathrm{\Sigma }}\\ \omega \models b\overline{f}\end{array}}{min}\sum _{\begin{array}{c}j\ne 1\\ \omega \models A_j\overline{B_j}\end{array}}{\eta }_j,\\ {\eta }_2>& \underset{\begin{array}{c}\omega \in {\mathrm{\Omega }}_{\mathrm{\Sigma }}\\ \omega \models p\overline{f}\end{array}}{min}\sum _{\begin{array}{c}j\ne 2\\ \omega \models A_j\overline{B_j}\end{array}}{\eta }_j-\underset{\begin{array}{c}\omega \in {\mathrm{\Omega }}_{\mathrm{\Sigma }}\\ \omega \models pf\end{array}}{min}\sum _{\begin{array}{c}j\ne 2\\ \omega \models A_j\overline{B_j}\end{array}}{\eta }_j,\\ {\eta }_3>& \underset{\begin{array}{c}\omega \in {\mathrm{\Omega }}_{\mathrm{\Sigma }}\\ \omega \models pb\end{array}}{min}\sum _{\begin{array}{c}j\ne 3\\ \omega \models A_j\overline{B_j}\end{array}}{\eta }_j-\underset{\begin{array}{c}\omega \in {\mathrm{\Omega }}_{\mathrm{\Sigma }}\\ \omega \models p\overline{b}\end{array}}{min}\sum _{\begin{array}{c}j\ne 3\\ \omega \models A_j\overline{B_j}\end{array}}{\eta }_j.\\ {\eta }_4>& \underset{\begin{array}{c}\omega \in {\mathrm{\Omega }}_{\mathrm{\Sigma }}\\ \omega \models bw\end{array}}{min}\sum _{\begin{array}{c}j\ne 4\\ \omega \models A_j\overline{B_j}\end{array}}{\eta }_j-\underset{\begin{array}{c}\omega \in {\mathrm{\Omega }}_{\mathrm{\Sigma }}\\ \omega \models b\overline{w}\end{array}}{min}\sum _{\begin{array}{c}j\ne 4\\ \omega \models A_j\overline{B_j}\end{array}}{\eta }_j.\end{array}$$

Figure 2(a) shows some solutions for ${\mathrm{\Delta }}^b$ as well as their corresponding induced c-representations. For example, ${\overrightarrow{\eta }}_1=(1,2,2,1)\in \mathit{S}\mathit{o}\mathit{l}(\mathit{C}\mathit{R}({\mathrm{\Delta }}^b))$ , ${\overrightarrow{\eta }}_1^1=(1,2,2)\in \mathit{S}\mathit{o}\mathit{l}(\mathit{C}\mathit{R}({\mathrm{\Delta }}_{1\setminus 3}^b)),$ and ${\overrightarrow{\eta }}_1^2=(1)\in \mathit{S}\mathit{o}\mathit{l}(\mathit{C}\mathit{R}({\mathrm{\Delta }}_{2\setminus 3}^b))$ .

Figure 2.

(a) Verification (v) and falsification (f) on worlds, impact vectors ${\overrightarrow{\eta }}_1,{\overrightarrow{\eta }}_2,{\overrightarrow{\eta }}_3$ for ${\mathrm{\Delta }}^b$ and their induced c-representations ${\kappa }_{{\overrightarrow{\eta }}_1},{\kappa }_{{\overrightarrow{\eta }}_2},{\kappa }_{{\overrightarrow{\eta }}_3}$ . (b) Verification and falsification of the additional conditional ${\delta }_5\in {\mathrm{\Delta }}^{b+}$ , impact vectors ${\overrightarrow{\eta }}_4,{\overrightarrow{\eta }}_5$ for ${\mathrm{\Delta }}^{b+}$ and their induced extended c-representations ${\kappa }_{{\overrightarrow{\eta }}_4},{\kappa }_{{\overrightarrow{\eta }}_5}$ . (c) The system Z ranking functions ${\kappa }_{{\mathrm{\Delta }}^b}^z$ and ${\kappa }_{{\mathrm{\Delta }}^{b+}}^z$ . These tables are used in Examples 21, 24, and 30.

Recently, c-representations have been generalized to also cover weakly consistent belief bases, yielding extended c-representations.

Definition 22 (Extended c-representation, (Haldimann et al., 2024))

An extended c-representation of a belief base $\mathrm{\Delta }=\{(B_1|A_1),\dots ,(B_n|A_n)\}$ over $\mathrm{\Sigma }$ is a ranking function ${\kappa }_{\overrightarrow{\eta }}$ constructed from impacts $\overrightarrow{\eta }=({\eta }_1,\dots ,{\eta }_n)$ with ${\eta }_i\in {\mathbb{N}}_0\cup \{\mathrm{\infty }\},i\in \{1,\dots ,n\}$ assigned to each conditional $(B_i|A_i)$ such that ${\kappa }_{\overrightarrow{\eta }}$ accepts $\mathrm{\Delta }$ and is given by:

$$\begin{array}{rl}{\kappa }_{\overrightarrow{\eta }}(\omega )=& \sum _{\begin{array}{c}1⩽i⩽n\\ \omega \models A_i{\overline{B}}_i\end{array}}{\eta }_i.\end{array}$$

(18)

We will denote the set of all extended c-representations of $\mathrm{\Delta }$ by $\mathrm{Mod}{}_{\mathrm{\Sigma }}^{ec}(\mathrm{\Delta })$ .

Every c-representation is also an extended c-representation (Haldimann et al., 2024). Just like c-representations, extended c-representations can also be specified using a constraint satisfaction problem, based on the constraint satisfaction problem $\mathit{C}\mathit{R}(\mathrm{\Delta })$ for c-representations.

Definition 23 ( ${\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}(\mathrm{\Delta })$ , (Haldimann et al., 2024))

Let $\mathrm{\Delta }=\{(B_1|A_1),\dots ,(B_n|A_n)\}$ be a belief base over $\mathrm{\Sigma }$ . The constraint satisfaction problem for extended c-representations of $\mathrm{\Delta }$ , denoted by ${\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}(\mathrm{\Delta })$ , on the constraint variables $\{{\eta }_1,\dots ,{\eta }_n\}$ ranging over ${\mathbb{N}}_0\cup \{\mathrm{\infty }\}$ is given by the conjunction of the constraints, for all $i\in \{1,\dots ,n\}$ :

$${\eta }_i⩾0.$$

(19)

The constraint system ${\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}(\mathrm{\Delta })$ is sound and complete (Haldimann et al., 2024), thus extended c-representations yield an OCF-based model semantics

$$\mathrm{Mod}{}_{\mathrm{\Sigma }}^{ec}(\mathrm{\Delta })=\{{\kappa }_{\overrightarrow{\eta }}\mid \overrightarrow{\eta }\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}(\mathrm{\Delta }))\}.$$

We illustrate the notion of extended c-representations and their constraint system with an example.

Example 24 ( ${\mathrm{\Delta }}^b,{\mathrm{\Delta }}^{b+}$ continued)

Let ${\mathrm{\Delta }}^b$ , ${\mathrm{\Delta }}^{b+}$ as in Examples 5, 6, and 21. The constraint for $(\mathrm{\perp }|\overline{w})$ in ${\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}^{b+})$ is given by:

$$\underset{\begin{array}{c}\omega \in \mathrm{\Omega }(\mathrm{\Sigma })\\ \omega \models \overline{w}\end{array}}{min}\sum _{\begin{array}{c}1⩽j⩽n\\ \omega \models A_k\overline{B_k}\\ (B_k|A_k)\in {\mathrm{\Delta }}^{b+}\end{array}}{\eta }_k=\mathrm{\infty }\text{or}{\eta }_5>\underset{\begin{array}{c}\omega \models \mathrm{\perp }\end{array}}{min}\sum _{\begin{array}{c}j\ne 5\\ \omega \models A_k{\overline{B}}_k\\ (B_k|A_k)\in {\mathrm{\Delta }}^{b+}\end{array}}{\eta }_k-\underset{\begin{array}{c}\omega \models \overline{w}\end{array}}{min}\sum _{\begin{array}{c}j\ne 5\\ \omega \models A_k{\overline{B}}_k\\ (B_k|A_k)\in {\mathrm{\Delta }}^{b+}\end{array}}{\eta }_k.$$

Every possible solution of this constraint requires choosing ${\eta }_5=\mathrm{\infty }$ , yielding, for example, the impact vector ${\overrightarrow{\eta }}_4^{ex}=(1,2,2,1,\mathrm{\infty })\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}^{b+}))$ or ${\overrightarrow{\eta }}_5^{ex}=(1,\mathrm{\infty },2,1,\mathrm{\infty })\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}^{b+}))$ as possible solutions of ${\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}^{b+})$ .

The corresponding extended c-representations can be seen in Figure 2(b).

Among the extended c-representations, special attention should be given to the so-called conservative c-representations, assigning $\mathrm{\infty }$ to a world only if it is strictly necessary for accepting all conditionals in $\mathrm{\Delta }$ .

Definition 25 (Conservative c-representation, (Haldimann et al., 2024), adapted)

Let $\mathrm{\Delta }$ be a belief base. Then $C\mathrm{Mod}{}_{\mathrm{\Sigma }}^{ec}(\mathrm{\Delta })$ is the set of conservative c-representations ${\kappa }_{\overrightarrow{\eta }}$ of $\mathrm{\Delta }$ such that for all worlds $\omega$ , we have ${\kappa }_{\overrightarrow{\eta }}(\omega )=\mathrm{\infty }$ only if for every OCF $\kappa$ , $\kappa \models \mathrm{\Delta }$ implies $\kappa (\omega )=\mathrm{\infty }$ .

Note that every conservative c-representation is also an extended c-representation (Haldimann et al., 2024). Because ${\kappa }_{\mathrm{\Delta }}^z$ is the unique minimal ranking function accepting a belief base $\mathrm{\Delta }$ in the sense that ${\kappa }_{\mathrm{\Delta }}^z(\omega )⩽\kappa (\omega )$ for every $\omega$ and every OCF $\kappa$ accepting $\mathrm{\Delta }$ (Goldszmidt & Pearl, 1990), we immediately obtain the following lemma.

Lemma 26

Let $\mathrm{\Delta }$ be a weakly consistent belief base and let $\kappa$ be a conservative c-representation of $\mathrm{\Delta }$ . Then ${\kappa }_{\mathrm{\Delta }}^z(\omega )<\mathrm{\infty }$ iff ${\kappa }_{\overrightarrow{\eta }}(\omega )<\mathrm{\infty }$ .

The set of conservative c-representations has been shown to admit exactly the same inferences as the set of extended c-representations if all ranking functions are taken into account.

Proposition 27 (Haldimann et al., 2024)

Let $\mathrm{\Delta }$ be a belief base and let $A,B\in \mathcal{L}(\mathrm{\Sigma })$ . Then

Conservative c-representations can be specified using a simplified constraint satisfaction problem, taking into account only those conditionals whose impacts are not assigned $\mathrm{\infty }$ .

Definition 28 ( ${\mathit{C}\mathit{R}\mathit{S}}_{\mathrm{\Sigma }}^{ex}(\mathrm{\Delta })$ , (Haldimann et al., 2024))

Let $\mathrm{\Delta }=\{(B_1|A_1),\dots ,(B_n|A_n)\}$ be a belief base over $\mathrm{\Sigma }$ with the extended Z-partition $\mathit{E}\mathit{P}(\mathrm{\Delta })=\{{\mathrm{\Delta }}^0,\dots ,{\mathrm{\Delta }}^m,{\mathrm{\Delta }}^{\mathrm{\infty }}\}$ . Let

$$J_{\mathrm{\Delta }}=\{j\mid (B_j|A_j)\in \mathrm{\Delta }\setminus {\mathrm{\Delta }}^{\mathrm{\infty }}\text{ s.t. }{A}_j\overline{B_j}\wedge (\underset{(D|C)\in {\mathrm{\Delta }}^{\mathrm{\infty }}}{\bigwedge }(\overline{C}\vee D))\not\equiv \mathrm{\perp }\}.$$

The simplified constraint satisfaction problem for extended c-inference of $\mathrm{\Delta }$ , denoted by ${\mathit{C}\mathit{R}\mathit{S}}_{\mathrm{\Sigma }}^{ex}(\mathrm{\Delta })$ , on the constraint variables $\{{\eta }_{j_1},\dots ,{\eta }_{j_l}\},j_k\in J_{\mathrm{\Delta }}$ ranging over ${\mathbb{N}}_0$ is given by the constraints ${\mathit{c}\mathit{r}\mathit{s}}_j^{ex\mathrm{\Delta }}$ , for all $j\in J_{\mathrm{\Delta }}$ :

$$\begin{array}{r}({\mathit{c}\mathit{r}\mathit{s}}_j^{ex\mathrm{\Delta }}){\eta }_i>\underset{\begin{array}{c}\omega \in {\mathrm{\Omega }}_{\mathrm{\Sigma }}\\ \omega \models A_i{B}_i\end{array}}{min}\sum _{\begin{array}{c}j\in J_{\mathrm{\Delta }}\\ j\ne i\\ \omega \models A_j\overline{B_j}\end{array}}{\eta }_j-\underset{\begin{array}{c}\omega \in {\mathrm{\Omega }}_{\mathrm{\Sigma }}\\ \omega \models A_i{\overline{B}}_i\end{array}}{min}\sum _{\begin{array}{c}j\in J_{\mathrm{\Delta }}\\ j\ne i\\ \omega \models A_j\overline{B_j}\end{array}}{\eta }_j.\end{array}$$

(21)

By assigning the value $\mathrm{\infty }$ to all constraint variables not mentioned in ${\mathit{C}\mathit{R}\mathit{S}}_{\mathrm{\Sigma }}^{ex}(\mathrm{\Delta })$ , we obtain the set of impact vectors ${\mathit{S}\mathit{o}\mathit{l}}_{\mathrm{\Delta }}^{J+\mathrm{\infty }}$ characterizing conservative c-representations.

Definition 29 ( ${\mathit{S}\mathit{o}\mathit{l}}_{\mathrm{\Delta }}^{J+\mathrm{\infty }}$ , (Haldimann et al., 2024))

Let $\mathrm{\Delta }$ be a belief base, $n=|\mathrm{\Delta }|$ , and let $J_{\mathrm{\Delta }}$ be defined as above. For ${\overrightarrow{\eta }}^J\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}\mathit{S}}_{\mathrm{\Sigma }}^{ex}(\mathrm{\Delta }))$ let ${\overrightarrow{\eta }}^{J+\mathrm{\infty }}\in ({\mathbb{N}}_0\cup \{\mathrm{\infty }\}{)}^n$ be the impact vector with

$${\eta }_i^{J+\mathrm{\infty }}=\{\begin{array}{ll}{\eta }_i& \text{for }i\in J_{\mathrm{\Delta }},\\ \mathrm{\infty }& \text{otherwise.}\end{array}$$

Then ${\mathit{S}\mathit{o}\mathit{l}}_{\mathrm{\Delta }}^{J+\mathrm{\infty }}:=\{{\overrightarrow{\eta }}^{J+\mathrm{\infty }}\mid {\overrightarrow{\eta }}^J\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}\mathit{S}}_{\mathrm{\Sigma }}^{ex}(\mathrm{\Delta }))\}$ .

The set of impact vectors ${\mathit{S}\mathit{o}\mathit{l}}_{\mathrm{\Delta }}^{J+\mathrm{\infty }}$ is sound and complete, that is, it characterizes exactly the set of conservative c-representations (Haldimann et al., 2024), yielding an OCF-based model semantics

$$C\mathrm{Mod}{}_{\mathrm{\Sigma }}^{ec}(\mathrm{\Delta })=\{{\kappa }_{\overrightarrow{\eta }}\mid \overrightarrow{\eta }\in {\mathit{S}\mathit{o}\mathit{l}}_{\mathrm{\Delta }}^{J+\mathrm{\infty }}\}.$$

We illustrate the differences between conservative c-representations and extended c-representations by giving an example.

Example 30 ( ${\mathrm{\Delta }}^{b+}$ continued)

Let ${\mathrm{\Delta }}^{b+}$ as in Example 6. This belief base is weakly consistent with $\mathit{E}\mathit{P}({\mathrm{\Delta }}^{b+})=({\mathrm{\Delta }}^0,{\mathrm{\Delta }}^1,{\mathrm{\Delta }}^{\mathrm{\infty }})=(\{(f|b),(w|b)\},\{(\overline{f}|p),(b|p)\},\{(\mathrm{\perp }|\overline{w})\})$ . Let ${\overrightarrow{\eta }}_4=(1,2,2,1,\mathrm{\infty })$ and ${\overrightarrow{\eta }}_5=(1,\mathrm{\infty },2,1,\mathrm{\infty })$ be as in Example 24 with $\kappa ={\kappa }_{{\overrightarrow{\eta }}_4}$ and ${\kappa }^{\prime }={\kappa }_{{\overrightarrow{\eta }}_5}$ . Then $\kappa$ is a conservative c-representation, that is, ${\overrightarrow{\eta }}_4\in {\mathit{S}\mathit{o}\mathit{l}}_{{\mathrm{\Delta }}^{b+}}^{J+\mathrm{\infty }}$ but ${\kappa }^{\prime }$ is not conservative, as ${\kappa }^{\prime }(bpfw)=\mathrm{\infty }$ , but ${\kappa }_{{\mathrm{\Delta }}^{b+}}^z(bpfw)=2$ . The ranking functions $\kappa ={\kappa }_{{\overrightarrow{\eta }}_4}$ and ${\kappa }^{\prime }={\kappa }_{{\overrightarrow{\eta }}_5}$ can be seen in Figure 2(b). The system Z ranking functions ${\kappa }_{{\mathrm{\Delta }}^b}^z$ and ${\kappa }_{{\mathrm{\Delta }}^{b+}}^z$ can be seen in Figure 2(c).

Consider the inference relations and derived from $\kappa$ and ${\kappa }^{\prime }$ , respectively. First, we have that if for all . However, additionally allows for further, potentially unintended inferences to be drawn. For example, we have both, and , admitting the inferences that flying penguins are usually birds and not birds at the same time, due to the fact that ${\kappa }_{\mathrm{\Delta }}^{\prime }(pf)=\mathrm{\infty }$ , that is, according to ${\kappa }^{\prime }$ , flying penguins are deemed infeasible. On the other hand, regarding $\kappa$ , we have and , that is, according to $\kappa$ , flying penguins are usually birds, which seems more intuitive.

We now look at the differences between conservative and extended c-representations more formally. For this, we introduce the notion of relaxation of a conservative ranking function and of an impact vector.

Definition 31 (Relaxation of conservative c-representations)

Let $\kappa$ be a conservative c-representation and let ${\kappa }^{\prime }$ be an extended c-representation. Then ${\kappa }^{\prime }$ is a relaxation of $\kappa$ , if ${\kappa }^{\prime }(\omega )=\kappa (\omega )$ or ${\kappa }^{\prime }(\omega )=\mathrm{\infty }$ . Similarly, ${\overrightarrow{\eta }}^{\prime }=({\overrightarrow{\eta }}_1^{\prime },\dots ,{\overrightarrow{\eta }}_n^{\prime })\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}(\mathrm{\Delta }))$ is a relaxation of $\overrightarrow{\eta }=({\overrightarrow{\eta }}_1,\dots ,{\overrightarrow{\eta }}_n)\in {\mathit{S}\mathit{o}\mathit{l}}_{\mathrm{\Delta }}^{J+\mathrm{\infty }}$ if, for $i\in \{1,\dots ,n\}$ , ${\eta }_i^{\prime }={\eta }_i$ or ${\eta }_i^{\prime }=\mathrm{\infty }$ . We call a relaxation proper if additionally $\kappa \ne {\kappa }^{\prime }$ or $\overrightarrow{\eta }\ne {\overrightarrow{\eta }}^{\prime }$ , respectively.

The intuition here is that every conservative c-representation, induced by an impact vector $\overrightarrow{\eta }$ , has a corresponding set of extended c-representations, whose impact vectors share the same values as $\overrightarrow{\eta }$ , except that they may unnecessarily assign the value $\mathrm{\infty }$ to some constraint variable(s). For example, in Example 24, the impact vector ${\overrightarrow{\eta }}_5$ is a relaxation of ${\overrightarrow{\eta }}_4$ , and furthermore ${\kappa }_{{\overrightarrow{\eta }}_5}$ is a relaxation of ${\kappa }_{{\overrightarrow{\eta }}_4}$ . We now show that the inferences of a conservative c-representation and its relaxations are, in general, incomparable.

Proposition 32

There is a belief base $\mathrm{\Delta }$ such that there are a conservative c-representation $\kappa$ of $\mathrm{\Delta }$ and a relaxation ${\kappa }^{\prime }$ of $\kappa$ such that both and hold.

Proof.

Let $\mathrm{\Delta }=\{(a|\mathrm{\top }),(b|\mathrm{\top })\}$ . Let $\overrightarrow{\eta }=(2,1)\in {\mathit{S}\mathit{o}\mathit{l}}_{\mathrm{\Delta }}^{J+\mathrm{\infty }}$ and $\kappa ={\kappa }_{\overrightarrow{\eta }}$ . Let ${\overrightarrow{\eta }}^{\prime }=(2,\mathrm{\infty })\in {\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}(\mathrm{\Delta })$ and ${\kappa }^{\prime }={\kappa }_{{\overrightarrow{\eta }}^{\prime }}$ . Clearly ${\kappa }^{\prime }$ is a relaxation of $\kappa$ . The ranking functions can be seen in Figure 3. then and , because but , and but .

Figure 3.

Ranking functions for the proof of Proposition 32.

While we have studied the differences between conservative and extended c-representations in this section, in the next section, we will show that both semantics satisfy conditional semantic splitting.

4.3. Extended and Conservative c-Representations Satisfy Semantic Splitting

A fundamental property of c-representations is that for any syntax splitting $\mathrm{\Delta }={\mathrm{\Delta }}_1\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}{\mathrm{\Delta }}_2$ the composition of any impact vectors for the subbases yields an impact vector for $\mathrm{\Delta }$ , and vice versa (Kern-Isberner et al., 2020). Before proving a generalization of this observation to conditional syntax splitting, we state two useful lemmata.

Lemma 33

Let $\mathrm{\Delta }$ be a conditional belief base, $\overrightarrow{\eta }\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}(\mathrm{\Delta }))$ , and $(F|E)$ a self-fulfilling conditional, where $E\models F$ . Then $(\overrightarrow{\eta },\eta )\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}(\mathrm{\Delta }\cup \{(F|E)\}))$ for any $\eta \in \mathbb{N}\cup \{\mathrm{\infty }\}$ , and accordingly ${\kappa }_{\overrightarrow{\eta }}(\omega )={\kappa }_{(\overrightarrow{\eta },\eta )}(\omega )$ for all $\omega \in \mathrm{\Omega }$ .

Proof.

Since $\omega ⊭E\overline{F}$ for all worlds $\omega$ , the impact $\eta$ assigned to $(F|E)$ only has to satisfy $\eta ⩾0$ , and it does not appear in the sum-expression (15) defining an extended c-representation.

Lemma 34

Let $\mathrm{\Delta }={\mathrm{\Delta }}_1\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}^{\mathsf{s}}{\mathrm{\Delta }}_2\mid {\mathrm{\Sigma }}_3$ . Then all conditionals in ${\mathrm{\Delta }}_3={\mathrm{\Delta }}_1\cap {\mathrm{\Delta }}_2$ are self-fulfilling.

Proof.

Let $i,i^{\prime }\in \{1,2\}$ where $i\ne i^{\prime }$ and $(B|A)\in {\mathrm{\Delta }}_3,A,B\in \mathcal{L}({\mathrm{\Sigma }}_3)$ .

Toward a contradiction, assume there was some $\omega$ with $\omega \models A\overline{B}$ . Then for ${\omega }^3=\omega {|}_{{\mathrm{\Sigma }}_3}$ it must also hold that ${\omega }^3\models A\overline{B}$ . Due to the safety property (5), ${\omega }^3$ must have extensions ${\omega }^1\in \mathrm{\Omega }({\mathrm{\Sigma }}_1)$ and ${\omega }^2\in \mathrm{\Omega }({\mathrm{\Sigma }}_2)$ such that no conditional in ${\mathrm{\Delta }}_1$ , respectively, ${\mathrm{\Delta }}_2$ is falsified. Since $(B|A)\in {\mathrm{\Delta }}_3$ and thus $(B|A)\in {\mathrm{\Delta }}_1$ and $(B|A)\in {\mathrm{\Delta }}_2$ , we get ${\omega }^3⊭A\overline{B}$ , contradicting our assumption.

Note that in our example base ${\mathrm{\Delta }}^b$ , ${\mathrm{\Delta }}_3$ is empty while ${\mathrm{\Sigma }}_3$ is not. The crucial (conditional) link between ${\mathrm{\Delta }}_1$ and ${\mathrm{\Delta }}_2$ is given semantically by ${\mathrm{\Sigma }}_3$ .

The following proposition provides the key for showing that c-representations satisfy conditional semantic splitting.

Proposition 35

For any $\mathrm{\Delta }={\mathrm{\Delta }}_1\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}^{\mathsf{s}}{\mathrm{\Delta }}_2\mid {\mathrm{\Sigma }}_3$ , where ${\mathrm{\Delta }}_3={\mathrm{\Delta }}_1\cap {\mathrm{\Delta }}_2$ , we have $\mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}(\mathrm{\Delta }))=\{({\overrightarrow{\eta }}^1,{\overrightarrow{\eta }}^2,{\overrightarrow{\eta }}^3)\mid {\overrightarrow{\eta }}^i\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_{i\setminus 3})),i\in \{1,2\};{\overrightarrow{\eta }}^3\in (\mathbb{N}\cup \{\mathrm{\infty }\}{)}^{|{\mathrm{\Delta }}_3|}\}$ , i.e.,

$$\mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}(\mathrm{\Delta }))=\mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_{1\setminus 3}))\times \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_{2\setminus 3}))\times (\mathbb{N}\cup \mathrm{\infty }{)}^{|{\mathrm{\Delta }}_3|}.$$

Proof.

We will first consider the case that ${\mathrm{\Delta }}_3=\mathrm{\varnothing }$ . Then, we have that $\mathrm{\Delta }={\mathrm{\Delta }}_{1\setminus 3}\cup {\mathrm{\Delta }}_{2\setminus 3}$ .

Let $i,i^{\prime }\in \{1,2\}$ and $i\ne i^{\prime }$ . Let ${\mathrm{\Delta }}_{1\setminus 3}=\{(B_1|A_1),\dots ,(B_{n_1}|A_{n_1})\}$ , ${\mathrm{\Delta }}_{2\setminus 3}=\{(B_{n_1+1}|A_{n_1+1}),\dots ,(B_{n_1+n_2}|A_{n_1+n_2})\}$ , $\mathrm{\Delta }=\{(B_1|A_1),\dots ,(B_n|A_n)\}$ , thus $n=n_1+n_2$ . Then, for $(B_j|A_j)\in \mathrm{\Delta }$ , we have $(B_j|A_j)\in {\mathrm{\Delta }}_{i\setminus 3}$ iff $(B_j|A_j)\notin$ ${\mathrm{\Delta }}_{i^{\prime }\setminus 3}$ . We start with the following assumption:

(S1) ${\overrightarrow{\eta }}^1\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_{1\setminus 3}))$ , ${\overrightarrow{\eta }}^2\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_{2\setminus 3})).$

Let us denote the constraint variables in ${\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_{1\setminus 3})$ with ${\eta }_1^1,\dots ,{\eta }_{n_1}^1$ and in ${\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_{2\setminus 3})$ with ${\eta }_{n_1+1}^2,\dots ,{\eta }_n^2$ . Hence, we can write the constraints in ${\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_{i\setminus 3})$ as:

$$\begin{array}{rl}\underset{\begin{array}{c}\omega \models A_j\end{array}}{min}& \sum _{\begin{array}{c}1⩽j⩽n\\ \omega \models A_k\overline{B_k}\\ (B_k|A_k)\in {\mathrm{\Delta }}_{i\setminus 3}\end{array}}{\eta }_k^i=\mathrm{\infty }\text{or}{\eta }_j^i>\underset{\begin{array}{c}\omega \models A_j{B}_j\end{array}}{min}\sum _{\begin{array}{c}k\ne j\\ \omega \models A_k{\overline{B}}_k\\ (B_k|A_k)\in {\mathrm{\Delta }}_{i\setminus 3}\end{array}}{\eta }_k^i-\underset{\begin{array}{c}\omega \models A_j{\overline{B}}_j\end{array}}{min}\sum _{\begin{array}{c}k\ne j\\ \omega \models A_k{\overline{B}}_k\\ (B_k|A_k)\in {\mathrm{\Delta }}_{i\setminus 3}\end{array}}{\eta }_k^i.\end{array}$$

(22)

Due to the safety property (5), ${\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_{1\setminus 3})$ does not mention any constraint variable from ${\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_{2\setminus 3})$ and vice versa, thus (S1) is equivalent to:

(S2) $({\overrightarrow{\eta }}^1,{\overrightarrow{\eta }}^2)\in \mathit{S}\mathit{o}\mathit{l}(\mathrm{\Gamma }1)$ ,     $\mathrm{\Gamma }1={\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_{1\setminus 3})\cup {\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_{2\setminus 3})$ .

We will now consider the two constraints (20a) and (20b) separately. First, we consider (20b). We can write the constraints of form (20b) in ${\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_{i\setminus 3})$ as:

$$\begin{array}{rl}& {\eta }_j^i>\underset{{\mathit{V}}_{\min }(j,i)}{\underbrace{\underset{\begin{array}{c}\omega \models A_j{B}_j\end{array}}{min}\sum _{\begin{array}{c}k\ne j\\ \omega \models A_k{\overline{B}}_k\\ (B_k|A_k)\in {\mathrm{\Delta }}_{i\setminus 3}\end{array}}{\eta }_k^i}}-\underset{{\mathit{F}}_{\min }(j,i)}{\underbrace{\underset{\begin{array}{c}\omega \models A_j{\overline{B}}_j\end{array}}{min}\sum _{\begin{array}{c}k\ne j\\ \omega \models A_k{\overline{B}}_k\\ (B_k|A_k)\in {\mathrm{\Delta }}_{i\setminus 3}\end{array}}{\eta }_k^i}}.\end{array}$$

(23)

For $(B_j|A_j)\in {\mathrm{\Delta }}_{i\setminus 3}$ , let ${\mathit{V}}_{\min }(j,i^{\prime })$ and ${\mathit{F}}_{\min }(j,i^{\prime })$ be:

$$\begin{array}{rl}& {\mathit{V}}_{\min }(j,i^{\prime })=\underset{\begin{array}{c}\omega \models A_j{B}_j\end{array}}{min}\sum _{\begin{array}{c}k\ne j\\ \omega \models A_k{\overline{B}}_k\\ (B_k|A_k)\in {\mathrm{\Delta }}_{i^{\prime }\setminus 3}\end{array}}{\eta }_k^{i^{\prime }},\end{array}$$

(24)

$$\begin{array}{rl}& {\mathit{F}}_{\min }(j,i^{\prime })=\underset{\begin{array}{c}\omega \models A_j{\overline{B}}_j\end{array}}{min}\sum _{\begin{array}{c}k\ne j\\ \omega \models A_k{\overline{B}}_k\\ (B_k|A_k)\in {\mathrm{\Delta }}_{i^{\prime }\setminus 3}\end{array}}{\eta }_k^{i^{\prime }}.\end{array}$$

(25)

Note that both ${\mathit{V}}_{\min }(j,i^{\prime })$ and ${\mathit{F}}_{\min }(j,i^{\prime })$ only involve impacts corresponding to falsified conditionals from the subbase the conditional $(B_j|A_j)$ does not belong to.

Due to the safety property (5), any world $\omega \in \mathrm{\Omega }$ that minimizes the sum in ${\mathit{V}}_{\min }(j,i^{\prime })$ , falsifies no conditionals in ${\mathrm{\Delta }}_{i^{\prime }\setminus 3}$ . Analogously, this holds for ${\mathit{F}}_{\min }(j,i^{\prime })$ and therefore we have ${\mathit{V}}_{\min }(j,i^{\prime })={\mathit{F}}_{\min }(j,i^{\prime })=0$ .

Thus, adding ${\mathit{V}}_{\min }(j,i^{\prime })-{\mathit{F}}_{\min }(j,i^{\prime })$ to the right-hand side of (23) yields the following constraint having the same set of solutions as (23):

$$\begin{array}{rl}& {\eta }_j^i>\underset{{\mathit{V}}_{\min }(j,i)}{\underbrace{\underset{\begin{array}{c}\omega \models A_j{B}_j\end{array}}{min}\sum _{\begin{array}{c}k\ne j\\ \omega \models A_k{\overline{B}}_k\\ (B_k|A_k)\in {\mathrm{\Delta }}_{i\setminus 3}\end{array}}{\eta }_k^i}}+\underset{{\mathit{V}}_{\min }(j,i^{\prime })}{\underbrace{\underset{\begin{array}{c}\omega \models A_j{B}_j\end{array}}{min}\sum _{\begin{array}{c}k\ne j\\ \omega \models A_k{\overline{B}}_k\\ (B_k|A_k)\in {\mathrm{\Delta }}_{i^{\prime }\setminus 3}\end{array}}{\eta }_k^{i^{\prime }}}}-\underset{{\mathit{F}}_{\min }(j,i)}{\underbrace{\underset{\begin{array}{c}\omega \models A_j{\overline{B}}_j\end{array}}{min}\sum _{\begin{array}{c}k\ne j\\ \omega \models A_k{\overline{B}}_k\\ (B_k|A_k)\in {\mathrm{\Delta }}_{i\setminus 3}\end{array}}{\eta }_k^i}}-\underset{{\mathit{F}}_{\min }(j,i^{\prime })}{\underbrace{\underset{\begin{array}{c}\omega \models A_j{\overline{B}}_j\end{array}}{min}\sum _{\begin{array}{c}k\ne j\\ \omega \models A_k{\overline{B}}_k\\ (B_k|A_k)\in {\mathrm{\Delta }}_{i^{\prime }\setminus 3}\end{array}}{\eta }_k^{i^{\prime }}}}.\end{array}$$

(26)

Because of the safety property, for every world $\omega$ minimizing ${\mathit{V}}_{\min }(j,i)$ (or ${\mathit{F}}_{\min }(j,i)$ , respectively) there must also be a world ${\omega }^{\prime }$ minimizing both ${\mathit{V}}_{\min }(j,i)$ and ${\mathit{V}}_{\min }(j,i^{\prime })$ (or ${\mathit{F}}_{\min }(j,i)$ and ${\mathit{F}}_{\min }(j,i^{\prime })$ , respectively), thus the ${\mathit{V}}_{\min }$ -minimizations and the ${\mathit{F}}_{\min }$ -minimizations in (26) can be combined without changing the set of solutions. Together with the fact that ${\mathrm{\Delta }}_3=\mathrm{\varnothing }$ and $\mathrm{\Delta }={\mathrm{\Delta }}_{i\setminus 3}\cup {\mathrm{\Delta }}_{i^{\prime }\setminus 3}$ , this yields the constraint:

$$\begin{array}{rl}& {\eta }_j^i>\underset{\begin{array}{c}\omega \models A_j{B}_j\end{array}}{min}\sum _{\begin{array}{c}k\ne j\\ \omega \models A_k{\overline{B}}_k\\ (B_k|A_k)\in \mathrm{\Delta }\end{array}}{\eta }_k^i-\underset{\begin{array}{c}\omega \models A_j{\overline{B}}_j\end{array}}{min}\sum _{\begin{array}{c}k\ne j\\ \omega \models A_k{\overline{B}}_k\\ (B_k|A_k)\in \mathrm{\Delta }\end{array}}{\eta }_k^i.\end{array}$$

(27)

Notice that the constraints (23), (26), and (27) all have the same set of solutions. In the case of non-extended c-representations specified by the constraint system $\mathit{C}\mathit{R}(\mathrm{\Delta })$ , this constraint system only contains constraints of the form (20b). Then, we can replace each constraint (23) in $\mathrm{\Gamma }1$ by constraint (27), and, using ${\eta }_1^1,\dots ,{\eta }_{n_1}^1,\dots ,{\eta }_{n_1+1}^2,\dots ,{\eta }_n^2$ as constraint variables expressing ${\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}(\mathrm{\Delta })$ , we have that (S2) and thus (S1) is equivalent to the condition $({\overrightarrow{\eta }}^1,{\overrightarrow{\eta }}^2)\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}(\mathrm{\Delta }))$ and we are done.

Next we consider the case of the inequality (20a). We can write the constraints of form (20a) in ${\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_{i\setminus 3})$ as:

$$\underset{\begin{array}{c}\omega \models A_j\end{array}}{min}\sum _{\begin{array}{c}1⩽j⩽n\\ \omega \models A_k\overline{B_k}\\ (B_k|A_k)\in {\mathrm{\Delta }}_{i\setminus 3}\end{array}}{\eta }_k^i=\mathrm{\infty }.$$

(28)

Due to the safety property (5) there is an extension ${\omega }^{i^{\prime }}\in \mathrm{\Omega }({\mathrm{\Sigma }}_2)$ of ${\omega }^i{\omega }^3$ such that no conditional in ${\mathrm{\Delta }}_{i^{\prime }\setminus 3}$ is falsified. Since we are looking for a world that minimizes the sum expression, such a world will not falsify any conditionals in ${\mathrm{\Delta }}_{i^{\prime }\setminus 3}$ . Thus, we can rewrite (28) to

$$\underset{\begin{array}{c}\omega \models A_j\end{array}}{min}\sum _{\begin{array}{c}1⩽j⩽n\\ \omega \models A_k\overline{B_k}\\ (B_k|A_k)\in \mathrm{\Delta }\end{array}}{\eta }_k^i=\mathrm{\infty },$$

(29)

where (28) and (29) have the same set of solutions.

Because the constraints (23), (26), and (27) all have the same set of solutions, and the same holds for the constraints (28) and (29), we have that (22) has the same set of solutions as:

$$\begin{array}{rl}& \underset{\begin{array}{c}\omega \models A_j\end{array}}{min}\sum _{\begin{array}{c}1⩽j⩽n\\ \omega \models A_k\overline{B_k}\\ (B_k|A_k)\in \mathrm{\Delta }\end{array}}{\eta }_k^i=\mathrm{\infty }\text{or}{\eta }_j^i>\underset{\begin{array}{c}\omega \models A_j{B}_j\end{array}}{min}\sum _{\begin{array}{c}k\ne j\\ \omega \models A_k{\overline{B}}_k\\ (B_k|A_k)\in \mathrm{\Delta }\end{array}}{\eta }_k^i-\underset{\begin{array}{c}\omega \models A_j{\overline{B}}_j\end{array}}{min}\sum _{\begin{array}{c}k\ne j\\ \omega \models A_k{\overline{B}}_k\\ (B_k|A_k)\in \mathrm{\Delta }\end{array}}{\eta }_k^i.\end{array}$$

(30)

Therefore, (S2) and thus also (S1) is equivalent to:

(S3) $({\overrightarrow{\eta }}^1,{\overrightarrow{\eta }}^2)\in \mathit{S}\mathit{o}\mathit{l}(\mathrm{\Gamma }2)$ , where $\mathrm{\Gamma }2$ is obtained from $\mathrm{\Gamma }1$ by replacing each constraint (22) by (30).

Using ${\eta }_1^1,\dots ,{\eta }_{n_1}^1,\dots ,{\eta }_{n_1+1}^2,\dots ,{\eta }_n^2$ as constraint variables for expressing ${\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}(\mathrm{\Delta })$ , we observe that $\mathrm{\Gamma }2={\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}(\mathrm{\Delta })$ .

Next, we consider the case that ${\mathrm{\Delta }}_3\ne \mathrm{\varnothing }$ . Due to Lemmas 34 and 33, the impact $\eta$ assigned to $(F|E)$ in $\mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_3))$ has no influence on $\mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_{1\setminus 3}))$ or on $\mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_{2\setminus 3}))$ , and, furthermore, $\mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_3))=(\mathbb{N}\cup \mathrm{\infty }{)}^{|{\mathrm{\Delta }}_3|}$ , completing the proof.

Next we will work toward showing an analogous result for conservative c-representations.

We first state the following result, stating that arbitrarily shrinking the belief bases ${\mathrm{\Delta }}_1$ and ${\mathrm{\Delta }}_2$ of a safe conditional syntax splitting $\mathrm{\Delta }={\mathrm{\Delta }}_1\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}^{\mathsf{s}}{\mathrm{\Delta }}_2\mid {\mathrm{\Sigma }}_3$ yields again a safe conditional syntax splitting.

Lemma 36

Let $\mathrm{\Delta }={\mathrm{\Delta }}_1\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}^{\mathsf{s}}{\mathrm{\Delta }}_2\mid {\mathrm{\Sigma }}_3$ . Then ${\mathrm{\Delta }}^{\prime }={\mathrm{\Delta }}_1^{\prime }\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}^{\mathsf{s}}{\mathrm{\Delta }}_2^{\prime }\mid {\mathrm{\Sigma }}_3$ for all ${\mathrm{\Delta }}_1^{\prime }\subseteq {\mathrm{\Delta }}_1$ , ${\mathrm{\Delta }}_2^{\prime }\subseteq {\mathrm{\Delta }}_2$ , ${\mathrm{\Delta }}^{\prime }={\mathrm{\Delta }}_1^{\prime }\cup {\mathrm{\Delta }}_2^{\prime }$ .

Proof.

Let $\mathrm{\Delta }={\mathrm{\Delta }}_1\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}^{\mathsf{s}}{\mathrm{\Delta }}_2\mid {\mathrm{\Sigma }}_3$ and let $i,i^{\prime }\in \{1,2\},i\ne i^{\prime }$ . Let ${\mathrm{\Delta }}_1^{\prime }\subseteq {\mathrm{\Delta }}_1$ , ${\mathrm{\Delta }}_2^{\prime }\subseteq {\mathrm{\Delta }}_2$ , ${\mathrm{\Delta }}^{\prime }={\mathrm{\Delta }}_1^{\prime }\cup {\mathrm{\Delta }}_2^{\prime }$ . Then clearly ${\mathrm{\Delta }}^{\prime }={\mathrm{\Delta }}_1^{\prime }\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}{\mathrm{\Delta }}_2^{\prime }\mid {\mathrm{\Sigma }}_3$ . Toward a contradiction assume that the splitting is not safe. Then there is a world ${\omega }^i{\omega }^3$ such that there is no extension ${\omega }^{i^{\prime }}$ such that ${\omega }^i{\omega }^3{\omega }^{i^{\prime }}\models A\overline{B}$ for some $(B|A)\in {\mathrm{\Delta }}_{i^{\prime }}^{\prime }$ . However, because ${\mathrm{\Delta }}_{i^{\prime }}^{\prime }\subseteq {\mathrm{\Delta }}_{i^{\prime }}$ , we have $(B|A)\in {\mathrm{\Delta }}_{i^{\prime }}$ leading to a contradiction.

Conservative c-representations are linked to the system Z ranking function ${\kappa }^z$ , cf. Definition 25. The following proposition relates the notion of tolerance underlying the definition of ${\kappa }^z$ to conditional syntax splitting.

Proposition 37 (Heyninck et al., 2023)

Let $\mathrm{\Delta }={\mathrm{\Delta }}_1\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}^{\mathsf{s}}{\mathrm{\Delta }}_2\mid {\mathrm{\Sigma }}_3$ and, for $i\in \{1,2\}$ , ${\delta }_i\in {\mathrm{\Delta }}_i$ . Then ${\delta }_i$ is tolerated by $\mathrm{\Delta }$ iff ${\delta }_i$ is tolerated by ${\mathrm{\Delta }}_i$ .

Regarding the Z-partition, we adapt a lemma for strongly consistent belief bases (Haldimann, 2024) and extend it to weakly consistent belief bases by adding statement (4) in the following lemma.

Lemma 38 (Based on Haldimann, 2024)

Let $\mathrm{\Delta }={\mathrm{\Delta }}_1\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}^{\mathsf{s}}{\mathrm{\Delta }}_2\mid {\mathrm{\Sigma }}_3$ , $EP(\mathrm{\Delta })=({\mathrm{\Delta }}^1,\dots ,{\mathrm{\Delta }}^n,{\mathrm{\Delta }}^{\mathrm{\infty }})$ , and, for $i\in \{1,2\}$ , $EP({\mathrm{\Delta }}_i)=({\mathrm{\Delta }}_i^1,\dots ,{\mathrm{\Delta }}_i^{l_i},{\mathrm{\Delta }}_i^{\mathrm{\infty }})$ .

For $i\in \{1,2\}$ and $j\in \{0,\dots ,l_i\}$ it holds that ${\mathrm{\Delta }}_i^j={\mathrm{\Delta }}^j\cap {\mathrm{\Delta }}^i$ .

$max\{l_1,l_2\}=n$ .

If $l_1⩽l_2$ we have ${\mathrm{\Delta }}^j=\{\begin{array}{ll}{\mathrm{\Delta }}_1^j\cup {\mathrm{\Delta }}_2^j& \text{ for }j=1,\dots ,l_2,\\ {\mathrm{\Delta }}_2^j& \text{ for }j=l_1+1,\dots ,n.\end{array}$

${\mathrm{\Delta }}^{\mathrm{\infty }}={\mathrm{\Delta }}_1^{\mathrm{\infty }}\cup {\mathrm{\Delta }}_2^{\mathrm{\infty }}$ .

Proof.

With the exception of ${\mathrm{\Delta }}^{\mathrm{\infty }}$ , the tolerance partitions for weakly consistent belief bases are constructed in the same way as for strongly consistent belief bases. Therefore, the proofs of the first three statements are the same way as in Haldimann (2024). For proving statement (4), we show both directions of the subset relationships expressed by the equation in that statement. First, let $\delta \in {\mathrm{\Delta }}^{\mathrm{\infty }}$ . Then there is $i\in \{1,2\}$ such that $\delta \in {\mathrm{\Delta }}_i$ . Toward a contradiction, assume $\delta \notin {\mathrm{\Delta }}_i^{\mathrm{\infty }}$ . Then, there is some $k<\mathrm{\infty }$ such that $\delta \in {\mathrm{\Delta }}_i^k$ . With (3) this implies $\delta \in {\mathrm{\Delta }}^k$ , contradicting our assumption.

For the other direction, let $\delta \in {\mathrm{\Delta }}_1^{\mathrm{\infty }}\cup {\mathrm{\Delta }}_2^{\mathrm{\infty }}$ . Again, toward a contradiction assume $\delta \notin {\mathrm{\Delta }}^{\mathrm{\infty }}$ . Then there is $k<\mathrm{\infty }$ such that $\delta \in {\mathrm{\Delta }}^k$ . With (3) this implies $\delta \in {\mathrm{\Delta }}_1^k\cup {\mathrm{\Delta }}_2^k$ , contradicting our assumption.

We can now show a result analogous to Proposition 35 for conservative c-representations.

Proposition 39

For any $\mathrm{\Delta }={\mathrm{\Delta }}_1\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}^{\mathsf{s}}{\mathrm{\Delta }}_2\mid {\mathrm{\Sigma }}_3$ , where ${\mathrm{\Delta }}_3={\mathrm{\Delta }}_1\cap {\mathrm{\Delta }}_2$ , we have ${\mathit{S}\mathit{o}\mathit{l}}_{\mathrm{\Delta }}^{J+\mathrm{\infty }}=\{({\overrightarrow{\eta }}^1,{\overrightarrow{\eta }}^2,{\overrightarrow{\eta }}^3)\mid {\overrightarrow{\eta }}^i\in {\mathit{S}\mathit{o}\mathit{l}}_{{\mathrm{\Delta }}_{i\setminus 3}}^{J+\mathrm{\infty }},i\in \{1,2\};{\overrightarrow{\eta }}^3\in {\mathbb{N}}^{|{\mathrm{\Delta }}_3|}\}$ , that is,

$${\mathit{S}\mathit{o}\mathit{l}}_{\mathrm{\Delta }}^{J+\mathrm{\infty }}={\mathit{S}\mathit{o}\mathit{l}}_{{\mathrm{\Delta }}_{1\setminus 3}}^{J+\mathrm{\infty }}\times {\mathit{S}\mathit{o}\mathit{l}}_{{\mathrm{\Delta }}_{2\setminus 3}}^{J+\mathrm{\infty }}\times {\mathbb{N}}^{|{\mathrm{\Delta }}_3|}.$$

Proof.

Again, we first consider the case where ${\mathrm{\Delta }}_3=\mathrm{\varnothing }$ . Let $\mathit{E}\mathit{P}(\mathrm{\Delta })=({\mathrm{\Delta }}^0,\dots ,{\mathrm{\Delta }}^n,{\mathrm{\Delta }}^{\mathrm{\infty }})$ be the extended Z-partition of $\mathrm{\Delta }$ , and let $\mathit{E}\mathit{P}({\mathrm{\Delta }}_i)=({\mathrm{\Delta }}_i^0,\dots ,{\mathrm{\Delta }}_i^m,{\mathrm{\Delta }}_i^{\mathrm{\infty }})$ be the extended Z-partitions of ${\mathrm{\Delta }}_i$ for $i\in \{1,2\}$ . Let $i^{\prime }\in \{1,2\}$ such that $i\ne i^{\prime }$ and let $(B_j|A_j)\in {\mathrm{\Delta }}_i$ . We consider two cases:

Case ${\eta }_j^i=\mathrm{\infty }$ : Then either (a) $(B_j|A_j)\in {\mathrm{\Delta }}_i^{\mathrm{\infty }}$ or (b) there is no ${\omega }^i{\omega }^3\in \mathrm{\Omega }({\mathrm{\Sigma }}_i\cup {\mathrm{\Sigma }}_3)$ with ${\omega }^i{\omega }^3\models A_j\overline{B_j}\wedge (\underset{(D|C)\in {\mathrm{\Delta }}_i^{\mathrm{\infty }}}{\bigwedge }(\overline{C}\vee D))$ . In the case of (a) we have that $(B_j|A_j)\in {\mathrm{\Delta }}^{\mathrm{\infty }}$ iff $(B_j|A_j)\in {\mathrm{\Delta }}_i^{\mathrm{\infty }}$ due to Lemma 38 and thus ${\eta }_j=\mathrm{\infty }$ iff ${\eta }_j^i=\mathrm{\infty }$ . In the case of (b), due to the safety property, ${\omega }^i{\omega }^3$ has an extension ${\omega }^{i^{\prime }}\in \mathrm{\Omega }({\mathrm{\Sigma }}_{i^{\prime }})$ such that ${\omega }^i{\omega }^3\models A_j\overline{B_j}\wedge (\underset{(D|C)\in {\mathrm{\Delta }}_i^{\mathrm{\infty }}}{\bigwedge }(\overline{C}\vee D))$ iff ${\omega }^i{\omega }^{i^{\prime }}{\omega }^3\models A_j\overline{B_j}\wedge (\underset{(D|C)\in {\mathrm{\Delta }}^{\mathrm{\infty }}}{\bigwedge }(\overline{C}\vee D))$ and therefore ${\eta }_j=\mathrm{\infty }$ iff ${\eta }_j^i=\mathrm{\infty }$ .

Case ${\eta }_j^i\ne \mathrm{\infty }$ : Then $j\in J_{\mathrm{\Delta }}$ , thus the constraint system ${\mathit{C}\mathit{R}\mathit{S}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_i)$ applies to ${\eta }_j^i\ne \mathrm{\infty }$ and, utilizing Lemma 36, we can apply the same arguments that we used for inequality (20b) in the case of ${\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_i)$ in the proof of Proposition 35, yielding that ${\overrightarrow{\eta }}^1\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}\mathit{S}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_{1\setminus 3})),{\overrightarrow{\eta }}^2\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}\mathit{S}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_{2\setminus 3}))$ is equivalent to $({\overrightarrow{\eta }}^1,{\overrightarrow{\eta }}^2)\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}\mathit{S}}_{\mathrm{\Sigma }}^{ex}(\mathrm{\Delta }))$ . Together with the first case, we obtain that ${\overrightarrow{\eta }}^1\in {\mathit{S}\mathit{o}\mathit{l}}_{{\mathrm{\Delta }}_1}^{J+\mathrm{\infty }},{\overrightarrow{\eta }}^2\in {\mathit{S}\mathit{o}\mathit{l}}_{{\mathrm{\Delta }}_2}^{J+\mathrm{\infty }}$ is equivalent to $({\overrightarrow{\eta }}^1,{\overrightarrow{\eta }}^2)\in {\mathit{S}\mathit{o}\mathit{l}}_{\mathrm{\Delta }}^{J+\mathrm{\infty }}$ . This can then be extended to the case where ${\mathrm{\Delta }}_3\ne \mathrm{\varnothing }$ , analogous to the proof of Proposition 35.

Propositions 35 and 39 show that, just like for syntax splittings, for safe conditional syntax splittings, the impact vectors for the subbases can be determined independently, yielding an impact vector for $\mathrm{\Delta }$ through composition. We illustrate this with an example.

Example 40 ( ${\mathrm{\Delta }}^{b+}$ continued)

Recall ${\mathrm{\Delta }}^{b+}$ and its safe conditional syntax splitting from Example 6. Because ${\mathrm{\Delta }}_3^{b+}=\mathrm{\varnothing }$ we have that ${\mathrm{\Delta }}_1^b={\mathrm{\Delta }}_{1\setminus 3}^{b+}$ and ${\mathrm{\Delta }}_2^{b+}={\mathrm{\Delta }}_{2\setminus 3}^{b+}$ . According to Proposition 35, in order to obtain a solution for ${\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}^b)$ it suffices to determine solutions for ${\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_1^{b+})$ and ${\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_2^{b+})$ separately, where ${\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_1^{b+})$ consists of the first three constraints from Example 21 and ${\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_2^{b+})$ consists of the fourth one and the constraint from Example 24. Thus, we have that, for example, ${\overrightarrow{\eta }}_4=(1,2,2,1,\mathrm{\infty })\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}^{b+}))$ can be obtained by composing ${\overrightarrow{\eta }}_4^1=(1,2,2)\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_1^{b+}))$ and ${\overrightarrow{\eta }}_4^2=(1,\mathrm{\infty })\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_2^{b+}))$ , see also Figure 2, that is, for the projections of ${\overrightarrow{\eta }}_4$ we have ${\overrightarrow{\eta }}_4{|}_{{\mathrm{\Delta }}_1^{b+}}={\overrightarrow{\eta }}_4^1$ , and ${\overrightarrow{\eta }}_4{|}_{{\mathrm{\Delta }}_2^{b+}}={\overrightarrow{\eta }}_4^2$ . We can also compose ${\overrightarrow{\eta }}_2^1=(3,4,4)\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_1^{b+}))$ and ${\overrightarrow{\eta }}_4^2=(1,\mathrm{\infty })\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_2^{b+}))$ to obtain ${\overrightarrow{\eta }}_6=(3,4,4,1,\mathrm{\infty })\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}^{b+}))$ .

With Proposition 35 we can now show that extended c-representations satisfy conditional semantic splitting.

Proposition 41

Extended c-representations satisfy (CSemSplit).

Proof.

Let $\kappa$ be an extended c-representation for a belief base $\mathrm{\Delta }$ and let $\mathrm{\Delta }={\mathrm{\Delta }}_1\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}^{\mathsf{s}}{\mathrm{\Delta }}_2\mid {\mathrm{\Sigma }}_3$ , where ${\mathrm{\Delta }}_3={\mathrm{\Delta }}_1\cap {\mathrm{\Delta }}_2$ . First, in lieu of Lemma 34, it is clear that ${\mathrm{\Delta }}_3$ must be strongly consistent. We have to show that this is also a conditional semantic splitting, that is, that

$$\mathrm{Mod}{}_{\mathrm{\Sigma }}^{\mathit{\text{ec}}}(\mathrm{\Delta })=\mathrm{Mod}{}_{\mathrm{\Sigma }}^{\mathit{\text{ec}}}({\mathrm{\Delta }}_1)\oplus \mathrm{Mod}{}_{\mathrm{\Sigma }}^{\mathit{\text{ec}}}({\mathrm{\Delta }}_2)\ominus \mathrm{Mod}{}_{\mathrm{\Sigma }}^{\mathit{\text{ec}}}({\mathrm{\Delta }}_3)$$

(31)

holds. With Proposition 35 we have that every $\overrightarrow{\eta }\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}(\mathrm{\Delta }))$ can be split into $({\overrightarrow{\eta }}^1,{\overrightarrow{\eta }}^2,{\overrightarrow{\eta }}^3)$ such that ${\overrightarrow{\eta }}^1\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_{1\setminus 3}))$ , ${\overrightarrow{\eta }}^2\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_{2\setminus 3}))$ , and ${\overrightarrow{\eta }}^3\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_3))$ . Vice versa, for every ${\overrightarrow{\eta }}^1\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_{1\setminus 3}))$ , ${\overrightarrow{\eta }}^2\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_{2\setminus 3}))$ , and ${\overrightarrow{\eta }}^3\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_3))$ we have $({\overrightarrow{\eta }}^1,{\overrightarrow{\eta }}^2,{\overrightarrow{\eta }}^3)\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}(\mathrm{\Delta }))$ . Therefore, we have that

$$\mathrm{Mod}{}_{\mathrm{\Sigma }}^{\mathit{\text{ec}}}(\mathrm{\Delta })=\mathrm{Mod}{}_{\mathrm{\Sigma }}^{\mathit{\text{ec}}}({\mathrm{\Delta }}_{1\setminus 3})\oplus \mathrm{Mod}{}_{\mathrm{\Sigma }}^{\mathit{\text{ec}}}({\mathrm{\Delta }}_{2\setminus 3})\oplus \mathrm{Mod}{}_{\mathrm{\Sigma }}^{\mathit{\text{ec}}}({\mathrm{\Delta }}_3).$$

(32)

With Lemmas 34 and 33, we have that $\mathrm{Mod}{}_{\mathrm{\Sigma }}^{\mathit{\text{ec}}}({\mathrm{\Delta }}_1)=\mathrm{Mod}{}_{\mathrm{\Sigma }}^{\mathit{\text{ec}}}({\mathrm{\Delta }}_{1\setminus 3})$ , $\mathrm{Mod}{}_{\mathrm{\Sigma }}^{\mathit{\text{ec}}}({\mathrm{\Delta }}_2)=\mathrm{Mod}{}_{\mathrm{\Sigma }}^{\mathit{\text{ec}}}({\mathrm{\Delta }}_{2\setminus 3}),$ and $\mathrm{Mod}{}_{\mathrm{\Sigma }}^{\mathit{\text{ec}}}({\mathrm{\Delta }}_3)=\{{\kappa }_u\}$ , where ${\kappa }_u$ is the uniform OCF mapping every world $\omega$ to 0 (cf. Section 2). Thus, (32) is equivalent to (31), finishing the proof.

Analogously, we can use Proposition 39 to show that also conservative c-representations satisfy conditional semantic splitting.

Proposition 42

Conservative c-representations satisfy (CSemSplit).

Proof.

Analogous to the proof of Proposition 41 utilizing Proposition 39.

Because conservative c-representations coincide with (nonextended) c-representations for strongly consistent belief bases, Proposition 42 also applies to c-representations for strongly consistent belief bases. The splitting properties of c-representations on the semantic level and on the level of impact vectors provide an important base for showing conditional syntax splitting properties with respect to inference with c-representations.

5. Conditional Syntax Splitting and Inference with Respect to Single c-Representations

Choosing a c-representation $\kappa$ for any given belief base $\mathrm{\Delta }$ and assigning to $\mathrm{\Delta }$ , thereby extending the beliefs in $\mathrm{\Delta }$ , yields an inductive inference operator . Principally, for every $\mathrm{\Delta }$ , the c-representation $\kappa$ may be chosen arbitrarily. The concept of selection strategies for c-representations (Beierle & Kern-Isberner, 2021) can govern the choice of $\kappa$ via appropriate postulates. Selection strategies have been used successfully for investigating and proving properties, for example, for inference with c-representations and (unconditional) syntax splitting for strongly consistent belief bases (Kern-Isberner et al., 2020), or for a kinematics principle in iterated revision (Sezgin et al., 2021). The adaptation of selection strategies to weakly consistent belief bases and extended c-representations is straightforward.

Definition 43 (Selection strategy $\sigma$ , adapted from Beierle & Kern-Isberner, 2021)

A selection strategy (for extended c-representations) is a function

$$\sigma :\mathrm{\Delta }\mapsto \overrightarrow{\eta }$$

assigning to each weakly consistent conditional belief base $\mathrm{\Delta }$ an impact vector $\overrightarrow{\eta }\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}(\mathrm{\Delta }))$ .

Each such selection strategy determines an inductive inference operator for weakly consistent belief bases and extended c-representations.

Definition 44 (Inductive inference operator ${\mathbf{C}}_{\sigma }^{ec}$ , adapted from Kern-Isberner et al., 2020)

An inductive inference operator for extended c-representations with selection strategy $\sigma$ is a function

$${\mathbf{C}}_{\sigma }^{ec}:\mathrm{\Delta }\mapsto {\kappa }_{\sigma (\mathrm{\Delta })},$$

where $\sigma$ is a selection strategy and, as before, is obtained via equation (2) from ${\kappa }_{\sigma (\mathrm{\Delta })}$ .

Because each satisfies both (DI) and (TV), ${\mathbf{C}}_{\sigma }^{ec}$ is an inductive inference operator for every selection strategy $\sigma$ . A recent example for a specific selection strategy are minimal core c-representations (Wilhelm et al., 2024).

Without any further restriction, a selection strategy $\sigma$ may assign any impact vector $\overrightarrow{\eta }\in {\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}(\mathrm{\Delta })$ to a belief base $\mathrm{\Delta }$ . For instance, $\sigma$ may always choose the impact vector $\overrightarrow{\eta }=(\mathrm{\infty },\dots ,\mathrm{\infty })$ , thus assigning the impact $\mathrm{\infty }$ to each conditional, because $(\mathrm{\infty },\dots ,\mathrm{\infty })\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}(\mathrm{\Delta }))$ (Haldimann et al., 2024). This choice maximizes the set ${\kappa }_{\overrightarrow{\eta }}^{-1}(\mathrm{\infty })$ , deeming as many worlds as possible to be considered infeasible, and it maximizes the set of formulas $A\in \mathcal{L}$ with , rendering many conclusions trivial and unhelpful, and leading to an inductive inference operator that coincides with classical deduction with respect to the material counterparts of all involved conditionals.

Proposition 45 (infinity selection strategy $\tau$ yields material counterpart inference )

For any belief base $\mathrm{\Delta }$ , let $\tilde{\mathrm{\Delta }}=\{A_i\to B_i\mid (B_i|A_i)\in \mathrm{\Delta }\}$ be the material counterpart of $\mathrm{\Delta }$ . For formulas $A,B$ , we call $B$ a material counterpart inference from $A$ in the context of $\mathrm{\Delta }$ , denoted by , if: Let $\tau$ be the infinity selection strategy assigning to each weakly consistent belief base $\mathrm{\Delta }$ the impact vector $\overrightarrow{\eta }=(\mathrm{\infty },\dots ,\mathrm{\infty })$ . Then for all weakly consistent belief bases $\mathrm{\Delta }$ , we have , that is, for all formulas $A,B$ , the following holds:

(33)

Proof.

First, observe the following two facts. (a) The models of $\tilde{\mathrm{\Delta }}$ are exactly those worlds that do not falsify any conditional in $\mathrm{\Delta }$ , and (b) for every world $\omega \in \mathrm{\Omega }$ either ${\kappa }_{\tau (\mathrm{\Delta })}(\omega )=0$ or ${\kappa }_{\tau (\mathrm{\Delta })}(\omega )=\mathrm{\infty }$ . We show both directions of the iff in (33) separately.

Direction “ $\Rightarrow$ ”: Assume . Then either ${\kappa }_{\tau (\mathrm{\Delta })}(A)=\mathrm{\infty }$ or ${\kappa }_{\tau (\mathrm{\Delta })}(AB)<{\kappa }_{\tau (\mathrm{\Delta })}(A\overline{B})$ . We make a case distinction. In the first case ${\kappa }_{\tau (\mathrm{\Delta })}(A)=\mathrm{\infty }$ , which implies that all worlds $\omega \in \mathrm{\Omega }$ with $\omega \models A$ must falsify some conditional in $\mathrm{\Delta }$ . Together with (1) this implies $\tilde{\mathrm{\Delta }}\models \overline{A}$ and thus $\tilde{\mathrm{\Delta }}\models A\to B$ . In the second case ${\kappa }_{\tau (\mathrm{\Delta })}(AB)<{\kappa }_{\tau (\mathrm{\Delta })}(A\overline{B})$ implies with (b) ${\kappa }_{\tau (\mathrm{\Delta })}(A\overline{B})=\mathrm{\infty }$ . Then $\tilde{\mathrm{\Delta }}\models \mathrm{\neg }(A\overline{B})$ and thus $\tilde{\mathrm{\Delta }}\models A\to B$ .

Direction “ $\Leftarrow$ ”: Assume $\tilde{\mathrm{\Delta }}\models A\to B$ , that is, $\tilde{\mathrm{\Delta }}\models \overline{A}\vee B$ . We discern two cases: $\tilde{\mathrm{\Delta }}\models \overline{A}$ and $\tilde{\mathrm{\Delta }}⊭\overline{A}$ . In the case that $\tilde{\mathrm{\Delta }}\models \overline{A}$ we have $\tilde{\mathrm{\Delta }}⊭A$ and thus with (a) and (b) that ${\kappa }_{\tau (\mathrm{\Delta })}(A)=\mathrm{\infty }$ and therefore . In the case that $\tilde{\mathrm{\Delta }}⊭\overline{A}$ we have ${\kappa }_{\tau (\mathrm{\Delta })}(\overline{A})=\mathrm{\infty }$ and thus ${\kappa }_{\tau (\mathrm{\Delta })}(A)=0$ . We also have $\tilde{\mathrm{\Delta }}\models B$ due to $\tilde{\mathrm{\Delta }}\models \overline{A}\vee B$ and thus with (a) also ${\kappa }_{\tau (\mathrm{\Delta })}(B)=0$ . Since $\tilde{\mathrm{\Delta }}\models B$ we have $\tilde{\mathrm{\Delta }}⊭\overline{B}$ and thus ${\kappa }_{\tau (\mathrm{\Delta })}(\overline{B})=\mathrm{\infty }$ . Altogether, we have ${\kappa }_{\tau (\mathrm{\Delta })}(\overline{A}\vee \overline{B})=\mathrm{\infty }$ , implying ${\kappa }_{\tau (\mathrm{\Delta })}(AB)=0$ and ${\kappa }_{\tau (\mathrm{\Delta })}(A\overline{B})=\mathrm{\infty }$ , meaning .

Thus, while adding more inferences to an inference relation may be desirable, there should be a restriction for inferences leading to a contradiction, that is, inferences of the form . Such an inference expresses that considers $A$ to be inconsistent, thereby preventing the entailment of any other informative beliefs from $A$ . A corresponding restriction is obtained by the (Classic Preservation) postulate (Casini et al., 2019), stating that should only hold if $A$ entails $\mathrm{\perp }$ according to system P, that is, if where is the system P inductive inference operator (Adams, 1965; Kraus et al., 1990; cf. Example 17).

(Classic Preservation) adapted from Casini et al. (2019) . An inductive inference operator satisfies (Classic Preservation) if for all belief bases $\mathrm{\Delta }$ and $A,B\in \mathcal{L}$ it holds that iff .

Because system Z satisfies (Classic Preservation), this postulate can also be characterized using system Z as stated by the following lemma.

Lemma 46 (Haldimann et al., 2023)

For a weakly consistent belief base $\mathrm{\Delta }$ and a formula $A$ we have ${\kappa }_{\mathrm{\Delta }}^z(A)=\mathrm{\infty }$ iff .

As illustrated above, there are selection strategies $\sigma$ such that ${\mathbf{C}}_{\sigma }^{ec}$ does not satisfy (Classic Preservation), for example, due to selecting $\sigma (\mathrm{\Delta })=(\mathrm{\infty },\dots ,\mathrm{\infty })$ , thereby assigning worlds rank $\mathrm{\infty }$ while this may be not enforced by the conditionals in $\mathrm{\Delta }$ . Toward avoiding this phenomenon, the following postulate restricts selection strategies to only yield conservative c-representations.

(CI) A selection strategy $\sigma$ satisfies conservative impact if, for every belief base $\mathrm{\Delta }$ , $\sigma (\mathrm{\Delta })\in {\mathit{S}\mathit{o}\mathit{l}}_{\mathrm{\Delta }}^{J+\mathrm{\infty }}$ .

For selection strategies satisfying (CI) we show that (Classic Preservation) is satisfied.

Proposition 47

Let $\sigma$ be a selection strategy. If $\sigma$ satisfies (CI) then ${\mathbf{C}}_{\sigma }^{ec}$ satisfies (Classic Preservation).

Proof.

Let $\mathrm{\Delta }$ be a belief base and $\sigma$ be a selection strategy satisfying (CI). Then $\kappa ={\kappa }_{\sigma (\mathrm{\Delta })}$ is a conservative c-representation. With Lemma 46 we need to show that iff ${\kappa }_{\mathrm{\Delta }}^z(A)=\mathrm{\infty }$ . Because $\sigma$ satisfies (CI), according to Lemma 26, we have for all $\omega \in \mathrm{\Omega }$ that ${\kappa }_{\mathrm{\Delta }}^z(\omega )<\mathrm{\infty }$   iff   $\kappa (\omega )<\mathrm{\infty }$ , or, equivalently, ${\kappa }_{\mathrm{\Delta }}^z(\omega )=\mathrm{\infty }$   iff   $\kappa (\omega )=\mathrm{\infty }$ . Thus, $\kappa (A)=\mathrm{\infty }\text{, iff , }{\kappa }_{\mathrm{\Delta }}^z(A)=\mathrm{\infty }$ , completing the proof.

For a belief base $\mathrm{\Delta }$ and a selection strategy $\sigma$ satisfying (CI), no proper relaxation ${\kappa }^{\prime }$ of ${\kappa }_{\sigma (\mathrm{\Delta })}$ satisfies (Classic Preservation). This is because for any relaxation ${\kappa }^{\prime }$ of $\kappa$ with ${\kappa }^{\prime }\ne \kappa$ , there must be some world $\omega \in \mathrm{\Omega }$ such that $\kappa (\omega )\ne {\kappa }^{\prime }(\omega )$ . According to Definition 31, this means ${\kappa }^{\prime }(\omega )=\mathrm{\infty }$ and $\kappa (\omega )<\mathrm{\infty }$ . According to Definition 25, because $\kappa (\omega )<\mathrm{\infty }$ , we have ${\kappa }_{\mathrm{\Delta }}^z(\omega )<\mathrm{\infty }$ , leading to a violation of (Classic Preservation) by ${\kappa }^{\prime }$ according to Lemma 46.

In principle, for every $\mathrm{\Delta }$ , a selection strategy $\sigma$ may choose some impact vector independently from the choices for all other belief bases. The following postulate characterizes selection strategies that preserve the impacts chosen for subbases that are part of a safe conditional syntax splitting of $\mathrm{\Delta }$ .

(IP-CSP) A selection strategy $\sigma$ is impact preserving w.r.t. conditional belief base splitting if, for $i\in \{1,2\}$ , we have $\sigma ({\mathrm{\Delta }}_i)={\sigma (\mathrm{\Delta })|}_{{\mathrm{\Delta }}_i}$ for every safe conditional syntax splitting $\mathrm{\Delta }={\mathrm{\Delta }}_1\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}^{\mathsf{s}}{\mathrm{\Delta }}_2\mid {\mathrm{\Sigma }}_3$ .

We illustrate (IP-CSP) with an example.

Example 48 ( ${\mathrm{\Delta }}^b$ continued)

Recall Example 21. Let $\sigma$ be a selection strategy with $\sigma ({\mathrm{\Delta }}^b)=(1,2,2,1)$ . Then (IP-CSP) requires that $\sigma ({\mathrm{\Delta }}_{1\setminus 3}^b)=(1,2,2)$ and $\sigma ({\mathrm{\Delta }}_{2\setminus 3}^b)=(1)$ .

An algorithm for generating selection strategies satisfying a corresponding impact preserving postulate for (unconditional) syntax splittings (Kern-Isberner et al., 2020) is introduced in Beierle and Kern-Isberner (2021), providing a basis for an algorithm for generating selection strategies satisfying (IP-CSP).

As a first proposition with respect to (IP-CSP), we show that inference with extended c-representations based on an impact preserving selection strategy satisfies (CRel).

Proposition 49

Let $\sigma$ be a selection strategy satisfying (IP-CSP). Then ${\mathbf{C}}_{\sigma }^{ec}$ satisfies (CRel).

Proof.

Let ${\omega }^i{\omega }^3\in \mathrm{\Omega }({\mathrm{\Sigma }}_i\cup {\mathrm{\Sigma }}_3)$ . Note that here both ${\kappa }_{{\mathrm{\Delta }}_i}$ and $\kappa {|}_{{\mathrm{\Sigma }}_i\cup {\mathrm{\Sigma }}_3}$ are defined on worlds in $\mathrm{\Omega }({\mathrm{\Sigma }}_i\cup {\mathrm{\Sigma }}_3)$ . According to the marginalization of ranking functions (cf. Section 2) we have:

$$\begin{array}{rl}\kappa {|}_{{\mathrm{\Sigma }}_i\cup {\mathrm{\Sigma }}_3}({\omega }^i{\omega }^3)=\kappa ({\omega }^i{\omega }^3)& =min\{\sum _{\begin{array}{c}\omega \models A_j{\overline{B}}_j\\ (B_j|A_j)\in \mathrm{\Delta }\end{array}}{\eta }_j\mid \omega \models {\omega }^i{\omega }^3\}.\end{array}$$

(34)

Due to the safety property (5), there is an extension ${\omega }^{i^{\prime }}$ of ${\omega }^i{\omega }^3$ such that ${\omega }^i{\omega }^3{\omega }^{i^{\prime }}$ falsifies no conditional in ${\mathrm{\Delta }}_{i^{\prime }}$ . Therefore, we can simplify (34) by only considering ${\mathrm{\Delta }}_i$ as follows:

$$\begin{array}{rl}\kappa {|}_{{\mathrm{\Sigma }}_i\cup {\mathrm{\Sigma }}_3}({\omega }^i{\omega }^3)& =\sum _{\begin{array}{c}{\omega }^i{\omega }^3\models A_j{\overline{B}}_j\\ (B_j|A_j)\in {\mathrm{\Delta }}_i\end{array}}{\eta }_j.\end{array}$$

(35)

Note that we no longer need to consider a minimum over worlds, since ${\mathrm{\Delta }}_i\subseteq (\mathcal{L}({\mathrm{\Sigma }}_i\cup {\mathrm{\Sigma }}_3)|\mathcal{L}({\mathrm{\Sigma }}_i\cup {\mathrm{\Sigma }}_3))$ and ${\omega }^i{\omega }^3\in \mathrm{\Omega }({\mathrm{\Sigma }}_i\cup {\mathrm{\Sigma }}_3)$ is a full conjunction; thus, every world that is minimal with respect to $\kappa$ and that is a model of ${\omega }^i{\omega }^3$ falsifies the same conditionals in ${\mathrm{\Delta }}_i$ as ${\omega }^i{\omega }^3$ . Because $\sigma$ satisfies (IP-CSP) we have ${\eta }_j^i={\eta }_j{|}_{{\mathrm{\Delta }}_j}$ and thus (35) is equivalent to

$$\begin{array}{rl}\kappa {|}_{{\mathrm{\Sigma }}_i\cup {\mathrm{\Sigma }}_3}({\omega }^i{\omega }^3)& =\sum _{\begin{array}{c}{\omega }^i{\omega }^3\models A_j{\overline{B}}_j\\ (B_j|A_j)\in {\mathrm{\Delta }}_i\end{array}}{\eta }_j^i,\end{array}$$

(36)

which is the definition of ${\kappa }_{{\mathrm{\Delta }}_i}({\omega }^i{\omega }^3)$ . This holds for all ${\omega }^i{\omega }^3$ . Accordingly ${\kappa }_{{\mathrm{\Delta }}_i}=\kappa {|}_{{\mathrm{\Sigma }}_i\cup {\mathrm{\Sigma }}_3}$ which, together with Proposition 11, implies (CRel).

Before addressing (CInd) for inference with single extended c-representations, we first relate extended c-representations to conditional independence via Proposition 13 by stating the following proposition.

Proposition 50

Let $\mathrm{\Delta }={\mathrm{\Delta }}_1\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}^{\mathsf{s}}{\mathrm{\Delta }}_2\mid {\mathrm{\Sigma }}_3$ , and let $\kappa$ be an extended c-representation with $\kappa \models \mathrm{\Delta }$ . Then ${\mathrm{\Sigma }}_1\perp {\perp }_{\kappa }{\mathrm{\Sigma }}_2|{\mathrm{\Sigma }}_3$ .

Proof.

Let $\omega ={\omega }^1{\omega }^2{\omega }^3$ and let $\overrightarrow{\eta }\in \mathit{S}\mathit{o}\mathit{l}(\mathrm{\Delta })$ such that $\kappa ={\kappa }_{\overrightarrow{\eta }}$ . Recall the definition of c-representations (15). We can rewrite (15) to:

$$\begin{array}{rl}{\kappa }_{\overrightarrow{\eta }}(\omega )& =\sum _{\begin{array}{c}\omega \models A_j{\overline{B}}_j\\ (B_j|A_j)\in {\mathrm{\Delta }}_{1\setminus 3}\end{array}}{\eta }_j+\sum _{\begin{array}{c}\omega \models A_j{\overline{B}}_j\\ (B_j|A_j)\in {\mathrm{\Delta }}_{2\setminus 3}\end{array}}{\eta }_j+\sum _{\begin{array}{c}\omega \models A_j{\overline{B}}_j\\ (B_j|A_j)\in {\mathrm{\Delta }}_3\end{array}}{\eta }_j.\end{array}$$

(37)

Note that, due to Lemma 34, the sums over the conditionals of ${\mathrm{\Delta }}_3$ cannot evaluate to $\mathrm{\infty }$ . By simply adding and subtracting the last sum of (37) we obtain the following equation:

$$\begin{array}{rl}{\kappa }_{\overrightarrow{\eta }}(\omega )& =\sum _{\begin{array}{c}\omega \models A_j{\overline{B}}_j\\ (B_j|A_j)\in {\mathrm{\Delta }}_{1\setminus 3}\end{array}}{\eta }_j+\sum _{\begin{array}{c}\omega \models A_j{\overline{B}}_j\\ (B_j|A_j)\in {\mathrm{\Delta }}_{2\setminus 3}\end{array}}{\eta }_j+\sum _{\begin{array}{c}\omega \models A_j{\overline{B}}_j\\ (B_j|A_j)\in {\mathrm{\Delta }}_3\end{array}}{\eta }_j+\sum _{\begin{array}{c}\omega \models A_j{\overline{B}}_j\\ (B_j|A_j)\in {\mathrm{\Delta }}_3\end{array}}{\eta }_j-\sum _{\begin{array}{c}\omega \models A_j{\overline{B}}_j\\ (B_j|A_j)\in {\mathrm{\Delta }}_3\end{array}}{\eta }_j.\end{array}$$

(38)

Then we can combine the sums for ${\mathrm{\Delta }}_{1\setminus 3}$ and ${\mathrm{\Delta }}_{2\setminus 3}$ with the sum for ${\mathrm{\Delta }}_3$ to obtain sums for ${\mathrm{\Delta }}_1$ and ${\mathrm{\Delta }}_2$ , respectively.

$$\begin{array}{rl}{\kappa }_{\overrightarrow{\eta }}(\omega )& =\sum _{\begin{array}{c}\omega \models A_j{\overline{B}}_j\\ (B_j|A_j)\in {\mathrm{\Delta }}_1\end{array}}{\eta }_j+\sum _{\begin{array}{c}\omega \models A_j{\overline{B}}_j\\ (B_j|A_j)\in {\mathrm{\Delta }}_2\end{array}}{\eta }_j-\sum _{\begin{array}{c}\omega \models A_j{\overline{B}}_j\\ (B_j|A_j)\in {\mathrm{\Delta }}_3\end{array}}{\eta }_j.\end{array}$$

(39)

Since ${\mathrm{\Delta }}_1$ is in $\mathcal{L}({\mathrm{\Sigma }}_1\cup {\mathrm{\Sigma }}_3)$ , ${\mathrm{\Delta }}_2$ is in $\mathcal{L}({\mathrm{\Sigma }}_2\cup {\mathrm{\Sigma }}_3)$ , and ${\mathrm{\Delta }}_3$ is in $\mathcal{L}({\mathrm{\Sigma }}_3)$ , we can use (10) to simplify (39):

$$\begin{array}{rl}{\kappa }_{\overrightarrow{\eta }}(\omega )& =\sum _{\begin{array}{c}{\omega }^1{\omega }^3\models A_j{\overline{B}}_j\\ (B_j|A_j)\in {\mathrm{\Delta }}_1\end{array}}{\eta }_j+\sum _{\begin{array}{c}{\omega }^2{\omega }^3\models A_j{\overline{B}}_j\\ (B_j|A_j)\in {\mathrm{\Delta }}_2\end{array}}{\eta }_j-\sum _{\begin{array}{c}{\omega }^3\models A_j{\overline{B}}_j\\ (B_j|A_j)\in {\mathrm{\Delta }}_3\end{array}}{\eta }_j.\end{array}$$

(40)

Due to the safety property, ${\omega }^i{\omega }^3$ cannot falsify any conditional in ${\mathrm{\Delta }}_j$ for $i,\in 1,2$ . Thus (40) can be rewritten to:

$$\begin{array}{rl}{\kappa }_{\overrightarrow{\eta }}(\omega )& =\sum _{\begin{array}{c}{\omega }^1{\omega }^3\models A_j{\overline{B}}_j\\ (B_j|A_j)\in \mathrm{\Delta }\end{array}}{\eta }_j+\sum _{\begin{array}{c}{\omega }^2{\omega }^3\models A_j{\overline{B}}_j\\ (B_j|A_j)\in \mathrm{\Delta }\end{array}}{\eta }_j-\sum _{\begin{array}{c}{\omega }^3\models A_j{\overline{B}}_j\\ (B_j|A_j)\in \mathrm{\Delta }\end{array}}{\eta }_j.\end{array}$$

(41)

By applying the definition of c-representations again, we obtain

$${\kappa }_{\overrightarrow{\eta }}({\omega }^1{\omega }^2{\omega }^3)={\kappa }_{\overrightarrow{\eta }}({\omega }^1{\omega }^3)+{\kappa }_{\overrightarrow{\eta }}({\omega }^2{\omega }^3)-{\kappa }_{\overrightarrow{\eta }}({\omega }^3),$$

(42)

which is equivalent to ${\kappa }_{\overrightarrow{\eta }}({\omega }^1|{\omega }^2{\omega }^3)={\kappa }_{\overrightarrow{\eta }}({\omega }^1|{\omega }^3)$ . The proof is completed by the fact that ${\kappa }_{\overrightarrow{\eta }}({\omega }^3)<\mathrm{\infty }$ due to Lemma 34.

Proposition 50 yields a straightforward way to prove that inference with respect to single extended c-representations satisfies (CInd).

Proposition 51

Let $\sigma$ be a selection strategy. Then ${\mathbf{C}}_{\sigma }^{ec}$ satisfies (CInd).

Proof.

Let $\mathrm{\Delta }={\mathrm{\Delta }}_1\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}^{\mathsf{s}}{\mathrm{\Delta }}_2\mid {\mathrm{\Sigma }}_3$ and let $\sigma$ be a selection strategy. Let $i,i^{\prime }\in \{1,2\}$ with $i\ne i^{\prime }$ . Let ${\eta }_j^i$ be the impact of $(B_j|A_j)\in {\mathrm{\Delta }}_i$ . Due to Proposition 50, we know that ${\mathrm{\Sigma }}_1\perp {\perp }_{{\kappa }_{\mathrm{\Delta }}}{\mathrm{\Sigma }}_2|{\mathrm{\Sigma }}_3$ holds. Thus, with Proposition 13, ${\mathbf{C}}_{\sigma }^{\mathit{\text{c-rep}}}$ satisfies (CInd).

Note that Proposition 51 holds for every selection strategy $\sigma$ ; in particular, it is not necessary for $\sigma$ to satisfy (IP-CSP). By combining Propositions 49 and 51, we reach the following result.

Proposition 52

Let $\sigma$ be a selection strategy satisfying (IP-CSP). Then ${\mathbf{C}}_{\sigma }^{ec}$ satisfies (CSynSplit).

Proof.

Follows directly from the satisfaction of (CRel) and (CInd) according to Propositions 49 and 51.

Thus inference with single extended c-representations satisfies (CSynSplit) if the underlying selection strategy satisfies (IP-CSP). Note that (IP-CSP) is required only for (CRel) because (CInd) holds for inference with single extended c-representations in general.

With the help of Proposition 52, we can easily derive that deductive inference with respect to the material counterpart of a belief base satisfies conditional syntax splitting.

Proposition 53

Material counterpart inference satisfies (CSynSplit).

Proof.

Because the infinity selection strategy $\tau$ satisfies (IP-CSP) and material counterpart inference coincides with ${\mathbf{C}}_{\tau }^{ec}$ according to Proposition 45, the claim follows due to Proposition 52.

The results in this section also apply to (non-extended) c-representations for strongly consistent belief bases, because they are a subset of extended c-representations in the context of strongly consistent belief bases.

6. c-Inference and Extended c-Inference Satisfy Conditional Syntax Splitting

The inductive inference operator c-inference is the skeptical inference operator obtained by taking all c-representations of a belief base $\mathrm{\Delta }$ into account (Beierle et al., 2016a, 2018), that is, holds iff for all c-representations $\kappa$ of $\mathrm{\Delta }$ . Correspondingly, extended c-inference is defined with respect to all extended c-representations.

Definition 54 (Extended c-inference, , (Beierle et al., 2016a; Haldimann et al., 2024))

Let $\mathrm{\Delta }$ be a belief base and let $A,B\in \mathcal{L}$ . Then $B$ is an extended c-inference from $A$ in the context of $\mathrm{\Delta }$ , denoted by , iff holds for all extended c-representations $\kappa$ of $\mathrm{\Delta }$ , yielding the inductive inference operator

For strongly consistent belief bases c-inference and extended c-inference coincide (Haldimann et al., 2024). Before proving that extended c-inference and thus also c-inference satisfy conditional syntax splitting, we show a proposition stating the following observations.

Consider a safe conditional syntax splitting of $\mathrm{\Delta }$ into ${\mathrm{\Delta }}_1$ and ${\mathrm{\Delta }}_2$ , and an extended c-representation ${\kappa }_{\overrightarrow{\eta }}$ determined by a solution vector $\overrightarrow{\eta }\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}(\mathrm{\Delta }))$ together with its projections ${\kappa }_{{\overrightarrow{\eta }}^1}$ and ${\kappa }_{{\overrightarrow{\eta }}^2}$ to ${\mathrm{\Delta }}_1$ and ${\mathrm{\Delta }}_2$ , respectively. Then the rank of any consistent formula $F_i$ over the language $\mathcal{L}({\mathrm{\Sigma }}_i\cup {\mathrm{\Sigma }}_3)$ of ${\mathrm{\Delta }}_i$ under the projection ${\kappa }_{{\overrightarrow{\eta }}^i}$ coincides with the rank of the formula rank determined by ${\kappa }_{\overrightarrow{\eta }}$ , while its rank under the other projection ${\kappa }_{{\overrightarrow{\eta }}^{i^{\prime }}}$ evaluates to zero.

Proposition 55

For any $\mathrm{\Delta }={\mathrm{\Delta }}_1\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}^{\mathsf{s}}{\mathrm{\Delta }}_2\mid {\mathrm{\Sigma }}_3$ , for all $\overrightarrow{\eta }\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}(\mathrm{\Delta }))$ and $F_i\in \mathcal{L}({\mathrm{\Sigma }}_i\cup {\mathrm{\Sigma }}_3)$ with $F_i\not\equiv \mathrm{\perp }$ , $i\in \{1,2\}$ , we have ${\kappa }_{{\overrightarrow{\eta }}^1}(F_2)={\kappa }_{{\overrightarrow{\eta }}^2}(F_1)=0$ and ${\kappa }_{\overrightarrow{\eta }}(F_i)={\kappa }_{{\overrightarrow{\eta }}^i}(F_i)$ .

Proof.

Let $i,i^{\prime }\in \{1,2\},i\ne i^{\prime }$ . We show ${\kappa }_{{\overrightarrow{\eta }}^i}(F_{i^{\prime }})={\kappa }_{{\overrightarrow{\eta }}^{i^{\prime }}}(F_i)=0$ first. Consider some world ${\omega }^i{\omega }^3\in \mathrm{\Omega }({\mathrm{\Sigma }}_i\cup {\mathrm{\Sigma }}_3)$ with ${\omega }^i{\omega }^3\models F_i$ . Then due to the safety property (5) there is some ${\omega }^{i^{\prime }}\in \mathrm{\Omega }({\mathrm{\Sigma }}_{i^{\prime }})$ such that ${\omega }^i{\omega }^3{\omega }^{i^{\prime }}$ does not falsify any conditional in ${\mathrm{\Delta }}_{i^{\prime }}$ . Then we have ${\kappa }_{{\overrightarrow{\eta }}^{i^{\prime }}}({\omega }^i{\omega }^3{\omega }^{i^{\prime }})=0$ and thus ${\kappa }_{{\overrightarrow{\eta }}^{i^{\prime }}}(F_i)=0$ .

Next we show ${\kappa }_{\overrightarrow{\eta }}(F_i)={\kappa }_{{\overrightarrow{\eta }}^i}(F_i)$ . We have:

$$\begin{array}{rl}{\kappa }_{\overrightarrow{\eta }}(F_i)& =min\{\sum _{\begin{array}{c}\omega \models A_j{\overline{B}}_j\\ (B_j|A_j)\in \mathrm{\Delta }\end{array}}{\eta }_j\mid \omega \models F_i\}.\end{array}$$

(43)

Let ${\omega }^i{\omega }^3=\omega {|}_{{\mathrm{\Sigma }}_1\cup {\mathrm{\Sigma }}_3}$ then ${\omega }^i{\omega }^3\models F_i$ . Furthermore, $\omega$ and ${\omega }^i{\omega }^3$ falsify the same conditionals in ${\mathrm{\Delta }}_{i\setminus 3}$ , since ${\mathrm{\Delta }}_{i\setminus 3}\in (\mathcal{L}({\mathrm{\Sigma }}_i\cup {\mathrm{\Sigma }}_3)|\mathcal{L}({\mathrm{\Sigma }}_i\cup {\mathrm{\Sigma }}_3))$ . Due to the safety property (5) there is some extension ${\omega }^{i^{\prime }}\in \mathrm{\Omega }({\mathrm{\Sigma }}_{i^{\prime }})$ such that ${\omega }^i{\omega }^3{\omega }^{i^{\prime }}$ does not falsify any conditional in ${\mathrm{\Delta }}_{i^{\prime }\setminus 3}$ . Clearly ${\omega }^i{\omega }^3{\omega }^{i^{\prime }}$ is a minimal world in the sense of (43) if ${\omega }^i{\omega }^3$ is a minimal world in the sense of (43). Since ${\omega }^i{\omega }^3{\omega }^{i^{\prime }}$ does not falsify any conditional in ${\mathrm{\Delta }}_{i^{\prime }}$ we can omit ${\mathrm{\Delta }}_{i^{\prime }}$ from (43) in the following way:

$$\begin{array}{rl}{\kappa }_{\overrightarrow{\eta }}(F_i)& =min\{\sum _{\begin{array}{c}{\omega }^i{\omega }^3\models A_j{\overline{B}}_j\\ (B_j|A_j)\in {\mathrm{\Delta }}_{i\setminus 3}\end{array}}{\eta }_j^i\mid {\omega }^i{\omega }^3\models F_i\}.\end{array}$$

(44)

Thus, we have ${\kappa }_{\overrightarrow{\eta }}(F_i)={\kappa }_{{\overrightarrow{\eta }}^i}(F_i)$ .

The next proposition shows that extended c-inference satisfies conditional syntax splitting. Note that since in general the inference relation cannot be represented by an OCF, no corresponding characterization of syntax splitting based on OCFs is applicable to it. Thus, the techniques used in the proofs of the propositions for here are different from those used in previous proofs referring to OCF-based characterizations of syntax splittings.

Proposition 56

Extended c-inference ${\mathbf{C}}^{ec}$ satisfies (CSynSplit).

Proof.

Let $\mathrm{\Delta }={\mathrm{\Delta }}_1\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}^{\mathsf{s}}{\mathrm{\Delta }}_2\mid {\mathrm{\Sigma }}_3$ . W.l.o.g. assume $A,B\in \mathcal{L}({\mathrm{\Sigma }}_1),D\in \mathcal{L}({\mathrm{\Sigma }}_2),\dot{B}\in \{B,\overline{B}\}$ and assume $E\in \mathcal{L}({\mathrm{\Sigma }}_3)$ is a complete conjunction with .

To prove that ${\mathbf{C}}^{ec}$ satisfies (CRel) we need to show that iff . By applying the definition of we obtain:

$$\begin{array}{r}\mathrm{\forall }\overrightarrow{\eta }\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}(\mathrm{\Delta })):{\kappa }_{\overrightarrow{\eta }}(AEB)<{\kappa }_{\overrightarrow{\eta }}(AE\overline{B})\text{ or }{\kappa }_{\overrightarrow{\eta }}(AE)=\mathrm{\infty },\\ \text{ iff }\mathrm{\forall }{\overrightarrow{\eta }}^1\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_1)):{\kappa }_{{\overrightarrow{\eta }}^1}(AEB)<{\kappa }_{{\overrightarrow{\eta }}^1}(AE\overline{B})\text{ or }{\kappa }_{{\overrightarrow{\eta }}^1}(AE)=\mathrm{\infty }.\end{array}$$

(45)

For the direction $\Rightarrow$ of (45) observe that with Proposition 35, every $\overrightarrow{\eta }\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}(\mathrm{\Delta }))$ can be split into $\overrightarrow{\eta }=({\overrightarrow{\eta }}^{1\setminus 3},{\overrightarrow{\eta }}^{2\setminus 3},{\overrightarrow{\eta }}^3)$ where, with Lemma 33, ${\overrightarrow{\eta }}^1=({\overrightarrow{\eta }}^{1\setminus 3},{\overrightarrow{\eta }}^3)\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_1))$ .

For the other direction $\Leftarrow$ of (45), with Proposition 35 and Lemma 33, we have that every ${\overrightarrow{\eta }}^1=({\overrightarrow{\eta }}^{1\setminus 3},{\overrightarrow{\eta }}^3)\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_1))$ with ${\overrightarrow{\eta }}^{1\setminus 3}\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_{1\setminus 3}))$ and ${\overrightarrow{\eta }}^3\in (\mathbb{N}\cup \mathrm{\infty }{)}^{|{\mathrm{\Delta }}_3|}$ has an extension ${\overrightarrow{\eta }}^{2\setminus 3}\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}({\mathrm{\Delta }}_{2\setminus 3}))$ such that $({\overrightarrow{\eta }}^{1\setminus 3},{\overrightarrow{\eta }}^{2\setminus 3},{\overrightarrow{\eta }}^3)\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}(\mathrm{\Delta }))$ . Therefore, to show (45) it suffices to show that

$${\kappa }_{\overrightarrow{\eta }}(AEB)<{\kappa }_{\overrightarrow{\eta }}(AE\overline{B})\text{ or }{\kappa }_{\overrightarrow{\eta }}(AE)=\mathrm{\infty }\text{iff}{\kappa }_{{\overrightarrow{\eta }}^1}(AEB)<{\kappa }_{{\overrightarrow{\eta }}^1}(AE\overline{B})\text{ or }{\kappa }_{{\overrightarrow{\eta }}^1}(AE)=\mathrm{\infty }$$

(46)

for all $\overrightarrow{\eta }=({\overrightarrow{\eta }}^{1\setminus 3},{\overrightarrow{\eta }}^{2\setminus 3},{\overrightarrow{\eta }}^3)\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}(\mathrm{\Delta }))$ with ${\overrightarrow{\eta }}^1=({\overrightarrow{\eta }}^{1\setminus 3},{\overrightarrow{\eta }}^3)$ . With Proposition 55 this follows directly because ${\kappa }_{\overrightarrow{\eta }}(AE\dot{B})={\kappa }_{{\overrightarrow{\eta }}^1}(AE\dot{B})$ since $A,B\in \mathcal{L}({\mathrm{\Sigma }}_1)$ , $E\in \mathcal{L}({\mathrm{\Sigma }}_3)$ and ${\mathrm{\Delta }}_1\subseteq (\mathcal{L}({\mathrm{\Sigma }}_1\cup {\mathrm{\Sigma }}_3)|\mathcal{L}({\mathrm{\Sigma }}_1\cup {\mathrm{\Sigma }}_3))$ .

Next, we prove that ${\mathbf{C}}^{ec}$ satisfies (CInd). We need to show iff . Again, due to Proposition 35 it suffices to show that

$${\kappa }_{\overrightarrow{\eta }}(AEB)<{\kappa }_{\overrightarrow{\eta }}(AE\overline{B})\text{ or }{\kappa }_{\overrightarrow{\eta }}(AE)=\mathrm{\infty }\text{iff}{\kappa }_{\overrightarrow{\eta }}(ADEB)<{\kappa }_{\overrightarrow{\eta }}(ADE\overline{B})\text{ or }{\kappa }_{\overrightarrow{\eta }}(ADE)=\mathrm{\infty }$$

(47)

for all $\overrightarrow{\eta }\in \mathit{S}\mathit{o}\mathit{l}({\mathit{C}\mathit{R}}_{\mathrm{\Sigma }}^{ex}(\mathrm{\Delta }))$ . First we consider the case that ${\kappa }_{\overrightarrow{\eta }}(AE)<\mathrm{\infty }$ and ${\kappa }_{\overrightarrow{\eta }}(ADE)<\mathrm{\infty }$ . Since Proposition 50 states that ${\mathrm{\Sigma }}_1$ and ${\mathrm{\Sigma }}_2$ are conditionally ${\kappa }_{\overrightarrow{\eta }}$ -independent given ${\mathrm{\Sigma }}_3$ and ${\kappa }_{\overrightarrow{\eta }}(DE)<\mathrm{\infty }$ due to we have with Lemma 10 that ${\kappa }_{\overrightarrow{\eta }}(A\dot{B}DE)={\kappa }_{\overrightarrow{\eta }}(A\dot{B}E)+{\kappa }_{\overrightarrow{\eta }}(DE)-{\kappa }_{\overrightarrow{\eta }}(E)$ and therefore (47) holds. In the case that ${\kappa }_{\overrightarrow{\eta }}(AE)=\mathrm{\infty }$ and/or ${\kappa }_{\overrightarrow{\eta }}(ADE)=\mathrm{\infty }$ , again, with Proposition 50 and Lemma 10 we have that ${\kappa }_{\overrightarrow{\eta }}(ADE)={\kappa }_{\overrightarrow{\eta }}(AE)+{\kappa }_{\overrightarrow{\eta }}(DE)-{\kappa }_{\overrightarrow{\eta }}(E)$ . Because , we have ${\kappa }_{\overrightarrow{\eta }}(DE)<\mathrm{\infty }$ and ${\kappa }_{\overrightarrow{\eta }}(E)<\mathrm{\infty }$ . Thus ${\kappa }_{\overrightarrow{\eta }}(ADE)=\mathrm{\infty }$ iff ${\kappa }_{\overrightarrow{\eta }}(AE)=\mathrm{\infty }$ .

Proposition 57

c-Inference ${\mathbf{C}}^c$ satisfies (CSynSplit).

Proof.

Because extended c-inference ${\mathbf{C}}^{ec}$ limited to strongly consistent belief bases coincides with c-inference ${\mathbf{C}}^c$ , the claim follows from Proposition 56.

We give an example illustrating Propositions 55, 56, and 57.

Example 58 ( ${\mathrm{\Delta }}^b$ continued)

Recall Example 21. According to Proposition 55, for $p\wedge f\in \mathcal{L}({\mathrm{\Sigma }}_1)$ , we get ${\kappa }_{{\overrightarrow{\eta }}_1^1}(p\wedge \overline{f})=1$ and ${\kappa }_{{\overrightarrow{\eta }}_1^2}(p\wedge \overline{f})=0$ from ${\kappa }_{{\overrightarrow{\eta }}_1}(p\wedge \overline{f})=1$ without having to compute ${\kappa }_{{\overrightarrow{\eta }}_1^1}$ or ${\kappa }_{{\overrightarrow{\eta }}_1^2}$ . This also works in the other direction, where we do not have to compute ${\kappa }_{{\overrightarrow{\eta }}_1}$ if we have knowledge about ${\kappa }_{{\overrightarrow{\eta }}_1^1}$ .

Next, consider again the safe conditional syntax splitting given in Example 5. Taking the constraints in Example 21 into account, it follows that holds. With Proposition 57 we know that ${\mathbf{C}}^{ec}$ satisfies (CRel) and (CInd). From (CRel) we conclude . Furthermore, according to (CInd), we know that and .

A skeptical inference relation based on extended c-representations is obtained by taking all conservative extended c-representations of $\mathrm{\Delta }$ into account. The resulting inference relation, called conservative extended c-inference, coincides with extended c-inference (cf. Proposition 27) and thus also satisfies (CSynSplit).

Proposition 59

Conservative extended c-inference satisfies (CSynSplit).

Proof.

Follows directly from Propositions 27 and 56.

We have shown that c-inference, extended c-inference, and conservative extended c-inference for weakly and strongly consistent belief bases, respectively, fully comply with conditional syntax splitting. Note that just as the proof that c-inference satisfies (unconditional) syntax splitting (Kern-Isberner et al., 2020), also proving satisfaction of (CSynSplit) by ${\mathbf{C}}^c$ and by ${\mathbf{C}}^{ec}$ does not require the use of selection strategies.

7. Credulous and Weakly Skeptical c-Inference and Their Extended Versions Satisfy Conditional Syntax Splitting

Besides reasoning with respect to all models of a belief base, two other modes of reasoning have been investigated and instantiated for c-representations (Beierle et al., 2016b): credulous and weakly skeptical reasoning.

Definition 60 (Credulous/weakly skeptical c-inference, (Beierle et al., 2021a))

Let $\mathrm{\Delta }$ be a strongly consistent belief base and let $A$ , $B$ be formulas.

$B$ is a credulous c-inference from $A$ in the context of $\mathrm{\Delta }$ , denoted by , iff there is a c-representation $\kappa$ of $\mathrm{\Delta }$ with .

$B$ is a weakly skeptical c-inference from $A$ in the context of $\mathrm{\Delta }$ , denoted by , iff $A\equiv \mathrm{\perp }$ or there is a c-representation $\kappa$ of $\mathrm{\Delta }$ with and there is no c-representation ${\kappa }^{\prime }$ of $\mathrm{\Delta }$ with .

These inference modes have been adapted to belief bases that are not strongly consistent by taking extended and conservative extended c-representations, respectively, into account.

Definition 61 ((Conservative) extended credulous/weakly skeptical c-inference, (Haldimann et al., 2025))

Let $\mathrm{\Delta }$ be a belief base and let $A$ , $B$ be formulas.

$B$ is an extended credulous c-inference from $A$ in the context of $\mathrm{\Delta }$ , denoted by , iff (i) $\mathrm{\Delta }$ is not weakly consistent or (ii) there is an extended c-representation $\kappa$ of $\mathrm{\Delta }$ with .

$B$ is a conservative extended credulous c-inference from $A$ in the context of $\mathrm{\Delta }$ , denoted by , iff (i) $\mathrm{\Delta }$ is not weakly consistent or (ii) there is a conservative extended c-representation $\kappa \in C\mathrm{Mod}{}_{\mathrm{\Sigma }}^{ec}(\mathrm{\Delta })$ of $\mathrm{\Delta }$ with .

$B$ is an extended weakly skeptical c-inference from $A$ in the context of $\mathrm{\Delta }$ , denoted by , iff (i) $\mathrm{\Delta }$ is not weakly consistent, (ii) there is an extended c-representation ${\kappa }^{\circ }$ of $\mathrm{\Delta }$ with $\kappa \circ (A)=\mathrm{\infty }$ , or (iii) there is an extended c-representation $\kappa$ of $\mathrm{\Delta }$ with and there is no extended c-representation ${\kappa }^{\prime }$ of $\mathrm{\Delta }$ with .

$B$ is a conservative extended weakly skeptical c-inference from $A$ in the context of $\mathrm{\Delta }$ , denoted by , iff (i) $\mathrm{\Delta }$ is not weakly consistent, (ii) there is a conservative extended c-representation ${\kappa }^{\circ }$ of $\mathrm{\Delta }$ with ${\kappa }^{\circ }(A)=\mathrm{\infty }$ , or (iii) there is a conservative extended c-representation $\kappa$ of $\mathrm{\Delta }$ with and there is no conservative extended c-representation ${\kappa }^{\prime }$ of $\mathrm{\Delta }$ with .

The inference methods given in Definitions 60 and 61 all satisfy (DI) and (TV) and are thus inductive inference operators. However, so far, none of them has been investigated with respect to their syntax splitting properties. In the following, we will show that all six operators fully comply with conditional syntax splitting and thus also with (unconditional) syntax splitting. We start with the inference operators defined with respect to all extended c-representations.

Proposition 62

Extended credulous c-inference and extended weakly skeptical c-inference satisfy (CSynSplit).

Proof.

Both extended credulous c-inference and extended weakly skeptical c-inference have been shown to coincide with material counterpart inference (Haldimann et al., 2025, Proposition 64 and 74). Thus, the claim follows due to Proposition 53.

In the following two propositions, we show that also the inference operators defined with respect to all conservative extended c-representations satisfy conditional syntax splitting.

Proposition 63

Conservative extended credulous c-inference satisfies (CSynSplit).

Proof.

Let $\mathrm{\Delta }={\mathrm{\Delta }}_1\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}^{\mathsf{s}}{\mathrm{\Delta }}_2\mid {\mathrm{\Sigma }}_3$ and let $i,i^{\prime }\in \{1,2\},i\ne i^{\prime }$ . We show (CRel) and (CInd) separately.

(CRel): Let $A,B\in \mathcal{L}({\mathrm{\Sigma }}_i)$ and let $E$ be a full conjunction over ${\mathrm{\Sigma }}_3$ . We need to show iff , which is equivalent to showing that there is a conservative extended c-representation $\kappa$ of $\mathrm{\Delta }$ with $\kappa (AEB)<\kappa (AE\overline{B})$ iff there is a conservative extended c-representation ${\kappa }_i$ of ${\mathrm{\Delta }}_i$ with ${\kappa }_i(AEB)<{\kappa }_i(AE\overline{B})$ . Let $\overrightarrow{\eta }$ be an impact vector such that $\kappa ={\kappa }_{\overrightarrow{\eta }}$ is a conservative extended c-representation of $\mathrm{\Delta }$ with $\kappa (AEB)<\kappa (AE\overline{B})$ . With Proposition 39 there is an impact vector ${\overrightarrow{\eta }}_i$ such that ${\kappa }_i={\kappa }_{{\overrightarrow{\eta }}_i}$ is a conservative extended c-representation of ${\mathrm{\Delta }}_i$ and ${\overrightarrow{\eta }}_i=\overrightarrow{\eta }{|}_{{\mathrm{\Delta }}_i}$ . Vice versa, every conservative extended c-representation ${\kappa }_i$ of ${\mathrm{\Delta }}_i$ is based on an impact vector ${\overrightarrow{\eta }}_i$ that can be extended to an impact vector $\overrightarrow{\eta }$ such that $\kappa ={\kappa }_{\overrightarrow{\eta }}$ is a conservative extended c-representation of $\mathrm{\Delta }$ and $\overrightarrow{\eta }{|}_{{\mathrm{\Delta }}_i}={\overrightarrow{\eta }}_i$ . With Proposition 55, we get $\kappa (F)={\kappa }_i(F)$ for all $F\in \mathcal{L}({\mathrm{\Sigma }}_i\cup {\mathrm{\Sigma }}_3)$ , implying $\kappa (AEB)<\kappa (AE\overline{B})$ iff ${\kappa }_i(AEB)<{\kappa }_i(AE\overline{B})$ and thus iff .

(CInd): Let $A,B\in \mathcal{L}({\mathrm{\Sigma }}_i)$ , let $D\in \mathcal{L}({\mathrm{\Sigma }}_{i^{\prime }})$ , and let $E$ be a full conjunction over ${\mathrm{\Sigma }}_3$ with . We need to show iff . Assume . Further, there is a conservative extended c-representation $\kappa$ such that . Then there is a selection strategy $\sigma$ such that the inductive inference operator $C_{\sigma }^{ec}$ maps $\mathrm{\Delta }$ to $\kappa$ , that is, $C_{\sigma }^{ec}(\mathrm{\Delta })=\kappa$ . According to Proposition 51, the inference operator $C_{\sigma }^{ec}$ satisfies (CInd). Thus implies and thus . The other direction is analogous.

Proposition 64

Conservative extended weakly skeptical c-inference satisfies (CSynSplit).

Proof.

Let $\mathrm{\Delta }={\mathrm{\Delta }}_1\bigcup _{{\mathrm{\Sigma }}_1,{\mathrm{\Sigma }}_2}^{\mathsf{s}}{\mathrm{\Delta }}_2\mid {\mathrm{\Sigma }}_3$ and let $i,i^{\prime }\in \{1,2\},i\ne i^{\prime }$ . We show (CRel) and (CInd) separately.

(CRel): Let $A,B\in \mathcal{L}({\mathrm{\Sigma }}_i)$ and let $E$ be a full conjunction over ${\mathrm{\Sigma }}_3$ . We need to show iff . In the proof of Proposition 63, we have already shown that (1) there is a conservative extended c-representation $\kappa$ of $\mathrm{\Delta }$ with $\kappa (AEB)<\kappa (AE\overline{B})$ iff there is a conservative extended c-representation ${\kappa }_i$ of ${\mathrm{\Delta }}_i$ with ${\kappa }_i(AEB)<{\kappa }_i(AE\overline{B})$ . In particular, this proof also implies that $\kappa (A)=\mathrm{\infty }$ iff ${\kappa }_i(A)=\mathrm{\infty }$ , covering case (ii) from Definition 61. We now show that (2) there is no conservative extended c-representation $\kappa$ of $\mathrm{\Delta }$ with $\kappa (AE\overline{B})<\kappa (AEB)$ iff there is no conservative extended c-representation ${\kappa }_i$ of ${\mathrm{\Delta }}_i$ with ${\kappa }_i(AE\overline{B})<{\kappa }_i(AEB)$ . We show this via contraposition. Assume there were some conservative extended c-representation $\kappa$ with $\kappa (AE\overline{B})<\kappa (AEB)$ . Then, utilizing the same arguments as in the proof of Proposition 63, we obtain that there must also be a conservative extended c-representation ${\kappa }_i$ with ${\kappa }_i(AE\overline{B})<{\kappa }_i(AEB)$ . The other direction is analogous. With (1) and (2), we get iff .

(CInd): Let $A,B\in \mathcal{L}({\mathrm{\Sigma }}_i)$ , let $D\in \mathcal{L}({\mathrm{\Sigma }}_{i^{\prime }})$ , and let $E$ be a full conjunction over ${\mathrm{\Sigma }}_3$ with . We need to show iff . In the proof of Proposition 63, we have already shown that (1) there is a conservative extended c-representation $\kappa$ of $\mathrm{\Delta }$ with $\kappa (AEB)<\kappa (AE\overline{B})$ and $\kappa (ADEB)<{\kappa }_i(ADE\overline{B})$ . In particular, this covers (ii) from Definition 61. We now show that (2) there is no conservative extended c-representation $\kappa$ of $\mathrm{\Delta }$ with $\kappa (AE\overline{B})<\kappa (AEB)$ iff there is no conservative extended c-representation ${\kappa }^{\prime }$ with ${\kappa }^{\prime }(ADE\overline{B})<{\kappa }^{\prime }(ADEB)$ . We show this via contraposition. Assume there were some conservative extended c-representation $\kappa$ with $\kappa (AE\overline{B})<\kappa (AEB)$ . Then, utilizing the same arguments as in the proof of Proposition 63, we obtain that $\kappa (AED\overline{B})<\kappa (AEDB)$ . The other direction is analogous. With (1) and (2), we obtain iff .

Finally, we show that conditional syntax splitting is also satisfied by the two inference operators defined only for strongly consistent belief bases.

Proposition 65

Credulous c-inference and weakly skeptical c-inference satisfy (CSynSplit).

Proof.

For all strongly consistent belief bases, conservative extended credulous c-inference coincides with credulous c-inference (Haldimann et al., 2025, Lemma 68), and conservative extended weakly skeptical c-inference coincides with weakly skeptical c-inference (Haldimann et al., 2025, Lemma 78). Thus, the claim follows due to Propositions 63 and 64.

Thus, all inference operators obtained by reasoning with c-representations across three different reasoning modes—credulous, weakly skeptical, and skeptical—and with respect to three different sets of models—c-representations, extended c-representations, and conservative extended c-representations—fully comply with syntax splitting and conditional syntax splitting.

8. Conclusions and Future Work

For inductive reasoning from conditional belief bases, the concept of conditional syntax splitting has been introduced in the literature as a generalization of syntax splitting. It is applicable also to cases where the conditionals in the subbases share some atoms, and it leads to a formalization of the drowning effect which had been described previously only by means of examples. However, previous work on splitting often implicitly or explicitly assumes that the considered belief bases are (strongly) consistent in the sense of the well-known consistency test by Goldszmidt and Pearl (1996).

In this article, we extended the study of conditional splitting. by taking also weakly consistent belief bases into account and thus allowing for some worlds to be completely infeasible. We introduced the concept of conditional semantic splitting for OCF-based semantics of conditional belief bases. We showed that c-representations, which exhibit notable properties desirable for nonmonotonic reasoning, satisfy the conditional semantic splitting postulate (CSemSplit). For inference based on single c-representations, we showed that the concept of selection strategies leads to inductive inference operators satisfying the conditional syntax splitting postulate (CSynSplit). Furthermore, we proved that c-inference, which is obtained by taking all c-representations of a belief base into account, also satisfies (CSynSplit) and thus fully complies with conditional syntax splitting, and we have shown that also credulous and weakly skeptical reasoning with c-representations satisfies conditional syntax splitting. All results regarding c-representations and inference based on them are shown for strongly consistent belief bases and also for their extended and conservative extended versions covering weakly consistent belief bases. This results in different inference operators based on c-representations that all fully comply with conditional syntax splitting, showing that c-representations behave very well with respect to splitting properties. We also elaborated on the relationship between conservative extended c-representations and relaxations thereof, leading to a postulate for selection strategies ensuring classic preservation.

Our current and future work includes exploiting the benefits of conditional splitting in implementations of inductive inference, for example, in the reasoning platform InfOCF and its underlying library (Beierle et al., 2017, 2024a, 2025; Kutsch & Beierle, 2021), and to extend the study of splitting to also cover case splitting and the kinematics principle (Kern-Isberner et al., 2023).