Struct EffectEthos 

pub struct EffectEthos<D, S, T, ST, SYM, VS, VT>
where
    D: Datable + Clone,
    S: Spatial<VS> + Clone,
    T: Temporal<VT> + Clone,
    ST: SpaceTemporal<VS, VT> + Clone,
    SYM: Symbolic + Clone,
    VS: Clone,
    VT: Clone,
{ /* private fields */ }

The EffectEthos provides a reasoning engine for deontic inference. It encapsulates all the necessary components to evaluate a proposed action against a set of teleological norms (Teloids).

For more details, see section 5 (Causality as EPP) and 8 (Teleology) in The EPP reference paper: https://github.com/deepcausality-rs/papers/blob/main/effect_propagation_process/epp.pdf

Implementations

impl<D, S, T, ST, SYM, VS, VT> EffectEthos<D, S, T, ST, SYM, VS, VT>

where D: Datable + Clone, S: Spatial<VS> + Clone, T: Temporal<VT> + Clone, ST: SpaceTemporal<VS, VT> + Clone, SYM: Symbolic + Clone, VS: Clone, VT: Clone,

pub fn add_deterministic_norm( self, id: TeloidID, action_identifier: &str, tags: &[TeloidTag], predicate: fn(&Context<D, S, T, ST, SYM, VS, VT>, &ProposedAction) -> bool, modality: TeloidModal, timestamp: u64, specificity: u32, priority: u32, ) -> Result<Self, DeonticError>

Adds a new deterministic norm to the ethos using a builder-style pattern.

This high-level method simplifies the process of adding norms by accepting all necessary components as arguments, constructing the Teloid internally, and handling all necessary updates to the store, graph, and indices.

Arguments

• id - The unique identifier for the new norm.
• action_identifier - A string slice identifying the action this norm governs.
• tags - A slice of string tags for categorization.
• predicate - The function pointer that determines if the norm is active.
• modality - The deontic status (Obligatory, Impermissible, Optional).
• timestamp - The creation time of the norm for Lex Posterior.
• specificity - The specificity level for Lex Specialis.
• priority - The priority level for Lex Superior.

Returns

A Result containing self for method chaining, or a DeonticError if the id already exists.

pub fn add_uncertain_norm( self, id: TeloidID, action_identifier: &str, tags: &[TeloidTag], predicate: UncertainActivationPredicate<D, S, T, ST, SYM, VS, VT>, predicate_parameter: UncertainParameter, modality: TeloidModal, timestamp: u64, specificity: u32, priority: u32, ) -> Result<Self, DeonticError>

Adds a new uncertain norm to the ethos using a builder-style pattern.

pub fn get_norm( &self, id: TeloidID, ) -> Option<&Teloid<D, S, T, ST, SYM, VS, VT>>

Retrieves a reference to a norm by its unique identifier.

This method provides read-only access to a Teloid stored within the EffectEthos based on its TeloidID.

Arguments

• id - The unique identifier of the norm to retrieve.

Returns

An Option containing a reference to the Teloid if found, or None otherwise.

pub fn link_inheritance( self, parent_id: TeloidID, child_id: TeloidID, ) -> Result<Self, DeonticError>

Defines an inheritance relationship between two norms by their IDs.

Arguments

• parent_id - The ID of the more general norm.
• child_id - The ID of the more specific norm that inherits from the parent.

Returns

A Result containing self for method chaining, or a DeonticError if either ID is not found or the graph is frozen.

pub fn link_defeasance( self, defeater_id: TeloidID, defeated_id: TeloidID, ) -> Result<Self, DeonticError>

Defines a defeasance relationship between two norms by their IDs.

Arguments

• defeater_id - The ID of the norm that can defeat the other.
• defeated_id - The ID of the norm that can be defeated.

Returns

A Result containing self for method chaining, or a DeonticError if either ID is not found or the graph is frozen.

impl<D, S, T, ST, SYM, VS, VT> EffectEthos<D, S, T, ST, SYM, VS, VT>

where D: Datable + Clone, S: Spatial<VS> + Clone, T: Temporal<VT> + Clone, ST: SpaceTemporal<VS, VT> + Clone, SYM: Symbolic + Clone, VS: Clone, VT: Clone,

pub fn is_frozen(&self) -> bool

Checks if the internal graph is frozen for evaluation.

pub fn freeze(&mut self)

Freezes the internal graph for evaluation.

pub fn unfreeze(&mut self)

Unfreezes the internal graph for modification.

impl<D, S, T, ST, SYM, VS, VT> EffectEthos<D, S, T, ST, SYM, VS, VT>

where D: Datable + Clone, S: Spatial<VS> + Clone, T: Temporal<VT> + Clone, ST: SpaceTemporal<VS, VT> + Clone, SYM: Symbolic + Clone, VS: Clone, VT: Clone,

