Skip to main content

classify_mens_rea

qualia_core_db::modalities::deontic_compose

Function classify_mens_rea 

Source 
pub fn classify_mens_rea(
    norm: &NQuin,
    facts: &[NQuin],
    epistemic: &[NQuin],
    had_duty_to_know: bool,
) -> MensRea
Expand description

Classify the mens rea of a possible violation of norm by its bearer: F[α stit φ] is violated when α brought φ about; O[α stit φ] when α did not (omission). A violation is Knowing if α knew the forbidden/obligatory content, else Ignorant — upgraded to InexcusableIgnorance when had_duty_to_know.