normcore 0.1.1

Rust implementation baseline for NormCore normative admissibility evaluator
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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92

use crate::normative::models::GroundSet;
use crate::normative::models::KnowledgeNode;
use crate::normative::models::Modality;
use crate::normative::models::Scope;
use crate::normative::models::Statement;

pub struct GroundSetMatcher;

impl GroundSetMatcher {
    pub fn match_nodes(
        &self,
        statement: &Statement,
        knowledge_nodes: &[KnowledgeNode],
    ) -> GroundSet {
        let mut relevant = Vec::new();
        for k in knowledge_nodes {
            if self.is_relevant(statement, k) {
                relevant.push(k.clone());
            }
        }
        GroundSet { nodes: relevant }
    }

    fn is_relevant(&self, statement: &Statement, node: &KnowledgeNode) -> bool {
        match statement.modality {
            Some(Modality::Descriptive) => node.scope == Scope::Factual,
            Some(Modality::Assertive) | Some(Modality::Conditional) => {
                node.scope == Scope::Factual || node.scope == Scope::Contextual
            }
            Some(Modality::Refusal) => false,
            None => false,
        }
    }
}

#[cfg(test)]
mod tests {
    use super::GroundSetMatcher;
    use crate::normative::models::KnowledgeNode;
    use crate::normative::models::Modality;
    use crate::normative::models::Scope;
    use crate::normative::models::Source;
    use crate::normative::models::Statement;
    use crate::normative::models::Status;

    fn node(id: &str, scope: Scope) -> KnowledgeNode {
        KnowledgeNode::new(
            id.to_string(),
            Source::Observed,
            Status::Confirmed,
            1.0,
            scope,
            "strong".to_string(),
            None,
        )
        .expect("must create node")
    }

    fn statement(modality: Modality) -> Statement {
        Statement {
            id: "s1".to_string(),
            subject: "agent".to_string(),
            predicate: "participation".to_string(),
            raw_text: "text".to_string(),
            modality: Some(modality),
            conditions: vec![],
        }
    }

    #[test]
    fn descriptive_keeps_only_factual_nodes() {
        let matcher = GroundSetMatcher;
        let stmt = statement(Modality::Descriptive);
        let grounds = matcher.match_nodes(
            &stmt,
            &[node("f", Scope::Factual), node("c", Scope::Contextual)],
        );
        assert_eq!(grounds.nodes.len(), 1);
        assert_eq!(grounds.nodes[0].id, "f");
    }

    #[test]
    fn assertive_keeps_factual_and_contextual_nodes() {
        let matcher = GroundSetMatcher;
        let stmt = statement(Modality::Assertive);
        let grounds = matcher.match_nodes(
            &stmt,
            &[node("f", Scope::Factual), node("c", Scope::Contextual)],
        );
        assert_eq!(grounds.nodes.len(), 2);
    }
}