Module epistemic 

Re-exports

pub use crate::modalities::modal::contract as agm_contract;

pub use crate::modalities::modal::expand as agm_expand;

pub use crate::modalities::modal::is_consistent as belief_set_consistent;

pub use crate::modalities::modal::revise as agm_revise;

pub use crate::modalities::modal::Belief;

Structs

EpistemicVerdict

Enums

EpistemicError

EpistemicStatus

Constants

CERTAINTY_AFFIRMS

CERTAINTY_BELIEVES

CERTAINTY_BIT_SHIFT

CERTAINTY_CONSIDERS

CERTAINTY_DOUBTS

CERTAINTY_KNOWS

CERTAINTY_RECOGNIZES

CERTAINTY_SPECULATES

CERTAINTY_SUPPOSES

CERTAINTY_SUSPECTS

NESTING_BIT_SHIFT

OP_BELIEVES

OP_COMMON_KNOWLEDGE

OP_INTENT_LOCK

OP_IS_LOCKED

OP_KNOWS

OP_NAMESPACE_IS_LOCKED

OP_NAMESPACE_LOCK

Functions

check_node_locks

Checks if any nodes requested by an intent quin are locked by another agent.

common_knowledge_via_announcement

Common knowledge C φ: practically established by a PUBLIC ANNOUNCEMENT to the whole group (everyone knows φ, everyone knows that everyone knows, ad infinitum). Holds iff the announcement was perceived by everyone.

distributed_knowledge

Distributed knowledge D φ: the group COLLECTIVELY knows φ by pooling — φ is entailed by the union of what agents individually know. Modelled over fact-fragments: φ is distributed- known iff every fragment in required appears in known (the union of all agents’ fragments).

evaluate_epistemic_frame

Evaluates a slice of Quins for epistemic/doxastic claims.

everyone_knows

Everyone-knows E φ: every agent in the group knows φ. agent_knows[i] = does agent i know φ?

muddy_child_knows

The Muddy Children deduction: after the public announcement “at least one is muddy”, each silent round eliminates a hypothesis; a muddy child deduces it is muddy exactly at round == num_muddy (1-indexed). Shows how common knowledge + iterated “I don’t know” produces knowledge. Returns whether a muddy child KNOWS its own state at round.

negative_introspection

Negative introspection (axiom 5, S5): ¬Kφ → K¬Kφ — not-knowing implies knowing one doesn’t.

positive_introspection

Positive introspection (axiom 4): Kφ → KKφ — knowing implies knowing that one knows.