ProofVerifier (Episteme API Documentation)

java.lang.Object

org.episteme.core.mathematics.logic.proof.ProofVerifier

public class ProofVerifier extends Object

Verifier for formal proofs.

Since:: 1.0
Author:: Silvere Martin-Michiellot, Gemini AI (Google DeepMind)

Constructor Summary

Constructors

Constructor

Description

ProofVerifier()
Method Summary

Modifier and Type

Method

Description

void

registerRule(String name, InferenceRule rule)

Registers an inference rule with a given name.

boolean

verify(Proof proof)

Verifies the validity of a proof.

Methods inherited from class Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- ProofVerifier
  
  public ProofVerifier()
Method Details
- registerRule
  
  public void registerRule(String name, InferenceRule rule)
  
  Registers an inference rule with a given name.
  
  Parameters:
  
  name - the name of the rule (e.g., "Modus Ponens")
  
  rule - the rule implementation
- verify
  
  public boolean verify(Proof proof)
  
  Verifies the validity of a proof.
  
  Parameters:
  
  proof - the proof to verify
  
  Returns:
  
  true if the proof is valid