Agent

Interface and implementations of Deductive Agents.

---

• Agent Builder
  • make_agent()
• Agents Interface
  • DeductiveAgent
    • DeductiveAgent.step()
    • DeductiveAgent.get_stats()
• Ddarn
  • DDARNStats
    • DDARNStats.agent_type
    • DDARNStats.max_level
    • DDARNStats.level_predicate_count
    • DDARNStats.model_config
  • DDARN
    • DDARN.get_stats()
    • DDARN.step()
• Follow Deductions
  • DeductionType
    • DeductionType.RULE
    • DeductionType.AR
    • DeductionType.NUM
    • DeductionType.REFLEXIVITY
  • CachedRuleDeduction
    • CachedRuleDeduction.deduction_type
    • CachedRuleDeduction.rule
    • CachedRuleDeduction.premises
    • CachedRuleDeduction.conclusions
    • CachedRuleDeduction.point_deps
    • CachedRuleDeduction.model_config
  • ARPremiseConstruction
    • ARPremiseConstruction.predicate_construction
    • ARPremiseConstruction.coefficient
    • ARPremiseConstruction.model_config
  • CachedARDeduction
    • CachedARDeduction.deduction_type
    • CachedARDeduction.ar_reason
    • CachedARDeduction.premises
    • CachedARDeduction.conclusions
    • CachedARDeduction.point_deps
    • CachedARDeduction.model_config
  • CachedNumericalCheckDeduction
    • CachedNumericalCheckDeduction.deduction_type
    • CachedNumericalCheckDeduction.conclusions
    • CachedNumericalCheckDeduction.model_config
  • CachedReflexivityDeduction
    • CachedReflexivityDeduction.deduction_type
    • CachedReflexivityDeduction.conclusions
    • CachedReflexivityDeduction.model_config
  • DeductionProvider
    • DeductionProvider.ordered_deductions_for_problem()
    • DeductionProvider.precomputation_input_str
  • FollowDeductionsStats
    • FollowDeductionsStats.agent_type
    • FollowDeductionsStats.n_deductions_stored
    • FollowDeductionsStats.n_deductions_followed
    • FollowDeductionsStats.model_config
  • FollowDeductions
    • FollowDeductions.get_stats()
    • FollowDeductions.step()
    • FollowDeductions.reset()
  • DoubleCheckError
• Human Agent
  • NamedFunction
    • NamedFunction.name
    • NamedFunction.function
  • HumanAgent
    • HumanAgent.select()
    • HumanAgent.step()
    • HumanAgent.match()
    • HumanAgent.update_server()
    • HumanAgent.add_construction()
    • HumanAgent.exhaust_with_ddarn()
    • HumanAgent.check()
    • HumanAgent.check_goals()