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
24
25
26

// Module:  stdlib/stats/bayesian_inference.tern
// Purpose: Basic Bayesian Inference
// Author:  RFI-IRFOS
// Ref:     https://ternlang.com

// Bayesian updates in trit space.

fn prior_trit() -> trit {
    return tend; // Uninformative prior
}

fn likelihood_trit(data: trit, hypothesis: trit) -> trit {
    if data == hypothesis { return affirm; }
    return reject;
}

fn posterior_trit(prior: trit, likelihood: trit) -> trit {
    if prior == tend { return likelihood; }
    if likelihood == tend { return prior; }
    if prior == likelihood { return prior; }
    return tend; // Conflicting evidence
}

fn update_belief_trit(current_belief: trit, new_evidence: trit) -> trit {
    return posterior_trit(current_belief, new_evidence);
}