deep_causality_ethos 0.2.5

Programmable ethics for DeepCausality.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40

/*
 * SPDX-License-Identifier: MIT
 * Copyright (c) 2023 - 2026. The DeepCausality Authors and Contributors. All Rights Reserved.
 */

use crate::{DeonticError, TeloidTag, Verdict};
use deep_causality::{
    Context, Datable, ProposedAction, SpaceTemporal, Spatial, Symbolic, Temporal,
};

/// Defines the public API for a deontic reasoning engine.
#[allow(clippy::type_complexity)]
pub trait DeonticInferable<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,
{
    /// Evaluates a proposed action against the set of norms within a given context.
    ///
    /// # Arguments
    /// * `action` - A reference to the `ProposedAction` being evaluated.
    /// * `context` - A reference to the current `Context` providing the state of the world.
    /// * `tags` - A slice of `TeloidTag`s used to retrieve relevant norms from the tag index.
    ///
    /// # Returns
    /// A `Result` containing either:
    /// * `Ok(Verdict)` - A rich `Verdict` struct with the deontic outcome and justification.
    /// * `Err(DeonticError)` - An error indicating why the evaluation could not be completed.
    fn evaluate_action(
        &self,
        action: &ProposedAction,
        context: &Context<D, S, T, ST, SYM, VS, VT>,
        tags: &[TeloidTag],
    ) -> Result<Verdict, DeonticError>;
}