---
title: 'Epistemic Dependencies: Logic, Decisions & AI'
url: https://www.emergentmind.com/topics/epistemic-dependencies-eds
type: topic
---

# Epistemic Dependencies: Logic, Decisions & AI

Epistemic Dependencies (EDs) designate several related but non-identical constructions for representing how knowledge, knowability, disclosure, decision, or justified reliance depends on other epistemic items. In current research, the term ranges from a graph-theoretic abstraction over epistemic literals in epistemic logic programs, to stratified decision rules whose applicability depends on what is known or unknown, to modal operators for partial, functional, continuous, or uniformly continuous dependence, to confidentiality policies of the form \(K\,q_b \rightarrow K\,q_h\) in controlled query evaluation, and to broader normative dependence relations in AI-assisted reasoning and multi-agent knowledge ecosystems [2001.04219] [2312.11186] [2405.02458] [2510.21043].

## 1. Conceptual scope and recurrent structure

A recurring feature across ED formalisms is that they do not treat epistemic states as isolated. Instead, they encode relations of constraint between epistemically salient items: atoms in epistemic literals, decision outputs and knowledge conditions, values of variables across possible worlds, answerable queries under a censor, or human judgments and recognized authorities. The relevant dependency may be syntactic, semantic, topological, modal, or institutional.

| Research setting | Core ED object | Dependency intuition |
|---|---|---|
| Epistemic logic programs | \(\EP_\Pi\) | Epistemic atoms linked through non-epistemic program structure |
| Decision modeling | \(K[T][\psi]\), eDMN, ebd | Decisions depend on what is known or not known |
| Modal/topological logic | \(D_g,D_l\), \(K(C,d)\), \(K(X;Y)\), \(U(X;Y)\) | One epistemic item varies with or is knowable from another |
| Controlled query evaluation | \(\forall \vec{x}_1,\vec{x}_2 (K q_b \rightarrow K q_h)\) | Disclosure of one query result constrains disclosure of another |
| AI epistemology | AEAs, total evidence AI deference, informational interdependencies | Human reasoning depends on AI outputs and AI-mediated infrastructures |

This suggests a family resemblance rather than a single canonical formalism. In some literatures, EDs are explicit primitives with formal syntax and semantics; in others, they are dependency-like constraints reconstructed from broader epistemic frameworks.

## 2. Structural EDs in epistemic logic programs

In epistemic logic programming, EDs are introduced as a structural graph abstraction tailored to the epistemic part of an epistemic logic program \(\Pi=(A,R)\). The key restriction is that the graph is built from \(atel{\Pi}\), the atoms occurring in epistemic literals, rather than from all program atoms. The starting point is the primal graph
\[
\GP_\Pi = (V,E),\quad V=A,\quad \{a,b\}\in E \iff \exists r\in R:\{a,b\}\subseteq at{r}.
\]
Two vertices \(a,b\) are then called non-epistemically connected if there is a path between them in \(\GP_\Pi\) whose internal vertices all lie in \(A\setminus atel{\Pi}\). The resulting epistemic primal graph is
\[
\EP_\Pi = (V,E),\quad V=atel{\Pi},\quad \{a,b\}\in E \iff a\neq b \text{ and } a,b \text{ are non-epistemically connected in } \GP_\Pi.
\]
The paper explicitly notes that this construction is inspired by the torso graph idea from parameterized complexity [2001.04219].

The significance of \(\EP_\Pi\) is algorithmic. It isolates epistemic interaction structure while collapsing away chains of ordinary atoms not appearing epistemically. In the scholarship eligibility example, after instantiation for two students, the graph contains only \(eligible(mike)\), \(ineligible(mike)\), \(eligible(mark)\), and \(ineligible(mark)\), with edges only within each student’s pair; hence \(\EP_\Pi\) is a forest of treewidth \(1\). This decomposition supports independent or weakly coupled epistemic subproblems.

