Dear all,
Issue 602
(https://cidoc-crm.org/Issue/ID-602-determine-the-interface-btw-crmsci-and-crminf)
is to consider whether class S5/I5 Inference Making should be in CRMsci
or CRMinf. Following some discussion in the HW group for this issue, the
proposal is that:
* I5/S5 Inference Making stays in CRMinf.
* its subclasses can be in CRMsci (or other extensions).
* S8 Categorical Hypothesis Building stays in CRMinf.
Rationale:
The scope of CRMinf is to define that there is a process of inference
making. The types of inference making depend on the methods and logics
used in various domains, so the subclasses of I5 Inference Making are
more appropriate in extensions dealing with these domains. Therefore S6
Data Evaluation and S7 Prediction make sense to be in CRMsci as these
are often employed in the research areas within the scope of CRMsci. S8
Categorical Hypothesis Building makes sense in CRMinf as the transition
from finite sets of observations (CRMsci, etc.) to induction of global
regularities is a basic inference mechanism in human thinking. The
theoretical analysis of inference mechanisms started in CRMinf was
limited to inferring particular facts only. But this does not mean that
CRMinf is restricted to that. Categorical Hypotheses are also
constituents of the inference logic applied in inferences about a
particular reality.
Happy to hear other views and I can prepare a WD for Rome.
All the best,
Thanasis
_______________________________________________
Crm-sig mailing list
[email protected]
http://lists.ics.forth.gr/mailman/listinfo/crm-sig
