Inference Making – I5
I5 Inference Making
Subclass of:
Superclass of:
Scope note:
This class comprises the action of making honest propositions and statements about particular states of affairs in reality or possible realities, or categorical descriptions of reality by using inferences from other statements based on hypotheses and any form of formal or informal logic. It includes evaluations, calculations, and interpretations, based on mathematical formulations and propositions.
It is characterized by the use of an existing I2 Belief as the premise that, taken together with a set of I3 Inference Logic, draws a further I2 Belief as a conclusion.
Documenting instances of I5 Inference making primarily enables tracing the dependency of knowledge from conclusion to premise through subsequent inferences possibly back to primary evidence, so that the range of influence of knowledge revision at any intermediate stage of complex inference chains on current convictions can be narrowed down by query. The explicit reference to the applied inference logic further allows scholars and scientists to assess if they can or would follow the documented argument. The class is not intended to promote the use of computationally decidable systems of logic as replacements of scholarly justifications of arguments, even though it allows for documenting the use of decidable logic, if that was deemed adequate for the problem at hand. Principles of scholarly justifications of arguments are also regarded as kinds of inference logic.
Examples:
My classification and dating of this bowl (fictitious)
In First Order Logic:
- I5(x) ⇒ I1(x)
- I5(x) ⇒ E13(x)
Outgoing properties:
Scope notes
Show | Scope note | Language | Namespace | View details | Comments |
---|---|---|---|---|---|
This class comprises the action of making honest propositions and statements about particular states of affairs in reality or possible realities, or categorical descriptions of reality by using inferences from other statements based on hypotheses and any form of formal or informal logic. It includes evaluations, calculations, and interpretations, based on mathematical formulations and propositions. It is characterized by the use of an existing I2 Belief as the premise that, taken together with a set of I3 Inference Logic, draws a further I2 Belief as a conclusion. Documenting instances of I5 Inference making primarily enables tracing the dependency of knowledge from conclusion to premise through subsequent inferences possibly back to primary evidence, so that the range of influence of knowledge revision at any intermediate stage of complex inference chains on current convictions can be narrowed down by query. The explicit reference to the applied inference logic further allows scholars and scientists to assess if they can or would follow the documented argument. The class is not intended to promote the use of computationally decidable systems of logic as replacements of scholarly justifications of arguments, even though it allows for documenting the use of decidable logic, if that was deemed adequate for the problem at hand. Principles of scholarly justifications of arguments are also regarded as kinds of inference logic. | en | CRMinf version 1.0 | 0 |
Examples
Show | Example | Language | Namespace | View details | Comments |
---|---|---|---|---|---|
My classification and dating of this bowl (fictitious) | en | CRMinf version 1.0 | 0 |
Additional notes
Show | Notes | Type | Language | Namespace | View details | Comments |
---|
Identifier: I5
Official URI: http://www.cidoc-crm.org/extensions/crminf/I5_Inference_Making
OntoME URI: https://ontome.net/ontology/c474
Labels
Label | Language | Last updated | View details | Comments |
---|---|---|---|---|
Inference Making * | en | 2024-10-09 | 0 |
* : Standard label for this language
Namespace
Namespace | Last updated |
---|---|
CRMinf version 1.0 | 2024-09-16 |
CRMinf version 0.7 | 2021-05-07 |
Parent classes
Class | Class namespace | Relation defined in | Justification | View details | Edit | Delete | Comments |
---|---|---|---|---|---|---|---|
I1 Argumentation | CRMinf version 1.0 | CRMinf version 1.0 |
|
0 | |||
E13 Attribute Assignment | CIDOC CRM version 7.1.3 | CRMinf version 1.0 |
|
0 |
Ancestor classes
Class | Depth | Class namespace | Via |
---|---|---|---|
E1 CRM Entity | 5 | CIDOC CRM version 7.1.3 | E13 - E7 - E5 - S15 |
E1 CRM Entity | 5 | CIDOC CRM version 7.1.3 | I1 - E7 - E5 - S15 |
E1 CRM Entity | 6 | CIDOC CRM version 7.1.3 | E13 - E7 - E5 - E4 - E2 |
E1 CRM Entity | 6 | CIDOC CRM version 7.1.3 | E13 - E7 - E5 - E4 - E92 |
E1 CRM Entity | 6 | CIDOC CRM version 7.1.3 | I1 - E7 - E5 - E4 - E2 |
E1 CRM Entity | 6 | CIDOC CRM version 7.1.3 | I1 - E7 - E5 - E4 - E92 |
E2 Temporal Entity | 5 | CIDOC CRM version 7.1.3 | E13 - E7 - E5 - E4 |
E2 Temporal Entity | 5 | CIDOC CRM version 7.1.3 | I1 - E7 - E5 - E4 |
E4 Period | 4 | CIDOC CRM version 7.1.3 | E13 - E7 - E5 |
E4 Period | 4 | CIDOC CRM version 7.1.3 | I1 - E7 - E5 |
E5 Event | 3 | CIDOC CRM version 7.1.3 | E13 - E7 |
E5 Event | 3 | CIDOC CRM version 7.1.3 | I1 - E7 |
E7 Activity | 2 | CIDOC CRM version 7.1.3 | E13 |
E7 Activity | 2 | CIDOC CRM version 7.1.3 | I1 |
E92 Spacetime Volume | 5 | CIDOC CRM version 7.1.3 | E13 - E7 - E5 - E4 |
E92 Spacetime Volume | 5 | CIDOC CRM version 7.1.3 | I1 - E7 - E5 - E4 |
Thing | 6 | OntoME internal model - active version | E13 - E7 - E5 - S15 - E1 |
Thing | 6 | OntoME internal model - active version | I1 - E7 - E5 - S15 - E1 |
Thing | 7 | OntoME internal model - active version | E13 - E7 - E5 - E4 - E2 - E1 |
Thing | 7 | OntoME internal model - active version | E13 - E7 - E5 - E4 - E92 - E1 |
Thing | 7 | OntoME internal model - active version | I1 - E7 - E5 - E4 - E2 - E1 |
Thing | 7 | OntoME internal model - active version | I1 - E7 - E5 - E4 - E92 - E1 |
S15 Observable Entity | 4 | CRMsci version 2.0 | E13 - E7 - E5 |
S15 Observable Entity | 4 | CRMsci version 2.0 | I1 - E7 - E5 |
Child and descendant classes
Class | Depth | Class namespace | Via |
---|---|---|---|
S6 Data Evaluation | 1 | CRMsci version 2.0 | |
S7 Simulation or Prediction | 1 | CRMsci version 2.0 | |
I17 Categorical Hypothesis Building | 1 | CRMinf version 1.0 |
Related classes
Relation | Class | Class namespace | Justification | Relation defined in | View details | Edit | Delete | Comments |
---|
Outgoing properties (this class is domain)
Domain | Property identifier | Range | Namespace |
---|---|---|---|
I5 Inference Making | crminf:J1 used as premise (was premise for) | I2 Belief | CRMinf version 1.0 |
I5 Inference Making | crminf:J3 applied (was applied by) | I3 Inference Logic | CRMinf version 1.0 |
Outgoing properties (inherited from ancestors)
Incoming properties (this class is range)
Domain | Property identifier | Range | Namespace |
---|
Incoming properties (inherited from ancestors)
Profiles using this class
Label | Version | Status | Last updated |
---|---|---|---|
Silknow working profile | 1 | Ongoing | 2023-10-25 |
Linked classes graph
Use mouse wheel to zoom in/out.
Comments
No comment found.