pr4xis 0.25.5

Axiomatic Intelligence — an ontology + category-theory reasoning engine: every claim derived from explicit axioms, with a proof path back to them
Documentation 
1
2
3
4
5
6
7
8
9
10
11

//! Situation calculus + STRIPS — substrate ontology grounding `engine/`.
//! Names Situation, Action, Fluent, Precondition, Plan, Trace, plus BDI
//! (Agent / Belief / Desire / Intention) per McCarthy (1963), Fikes &
//! Nilsson (1971), Reiter (2001), Bratman (1987).

pub mod ontology;

pub use ontology::{
    SituationCalculusCategory, SituationCalculusConcept, SituationCalculusOntology,
    SituationCalculusTradition,
};