Agents Interface

Action / Feedback interface

Make all interactions explicit between DeductiveAgent and the Proof state to allow for independent developpement of different kinds of DeductiveAgent.

class DeductiveAgent

Bases: ABC

Common interface for deductive agents

abstractmethod step(proof, rules)

Perform a single reasoning step on the given proof with given rules, and return if the agent is exausted.

Return type:

bool

Returns:

True if the agent is considered exausted, False otherwise.