agent_logic.proofs.combinatorial_proofs

Classes

Automates proof verification by searching for valid proof sequences.

class agent_logic.proofs.combinatorial_proofs.CombinatorialProofs[source]

Bases: object

Automates proof verification by searching for valid proof sequences.

static brute_force_proof(goal, premises, max_depth=5)[source]

Tries all possible proof sequences up to max_depth steps. Returns the shortest valid proof if found, else None.

Return type:

Optional[Proof]

Parameters:

static validate_proof(proof)[source]

Validates whether a given proof follows logical derivation rules.