Struct Interval 

pub struct Interval {
    pub belief: f64,
    pub plausibility: f64,
}

The evidential bound on a claim: [belief, plausibility].

Two numbers rather than one, because a single probability cannot separate a contested claim from an unexamined one — both come out near the middle. See the module docs of crate::evidence.

Fields

belief: f64

evidence positively supporting the claim — the floor

plausibility: f64

evidence not ruling it out — the ceiling

Implementations

impl Interval

pub fn ignorance(&self) -> f64

The width of the interval: how much the corpus simply does not say.

Examples found in repository

examples/observations.rs (line 20)

fn main() {
    let docs: Vec<String> = [
        "Acme Corp supplies the Defence Ministry with airframes in 2026.",
        "Acme Corp supplies the Defence Ministry with sensors in 2026.",
        "Acme Corp is not permitted to supply the Defence Ministry in 2026.",
        "A field survey recorded Acme Corp near Violet City at 240 m.",
        "A field survey recorded Beta Corp near Violet City at 310 m.",
        "A field survey recorded Gamma Corp near Violet City at 180 m.",
        "Beta Corp supplies the Defence Ministry with airframes in 2026.",
        "Gamma Corp is not permitted to supply the Defence Ministry in 2026.",
    ].iter().map(|s| s.to_string()).collect();
    let db = steeldb::SteelDb::ingest(docs).unwrap();
    println!("categories: {:?}", db.askable());
    println!("\nrelation tags actually produced:");
    for t in db.tags().get("rel").map(|v| v.as_slice()).unwrap_or(&[]).iter()
        .filter(|t| t.contains("supplies") || t.contains("permitted/-")) { println!("{t}"); }
    println!("\nbelief intervals:");
    for t in ["state/asserted","state/negated"] {
        let i = db.belief(t);
        println!("{t:16} [{:.2}, {:.2}]   ignorance {:.2}", i.belief, i.plausibility, i.ignorance());
    }
    println!("\nverbatim refusal:");
    match db.query("gene/brca1") { Ok(_)=>{}, Err(r)=>println!("{r}") }
}

pub fn is_certain(&self) -> bool

Established: supported and unrefuted.

pub fn is_refuted(&self) -> bool

Refuted: nothing supports it and something rules it out.

pub fn is_unknown(&self) -> bool

Nobody said: no support, nothing against.

Trait Implementations

impl Clone for Interval

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Interval

impl Debug for Interval

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

Formats the value using the given formatter.

impl Display for Interval

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

Formats the value using the given formatter.

impl PartialEq for Interval

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Interval