Ddarn

Classical Breadth-First Search based agents.

class DDARN

Bases: DeductiveAgent

Apply Deductive Derivation to exhaustion by Breadth-First Search.

DDARN will match and apply all available rules level by level until reaching a fixpoint we call exhaustion.

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.