ternlang-core 0.3.3

Compiler and VM for Ternlang — balanced ternary language with affirm/tend/reject trit semantics, @sparseskip codegen, and BET bytecode execution.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

// Module:  stdlib/safety/uncertainty_quant.tern
// Purpose: Uncertainty Quantification
// Author:  RFI-IRFOS
// Ref:     https://ternlang.com

// Decomposes uncertainty into aleatoric (data) and epistemic (model).

fn aleatoric_trit(noise_level: float) -> trit {
    if noise_level > 0.5 { return tend; } // Irreducible noise
    return affirm; // Clear signal
}

fn epistemic_trit(model_variance: float) -> trit {
    if model_variance > 0.3 { return tend; } // Model is unsure, needs data
    return affirm;
}

fn total_uncertainty_trit(alea: trit, epis: trit) -> trit {
    if alea == tend { return tend; }
    if epis == tend { return tend; }
    if alea == epis { return affirm; }
    return reject; // Error in calculation
}