Ticket #417 (new task)

Opened 2 years ago

Last modified 14 months ago

develop heuristics for comorphism and prover selection

Reported by: till Owned by: dodi
Priority: critical Milestone: 0.95
Component: comorphisms Version: 0.73
Keywords: Cc:

Description (last modified by mcodescu) (diff)

Develop the initial things in Comorphisms.KnownProvers into a heuristics for comorphism selection w.r.t. the task of proving goals, perhaps also with a learning component.

Also, a heuristics for prover selection according to classification into sublogics should be developed, e.g. extending that of MathServe?.

Change History

Changed 16 months ago by luecke

  • owner changed from maeder to mcodescu
  • priority changed from major to critical
  • milestone changed from 0.9 to 0.93

Ask Dominik Dietrich

Changed 15 months ago by till

  • description modified (diff)
  • summary changed from develop heurstics for comorphism selection to develop heurstics for comorphism and prover selection

Changed 14 months ago by mcodescu

  • description modified (diff)
  • summary changed from develop heurstics for comorphism and prover selection to develop heuristics for comorphism and prover selection

Changed 14 months ago by dodi

  • owner changed from mcodescu to dodi
Note: See TracTickets for help on using tickets.