lsp-max 26.7.1

Law-state LSP runtime: max LSP 3.18 coverage, process-mining conformance, receipt-chain admission
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
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124

/// All breed names available in wasm4pm-cognition.
/// Source: wasm4pm-cognition/src/breeds/*.rs (excluding mod.rs, dispatch.rs, registration.rs,
/// registration.rs.backup, bayesian_network_test_script.rs, and the support/ subdirectory)
pub static KNOWN_BREEDS: &[&str] = &[
    "abductive_ibe",
    "abductive_lp",
    "act_r",
    "allen_temporal",
    "analogy_sme",
    "asp",
    "autoinstinct_learning",
    "autoinstinct_neurosis",
    "autoinstinct_semantics",
    "autoinstinct_vision",
    "bayesian_network",
    "belief_merging",
    "cbr",
    "circumscription",
    "clp",
    "construction_grammar",
    "contingent_plan",
    "csp_ac3",
    "ctl_check",
    "default_logic",
    "dempster_shafer",
    "dendral",
    "description_logic",
    "ebl",
    "episodic_memory",
    "event_calculus",
    "frame",
    "frames_inheritance",
    "fuzzy_logic",
    "gps",
    "hearsay",
    "htn_planning",
    "ilp",
    "ltl_monitor",
    "markov_logic",
    "mdp",
    "meta_reasoning",
    "morphological",
    "naive_physics",
    "ocpm_route_discoverer",
    "oracle_chain",
    "partial_order_plan",
    "pomdp",
    "problog",
    "production_rules",
    "prolog",
    "qualitative_reason",
    "rl_symbolic",
    "sat_cdcl",
    "script_sam",
    "situation_calculus",
    "soar",
    "standing",
    "strips",
    "tableaux",
    "triz",
    "version_space",
];

/// Breed category for structured search space partitioning.
///
/// Used to partition the TPOT2 search space so mutations prefer semantically
/// compatible breeds (e.g. swapping one logic-based breed for another).
#[derive(Debug, Clone, PartialEq, Eq)]
pub enum BreedCategory {
    /// Formal logic breeds: ASP, Prolog, description logic, SAT, tableaux, etc.
    LogicBased,
    /// Rule-learning and rule-application breeds: production rules, CBR, ILP, etc.
    RuleBased,
    /// Planning and action-selection breeds: STRIPS, HTN, MDP, POMDP, etc.
    PlanningBased,
    /// Probabilistic and uncertainty-handling breeds: Bayesian networks, Dempster-Shafer, etc.
    Probabilistic,
    /// Temporal and event-model breeds: LTL monitor, CTL check, Allen temporal, etc.
    Temporal,
    /// Memory and schema-based breeds: frames, SOAR, ACT-R, episodic memory, etc.
    MemoryBased,
    /// Meta-cognitive and constraint-solving breeds: meta-reasoning, belief merging, TRIZ, etc.
    MetaBased,
}

/// Returns the [`BreedCategory`] for a known breed name.
///
/// Unknown breed names default to [`BreedCategory::MetaBased`].
pub fn breed_category(breed: &str) -> BreedCategory {
    match breed {
        "asp" | "prolog" | "description_logic" | "circumscription" | "default_logic"
        | "sat_cdcl" | "tableaux" | "abductive_ibe" | "abductive_lp" | "clp" => {
            BreedCategory::LogicBased
        }

        "production_rules" | "dendral" | "cbr" | "analogy_sme" | "version_space" | "ebl"
        | "ilp" | "markov_logic" | "problog" => BreedCategory::RuleBased,

        "strips" | "htn_planning" | "gps" | "partial_order_plan" | "contingent_plan"
        | "situation_calculus" | "event_calculus" | "mdp" | "pomdp" | "rl_symbolic" => {
            BreedCategory::PlanningBased
        }

        "bayesian_network" | "dempster_shafer" | "fuzzy_logic" | "qualitative_reason" => {
            BreedCategory::Probabilistic
        }

        "ltl_monitor" | "ctl_check" | "allen_temporal" | "naive_physics" => BreedCategory::Temporal,

        "frame"
        | "frames_inheritance"
        | "hearsay"
        | "soar"
        | "act_r"
        | "episodic_memory"
        | "script_sam"
        | "construction_grammar"
        | "morphological" => BreedCategory::MemoryBased,

        "meta_reasoning" | "belief_merging" | "triz" | "csp_ac3" => BreedCategory::MetaBased,

        _ => BreedCategory::MetaBased,
    }
}