Mttbnchtt / ontology-and-proofs

Ontological analysis of mathematical proofs
Other
3 stars 1 forks source link

Add parameters to heuristic reasoner #51

Open Mttbnchtt opened 9 months ago

Mttbnchtt commented 9 months ago

Add parameters that allow one to exclude or include specific ontological concepts. For example, the ontology may include the notion of plane but one may exclude this notion for authors that do not talk explicitly about planes.