Human Agent
Classical Breadth-First Search based agents.
- class NamedFunction(name, function)
Bases:
NamedTupleCreate new instance of NamedFunction(name, function)
-
name:
str Alias for field number 0
-
function:
Callable[...,Any] Alias for field number 1
-
name:
- class HumanAgent
Bases:
DeductiveAgent- classmethod select(options, allow_all=False, allow_none=False)
- Return type:
NamedFunction|None
- 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.
- match(match_rules)
- Return type:
None
- update_server(proof)
- Return type:
None
- add_construction(proof)
- Return type:
None
- exhaust_with_ddarn()
- Return type:
None
- check(proof)
- Return type:
None
- check_goals(proof)
- Return type:
None