Skip to main content

Module belief

Module belief 

Source
Expand description

Belief dependency graph with cycle detection

This module provides a directed graph model for dependencies between beliefs (hypotheses). It enables automatic cycle detection using Tarjan’s SCC algorithm and provides query APIs for dependency chains.

Structs§

BeliefGraph
Dependency graph for beliefs (hypotheses)
ReasoningSystem
Combined reasoning system with hypotheses and belief dependencies