Module epistemic 

Bounded epistemic/probabilistic integration helpers.

Structs

AcceptedWorldViewEvidence

Evidence derived from an accepted epistemic world view.

CircuitUpdate

Result of applying an epistemic assumption to a circuit.

EpistemicAssumption

One bounded epistemic assumption compiled as evidence.

EpistemicCircuit

Bounded circuit state for epistemic/probabilistic fixtures.

EpistemicProbabilisticContract

Semantic contract between epistemic and probabilistic layers.

KnowledgeCompilerAdapter

Knowledge compiler adapter metadata used by bounded fixtures.

ProbabilityValue

Deterministic probability value with a comparison tolerance.

Enums

CircuitUpdateMode

Circuit update mode for assumption changes.

CompilerAdapterKind

Knowledge compiler adapter kind.

CompilerAdapterSupport

Implementation status for an adapter.

CompilerInputFormat

Compiler input format.

CompilerOutputFormat

Compiler output format.

EpistemicAssumptionKind

Epistemic assumption operator used as probabilistic evidence.

EpistemicEvidenceTerm

Concrete tuple key term for nonzero-arity epistemic evidence conditioning.

EpistemicProbabilisticRole

Role epistemic choices play in probabilistic compilation.

Constants

EPISTEMIC_PROBABILITY_TOLERANCE

Default tolerance for deterministic probability fixtures.

Functions

conditional_probability_from_logs

Convert log-space P(query and evidence) and P(evidence) into P(query | evidence).