The operational consequence appears in the bag algorithm **EPRIM** over a nice tree decomposition of \(\EP_\Pi\). The paper states:
\[
\textbf{Proposition \ref{prop:rowaspcalls}.}\quad \text{To compute a row in a table of EPRIM, an ASP solver needs to be called at most } 2 + 2\cdot |\chi(t)| \text{ times.}
\]
From this, together with linear-size nice tree decompositions and exponential row bounds in bag size, it derives
\[
\textbf{Theorem \ref{thm:aspcalls}.}\quad DP_{EPRIM}\text{ makes at most }2^k\cdot n\text{ ASP calls, where }k = tw(\EP_\Pi).
\]
The same work also provides a full dynamic programming algorithm **PRIM** on the ordinary primal graph \(\GP_\Pi\), while emphasizing that \(\EP_\Pi\) is the new structural device specifically used for solver-call analysis and epistemic decomposition rather than for the main MSO/Courcelle-style tractability statement on the incidence graph [2001.04219].

## 3. Epistemic dependence in decision modeling under incomplete knowledge

A second major use of EDs appears in decision modeling, where the central claim is that decisions should depend on epistemic conditions rather than directly on the objective state of affairs. The formal basis is **Ordered Epistemic Logic (OEL)**, a hierarchy of FO(ID) theories equipped with operators \(K[T][\psi]\). The ordering condition is strict: if a theory \(T\) contains \(K[T'][\psi]\), then \(T' < T\). This stratification ensures a bottom theory free of epistemic operators and rules out circular self-reference [2312.11186].

The semantics is given over partial structures \(A\):
\[
A \models K[T'][\psi] \quad\text{iff}\quad A' \models \psi \text{ for all } A' \text{ extending } A \text{ such that } A' \models T'.
\]
Knowledge is therefore truth in all compatible completions of the current partial information. This supports rules whose applicability depends on knownness and unknownness. The salutation example makes the point explicitly: “Mr,” “Ms,” and “Mrs” depend on what is known about gender and marital status, while “Customer” and “Lady” are triggered by ignorance conditions.

The paper formalizes an epistemic decision function as
\[
f_e : \mathcal{P}(C_e) \to C_d,
\]
a partial map from epistemic states to decision structures, and proves that every DMN decision function and every optimal decision function is an epistemic decision function. The practical language **eDMN** translates a DMN table with hit policy “Any” into OEL rules of the form
\[
A_i(d) \leftarrow K[T][C_{1i}(e_1)] \land \dots \land K[T][C_{ni}(e_n)].
\]
The extension also adds disjunctions of constraints and an explicit unknownness test \(\neg K\), formalized for a variable \(e\) over sort \(s_e\) as
\[
\forall v \in s_e: \neg K[T][e = v].
\]

For a more tightly controlled definitional fragment, the paper introduces **ebd** (Epistemic Body Definitions), where rules have the form
\[
\forall \bar{x} : p(\bar{t}) \leftarrow \phi
\quad\text{or}\quad
\forall \bar{x} : f(\bar{t}) = v \leftarrow \phi,
\]
with every atomic formula in \(\phi\) occurring under \(K\), no defined symbol in the body, and decision symbols separated from environment symbols. The resulting determinacy property is
\[
Mod(T,T_E) = \{\} \;\lor\; Mod(T,T_E) = \{A\}.
\]
This makes the decision either uniquely determined or undefined/inconsistent for a given epistemic state. In the interview example, “interview” is triggered not only by factual conditions but by insufficient knowledge itself, which is precisely the epistemic dependency the framework is designed to represent [2312.11186].

## 4. Modal, functional, and topological logics of dependence

One modal line of work introduces a partial dependency modality into epistemic logic. The language contains
\[
\varphi ::= \top \mid p \mid \neg \varphi \mid (\varphi \land \psi)\mid K\varphi \mid A\varphi \mid D_g(X,Y)\mid D_l(X,Y),
\]
where \(D_g(X,Y)\) and \(D_l(X,Y)\) express global and local partial dependency between finite sets of variables. The semantics compares worlds agreeing outside \(X\cup Y\). For global dependency,
\[
M,s\vDash D_g(X,Y)
\]
iff there exist \(u,v\) in the same \(\approx\)-class as \(s\) such that all variables outside \(X\cup Y\) agree, while both \(X\) and \(Y\) differ between \(u\) and \(v\). For local dependency, one witness world is anchored at the current world. The logic proves
\[
D_g(X,Y)\leftrightarrow \neg A\neg D_l(X,Y),
\]
and the paper states that \(D_l\) is strictly more expressive than \(D_g\). It also gives a sound and strongly complete axiomatization for the \(EDG\) sublanguage containing \(D_g\) but not \(D_l\) [1905.10976].

A second line introduces the functional-dependency operator \(K(C,d)\), read as knowledge of a functional dependency from variables \(C\) to variable \(d\). Its semantics is
\[
M,w \vDash K(C,d) \quad\Leftrightarrow\quad \exists f\in F,\ \forall w'\in W,\; V(w',d)=f\bigl(V(w',C)\bigr),
\]
where \(F\) is a designated function domain. This makes EDs sensitive not only to extensional regularity across worlds but to what counts as an admissible explaining function. The framework axiomatizes three single-agent logics by varying \(F\): a full function domain validating \(\mathtt{EXT}: K(d)\to K(C,d)\), a minimal projection-only domain validating \(\mathtt{CHOO}\) and \(\mathtt{EQU}\), and an intermediate domain for which the base system suffices. It then generalizes to a multi-agent setting with agent- and world-relative function domains \(F_i(w)\) [1706.02048].

A third line gives a topological account of knowable informational dependence. The central notion is
\[
S\models K(X;Y) \iff \mbox{ there is a continuous map } F:\mathbb{D}_X \to \mathbb{D}_Y \mbox{ s.t. } F\circ  X=Y.
\]
This identifies knowable dependence with continuity, and uniformly knowable dependence with uniform continuity:
\[
U(X;Y) \quad\text{iff}\quad \forall \varepsilon>0 \, \exists \delta>0 \, \forall s,t\in S \, \bigl(d_X(X(s), X(t))< \delta \Rightarrow d_Y(Y(s), Y(t))< \varepsilon\bigr).
\]
The paper distinguishes exact dependence, continuous dependence, local dependence, point-continuous dependence, and uniform dependence, and defines a strong epistemic independence condition \(Ig_XY\). A notable theorem-level claim is that \(D(X;Y) \wedge Ig(X;Y)\) is compatible: exact functional dependence can coexist with epistemic independence when the dependence map is everywhere-surjective and non-continuous in the relevant topological sense. The same work gives complete and decidable proof systems \(\mathsf{LCD}\) for continuous dependence and \(\mathsf{LUD}\) for uniform dependence [2401.06962].

Taken together, these logics show that EDs need not mean full functional determination. They can represent influence without unique determination, knowledge of admissible explanatory functions, knowability from approximation, or state-independent know-how.

## 5. EDs as disclosure policies in controlled query evaluation

In ontology-based controlled query evaluation (CQE), EDs are a policy language for regulating what may be disclosed. The basic syntactic form is
\[
\forall \vec{x}_1,\vec{x}_2 \bigl( K\, q_b(\vec{x}_1,\vec{x}_2) \rightarrow K\, q_h(\vec{x}_2) \bigr),
\]
where \(q_b\) is the body conjunctive query, \(q_h\) is the head conjunctive query, and \(K\) means that the query result is known or disclosed under the censor. A special case is a denial, obtained when the head is \(\bot\). The intended reading is: if the user can infer the body, then the user must also be able to infer the head; otherwise the disclosure is disallowed [2405.02458].

The 2024 CQE framework studies instances \(E=\{T,A,P\}\) with TBox \(T\), ABox \(A\), and policy \(P\). A CQ-censor is a subset \(C\) of the entailed information such that \(T\cup C \models_{\mathrm{EQL}} P\). The work distinguishes skeptical entailment over all optimal censors,
\[
E\models_{SC} q \iff \forall C\in OptCQCens(E),\, T\cup C\models q,
\]
from entailment under the intersection of optimal censors,
\[
E\models_{IC} q \iff T\cup \bigcap_{C\in OptCQCens(E)}C \models q.
\]
For DL-Lite\(_\mathcal{R}\), it proves that SC-entailment preserves confidentiality for BCQs but not for BUCQs, whereas IC-entailment preserves confidentiality for BUCQs. On the complexity side, arbitrary ED policies yield coNP-hardness or coNP-completeness in data complexity, while acyclic EDs admit FO rewritings and hence AC\(^0\) data complexity. Acyclicity is defined via a dependency graph \(G(T,P)\) with P-edges from body predicates to head predicates and T-edges induced by TBox axioms; a policy is acyclic for \(T\) when no cycle in \(G(T,P)\) contains a P-edge [2405.02458].

The extended 2025 study shifts to **optimal GA censors**, maximal sets of entailed ground atoms safe to reveal, and their intersection
\[
C_{IGA} = \bigcap \{ C \mid C \text{ is an optimal GA censor}\}.
\]
Its main security result is:
\[
\textbf{Theorem 1.}\quad \text{For every CQE instance } \mathcal{E}=(T,P,A)\text{ such that }P\text{ is either full or linear, }C_{IGA}\text{ is a GA censor of }\mathcal{E}.
\]
The paper then shows that IGA-entailment is not FO-rewritable in general: there exists a policy of linear EDs and a one-atom query making IGA-ENT NL-hard in data complexity, and there exists a policy of full EDs and a ground-atom query making IGA-ENT coNP-hard in data complexity. Tractability is recovered for DL-Lite\(_R\) TBoxes and policies that are full and expandable with respect to the coupled TBox, yielding FO rewritability and AC\(^0\) data complexity via **PolicyExp** and a detailed first-order rewriting construction [2507.17487].

The CQE literature also emphasizes expressiveness. Policies can encode conditional disclosure rather than only denials. One example requires that if the system knows a patient is admitted, then it must also know that the patient gave consent; another requires that salaries may be revealed only for managers. In the extended work, experiments on **OWL2Bench** use ABoxes \(o2b5\) with about 325k assertions and \(o2b10\) with about 710k assertions, reporting that rewriting time was always small, evaluation time was usually acceptable, and the most expensive query was the seventh one, which took several minutes [2405.02458] [2507.17487].

## 6. AI-mediated epistemic dependency, deference, and informational interdependence

Recent AI epistemology treats epistemic dependence not merely as a logical relation but as a normative and socio-technical condition. One account analyzes when users should defer to AI outputs by introducing **Artificial Epistemic Authorities (AEAs)**: AI systems that occupy a superior epistemic position relative to a user in some domain and are therefore correctly recognized as authoritative. The paper contrasts **AI Preemptionism**,
\[
\textbf{AI Preemptionism: User U should treat the output O of a recognised artificial epistemic authority AEA in domain D at time t as a pre-emptive reason for believing proposition } p,
\]
such that \(O\) replaces rather than adds to the user’s independent reasons, with **Total Evidence AI Deference**,
\[
\textbf{Total Evidence AI Deference: User U should treat the output O of a recognised artificial epistemic authority AEA in domain D at time t as a contributory reason for believing proposition } p,
\]
such that \(O\) is integrated into, rather than replacing, the user’s independent reasons. The argument against preemptionism centers on uncritical deference, epistemic entrenchment, and unhinging epistemic bases, amplified by opacity, self-reinforcing authority, and the lack of human-like failure markers. The positive alternative is a norm of critical deference with oversight, defeasible in at least four cases: domain mismatch, reliability undermining, conflicting authority, and novel evidence. This structure is presented as mitigating expertise atrophy, grounding meaningful human oversight and control on epistemic grounds, and explaining when mistrust of AI is epistemically justified [2510.21043].

A related 2026 framework broadens the picture from deference to ecosystem-level dependency. It defines **epistemic AI agents** as entities capable of **(1) autonomously pursuing epistemic goals** without sustained human input and **(2) actively shaping the external epistemic environment through their actions**. Such systems are said to create “new informational interdependencies” and a “complex web of interdependencies created between humans and agentic systems.” The proposed governance framework has three pillars: trustworthiness of epistemic AI agents, alignment with human epistemic goals, and reinforcement of the socio-epistemic infrastructure. Trustworthiness is operationalized by three desiderata: demonstrable epistemic competence, falsifiability, and epistemically virtuous behavior. The surrounding infrastructure includes provenance chains, authorization chains, standardized logging protocols, mutual authentication, least privilege or sandboxing, and “knowledge sanctuaries” as protected repositories of foundational knowledge [2603.02960].

The practical stakes are high-stakes domains such as medical diagnostics, finance, and engineering, where AI may outperform humans on narrow tasks but responsible reliance still depends on rigorous validation, domain restriction, continuous auditing, and structures for second-guessing anomalous results. The broader risk vocabulary in this literature includes cognitive deskilling, epistemic drift, epistemic silos, epistemic distortion, verification crisis, epistemic homogenization or monocultures, and collective cognitive atrophy. A plausible implication is that, in AI contexts, EDs increasingly concern the conditions under which dependence remains defeasible and epistemically active rather than becoming uncritical submission or entrenched automation [2510.21043] [2603.02960].

## 7. Adjacent frameworks and boundary cases

Not every epistemic formalism that tracks informational constraint is an ED framework in the strict sense. In **Dynamic Epistemic Logic games with epistemic temporal goals**, the formal machinery consists of epistemic models, action models, product update, uniform strategies on indistinguishable histories, and \(\LTLK\) winning conditions. The framework proves undecidability in general, decidability for propositional actions with hierarchical information, \(\TWOEXPTIME\)-completeness for public actions, and \(\PSPACE\)-completeness for round-robin public announcements under a restricted fragment. However, it “does not define or study EDs as a separate notion”; the relation is indirect, through epistemic indistinguishability and strategy constraints rather than a dedicated ED formalism [2001.07141].

Other frameworks recover dependency structure without using the ED label. **Justification Epistemic Models (JEMs)** make justifications first-class objects and distinguish accepted justifications \({\cal A}\) from knowledge-producing justifications \({\cal E}\). Belief and knowledge are derived:
\[
\text{Sentence }F\text{ is believed if there is }t\in{\cal A}\text{ such that }\models_\ast t:F,
\]
\[
\text{Sentence }F\text{ is known if there is }t\in{\cal A}\cap{\cal E}\text{ such that }\models_\ast t:F.
\]
This framework is used to model Russell/Gettier-style cases in which a true proposition is justified and believed but not known because the accepted justification is not the knowledge-producing one. The dependency at issue is evidential rather than graph-theoretic or query-theoretic [1703.07028].

In probabilistic circuits, epistemic dependencies are operationalized as covariances among beta-distributed uncertain probabilities. Leaves are labeled by beta random variables, and the method propagates means and covariance matrices through circuit structure instead of assuming independence. For disjunction nodes,
\[
[X_n] = \sum_{c\in C} [X_c], \qquad [X_n, X_z] = \sum_{c\in C} [X_c, X_z],
\]
while conjunction nodes use first-order Taylor approximations for covariances. The paper’s point is that query and evidence terms can be strongly correlated, especially under shared subcomputations, so correct treatment of epistemic uncertainty requires dependency tracking rather than moment matching under independence assumptions [2102.10865].

A further boundary case is quantum computational semantics for epistemic operators. There, sentences are represented by density operators, and understanding and knowledge are quantum operations in an epistemic situation
\[
\mathrm{EpSit}_{a_t} = (\mathfrak{E}_{a_t}, \mathrm{EpD}_{a_t}, U_{a_t}, K_{a_t}).
\]
The framework enforces
\[
K_{a_t}\rho \preceq_{\mathfrak{E}_{a_t}} U_{a_t}\rho
\]
and hence
\[
\mathrm{ActKnowl}(a_t)\subseteq \mathrm{ActMem}(a_t),
\]
making explicit that knowledge depends on understanding. Knowledge operations are generally irreversible quantum channels, and teleportation is used as a model of memorizing and retrieving information [1602.07514].

These boundary cases clarify a common misconception: the phrase “epistemic dependency” does not name a single mature standard across logic, knowledge representation, AI, and privacy. In some areas it is a formal primitive; in others it is a reconstruction of how epistemic states are structured by justifications, uncertainty propagation, action observability, or authority relations.

Source: https://www.emergentmind.com/topics/epistemic-dependencies-eds