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.

get_stats()

Get the statistics of the agent.

Return type:: Union[DDARNStats, FollowDeductionsStats, None]