Struct ProbabilisticLogicNetwork 

pub struct ProbabilisticLogicNetwork { /* private fields */ }

Probabilistic Logic Network engine.

Maintains a hypergraph of atoms and links, executes PLN inference rules, and provides chain-search utilities.

Implementations

impl ProbabilisticLogicNetwork

pub fn new(config: PlnConfig) -> Self

Create a new PLN engine with the given configuration.

pub fn add_atom(&mut self, atom: PlnAtom) -> Result<(), PlnError>

Add an atom to the network.

Returns Err(PlnError::MaxAtomsExceeded) when the atom limit is reached. Silently replaces any existing atom with the same ID.

pub fn add_link(&mut self, link: PlnLink) -> Result<(), PlnError>

Add a link to the network.

The link is also registered as an atom so its TV can be queried via get_tv. All source_ids must already exist as atoms or links.

pub fn get_tv(&self, id: &str) -> Result<TruthValue, PlnError>

Return the truth value of an atom or link by ID.

pub fn infer( &mut self, rule: PlnInferenceRule, premise_ids: Vec<String>, ) -> Result<PlnInferenceResult, PlnError>

Apply an inference rule to the given premises.

Validates that the premises exist and that the rule can be applied, then returns a PlnInferenceResult describing the conclusion. The caller decides whether to materialise the conclusion via apply_inference.

pub fn apply_inference( &mut self, result: PlnInferenceResult, ) -> Result<(), PlnError>

Materialise an inference result.

• If the conclusion atom does not exist, it is created.
• If it exists and enable_revision is true, its TV is revised.
• If it exists and enable_revision is false, its TV is replaced.

pub fn find_chains( &self, from: &str, to: &str, max_depth: u8, ) -> Result<Vec<Vec<String>>, PlnError>

Find all inference chains from from to to up to max_depth hops.

Returns a list of paths, where each path is a sequence of atom/link IDs starting at from and ending at to.

pub fn most_confident(&self, n: usize) -> Vec<PlnAtom>

Return the top n atoms sorted descending by confidence.

pub fn uncertain_atoms(&self, threshold: f64) -> Vec<PlnAtom>

Return all atoms whose confidence is strictly below threshold.

pub fn stats(&self) -> PlnStats

Return a snapshot of current statistics.