pub fn is_verified(&self) -> bool

pub fn verify_graph(&mut self) -> Result<(), DeonticError>

Verifies the integrity of the internal TeloidGraph, primarily checking for cycles. This is a required step before evaluation can proceed.

impl<D, S, T, ST, SYM, VS, VT> EffectEthos<D, S, T, ST, SYM, VS, VT>

where D: Datable + Clone, S: Spatial<VS> + Clone, T: Temporal<VT> + Clone, ST: SpaceTemporal<VS, VT> + Clone, SYM: Symbolic + Clone, VS: Clone, VT: Clone,

pub fn new() -> Self

Creates a new, empty EffectEthos.

pub fn from( teloid_store: TeloidStore<D, S, T, ST, SYM, VS, VT>, tag_index: TagIndex, teloid_graph: TeloidGraph, ) -> Self

Build an effect ethos

Trait Implementations

impl<D, S, T, ST, SYM, VS, VT> Clone for EffectEthos<D, S, T, ST, SYM, VS, VT>

where D: Datable + Clone + Clone, S: Spatial<VS> + Clone + Clone, T: Temporal<VT> + Clone + Clone, ST: SpaceTemporal<VS, VT> + Clone + Clone, SYM: Symbolic + Clone + Clone, VS: Clone + Clone, VT: Clone + Clone,

fn clone(&self) -> EffectEthos<D, S, T, ST, SYM, VS, VT>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<D, S, T, ST, SYM, VS, VT> Debug for EffectEthos<D, S, T, ST, SYM, VS, VT>

where D: Datable + Clone + Debug, S: Spatial<VS> + Clone + Debug, T: Temporal<VT> + Clone + Debug, ST: SpaceTemporal<VS, VT> + Clone + Debug, SYM: Symbolic + Clone + Debug, VS: Clone + Debug, VT: Clone + Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<D, S, T, ST, SYM, VS, VT> Default for EffectEthos<D, S, T, ST, SYM, VS, VT>

where D: Datable + Clone + Default, S: Spatial<VS> + Clone + Default, T: Temporal<VT> + Clone + Default, ST: SpaceTemporal<VS, VT> + Clone + Default, SYM: Symbolic + Clone + Default, VS: Clone + Default, VT: Clone + Default,

fn default() -> EffectEthos<D, S, T, ST, SYM, VS, VT>

Returns the “default value” for a type.

impl<D, S, T, ST, SYM, VS, VT> DeonticExplainable<D, S, T, ST, SYM, VS, VT> for EffectEthos<D, S, T, ST, SYM, VS, VT>

where D: Datable + Clone, S: Spatial<VS> + Clone, T: Temporal<VT> + Clone, ST: SpaceTemporal<VS, VT> + Clone, SYM: Symbolic + Clone, VS: Clone, VT: Clone,

fn explain_verdict(&self, verdict: &Verdict) -> Result<String, DeonticError>

Explains the reasoning behind a given verdict.

impl<D, S, T, ST, SYM, VS, VT> DeonticInferable<D, S, T, ST, SYM, VS, VT> for EffectEthos<D, S, T, ST, SYM, VS, VT>

where D: Datable + Clone, S: Spatial<VS> + Clone, T: Temporal<VT> + Clone, ST: SpaceTemporal<VS, VT> + Clone, SYM: Symbolic + Clone, VS: Clone, VT: Clone,

fn evaluate_action( &self, action: &ProposedAction, context: &Context<D, S, T, ST, SYM, VS, VT>, tags: &[TeloidTag], ) -> Result<Verdict, DeonticError>

Evaluates a proposed action against the established norms and beliefs within the EffectEthos system.

This method orchestrates the deontic inference process, which involves several key steps:

1. Graph State Check: Ensures the internal teloid graph is frozen and verified for acyclicity to guarantee a stable and reliable evaluation.
2. Filtering (Step 1): Identifies a candidate set of Teloids (norms/beliefs) relevant to the ProposedAction using a list of tags.
3. Activation (Step 2): Filters the candidate Teloids based on their activation predicates, which determine if a Teloid is applicable in the given Context.
4. Belief Inference & Conflict Resolution (Steps 3 & 4): Resolves any conflicts among the active Teloids to arrive at a final set of applicable norms.
5. Verdict Finding (Step 5): Derives a final Verdict based on the resolved norms.

Arguments

• action - A reference to the ProposedAction to be evaluated.
• context - A reference to the Context providing environmental and situational data.
• tags - A slice of TeloidTags used to retrieve relevant norms from the tag index.

Returns

A Result which is:

• Ok(Verdict) if a verdict can be successfully derived.
• Err(DeonticError) if the graph is not frozen, is cyclic, no relevant norms are found, no teloids are active, or if conflict resolution fails.