Inference Logic – I3
I3 Inference Logic
Subclass of:
Scope note:
This class comprises the rules used as inputs to I5 Inference Making.
In this context the term “logic” is used in the most general sense of the Greek term, and not in the mathematical sense only. Examples are the direct application of formal logic, mathematical theories and calculus, formal or informal default reasoning based on default values associated with categories, probabilistic reasoning based mathematical models and assumed or observed frequencies for certain categories, application of theoretical socialmodels and comparisons with “cultural parallels”, etc. An instance of Inference Logic could also be a reference to the exact software release of a Bayesian reasoner, a rule such as “later layers are on top of earlier layers”, or even a term like “social intuition”, if this is scholarly acceptable. (after Doerr, Kritsotaki and Boutsika 2011). Indeed anything that is scientifically or academically acceptable as a method for drawing conclusions may be included for instance human pattern recognition.
A particular instance of I3 Inference Logic would be the algorithm implemented in a particular revision of a software package.
Instances of I3 Inference Logic not only comprise the method of reasoning, but also the set of categorical laws or axioms used in the argumentation. Often both are inextricably interwoven, for instance in a software implementation.
Examples:
Use of a typology
Use of parallels
In First Order Logic:
- I3(x) ⊃ E89(x)
Incoming properties:
Scope Notes
| Show | Scope note | Language | Namespace | View details | Comments |
|---|
Examples
| Show | Example | Language | Namespace | View details | Comments |
|---|---|---|---|---|---|
| Use of a typology | en | WIP | 0 | ||
| Use of parallels | en | WIP | 0 |
Additional notes
| Show | Notes | Language | Namespace | View details | Comments |
|---|
Identifier : I3
Labels
| Label | Language | Last updated | View details | Comments |
|---|---|---|---|---|
| Inference Logic * | en | 2019-01-23 | 0 |
* : Standard label for this language
Namespace
| Namespace | Last updated |
|---|---|
| CRMinf version 0.7 | 2019-12-04 |
Parent classes
| Class | Justification | Defined in namespace | View association |
|---|---|---|---|
| E89 Propositional Object |
|
CRMinf version 0.7 |
Ancestor classes
| Class | Depth | Defined in namespace |
|---|
Childs and descendant classes
| Class identifier | Depth | Defined in namespace |
|---|
Related classes
| Relation | Class | Justification | Defined in namespace | View details |
|---|
Outgoing properties (this class is domain)
| Domain | Property identifier | Range | Namespace |
|---|
Outgoing properties (inherited from ancestors)
| Domain | Property identifier | Range | Namespace |
|---|---|---|---|
| I3 Inference Logic (is a E1 CRM Entity) | P1 is identified by | E41 Appellation | CIDOC CRM version 6.2 |
| I3 Inference Logic (is a E1 CRM Entity) | P2 has type | E55 Type | CIDOC CRM version 6.2 |
| I3 Inference Logic (is a E1 CRM Entity) | P3 has note | E62 String | CIDOC CRM version 6.2 |
| I3 Inference Logic (is a E1 CRM Entity) | P48 has preferred identifier | E42 Identifier | CIDOC CRM version 6.2 |
| I3 Inference Logic (is a E1 CRM Entity) | P137 exemplifies | E55 Type | CIDOC CRM version 6.2 |
| I3 Inference Logic (is a E1 CRM Entity) | L47 has comment | E62 String | CRMdig version 3.2 |
| I3 Inference Logic (is a E1 CRM Entity) | L4 has preferred label | E62 String | CRMdig version 3.2 |
| I3 Inference Logic (is a E1 CRM Entity) | L53 is not uniquely identified by | E62 String | CRMdig version 3.2 |
| I3 Inference Logic (is a E1 CRM Entity) | geovP7 existence is deduced from | geovC7 Data entity | Geovistory ongoing |
| I3 Inference Logic (is a E1 CRM Entity) | geovP12 same as | E1 CRM Entity | Geovistory ongoing |
| I3 Inference Logic (is a E1 CRM Entity) | geovP13 derived from | E1 CRM Entity | Geovistory ongoing |
| I3 Inference Logic (is a E1 CRM Entity) | histP31 time-independent entity association | E1 CRM Entity | CIDOC CRM Generic Extension for Historical Data Management and Interoperability, ongoing |
| I3 Inference Logic (is a E28 Conceptual Object) | P149 is identified by | E75 Conceptual Object Appellation | CIDOC CRM version 6.2 |
| I3 Inference Logic (is a E70 Thing) | P43 has dimension | E54 Dimension | CIDOC CRM version 6.2 |
| I3 Inference Logic (is a E70 Thing) | P101 had as general use | E55 Type | CIDOC CRM version 6.2 |
| I3 Inference Logic (is a E70 Thing) | P130 shows features of | E70 Thing | CIDOC CRM version 6.2 |
| I3 Inference Logic (is a E71 Man-Made Thing) | P102 has title | E35 Title | CIDOC CRM version 6.2 |
| I3 Inference Logic (is a E71 Man-Made Thing) | P103 was intended for | E55 Type | CIDOC CRM version 6.2 |
| I3 Inference Logic (is a E89 Propositional Object) | P67 refers to | E1 CRM Entity | CIDOC CRM version 6.2 |
| I3 Inference Logic (is a E89 Propositional Object) | P129 is about | E1 CRM Entity | CIDOC CRM version 6.2 |
| I3 Inference Logic (is a E89 Propositional Object) | P148 has component | E89 Propositional Object | CIDOC CRM version 6.2 |
| I3 Inference Logic (is a S15 Observable Entity) | O12 has dimension (is dimension of) | E54 Dimension | CRMsci version 1.2.3 |
Incoming properties (this class is range)
| Domain | Property identifier | Range | Namespace |
|---|---|---|---|
| I5 Inference Making | J3 applies | I3 Inference Logic | CRMinf version 0.7 |
Incoming properties (inherited from ancestors)
| Domain | Property identifier | Range | Namespace |
|---|---|---|---|
| E1 CRM Entity | geovP12 same as | I3 Inference Logic (is a E1 CRM Entity) | Geovistory ongoing |
| E1 CRM Entity | geovP13 derived from | I3 Inference Logic (is a E1 CRM Entity) | Geovistory ongoing |
| E1 CRM Entity | histP31 time-independent entity association | I3 Inference Logic (is a E1 CRM Entity) | CIDOC CRM Generic Extension for Historical Data Management and Interoperability, ongoing |
| E2 Temporal Entity | histP1 involves | I3 Inference Logic (is a E1 CRM Entity) | CIDOC CRM Generic Extension for Historical Data Management and Interoperability, ongoing |
| E2 Temporal Entity | histP30 has identity defining component | I3 Inference Logic (is a E1 CRM Entity) | CIDOC CRM Generic Extension for Historical Data Management and Interoperability, ongoing |
| E5 Event | P12 occurred in the presence of | I3 Inference Logic (is a E77 Persistent Item) | CIDOC CRM version 6.2 |
| E7 Activity | P15 was influenced by | I3 Inference Logic (is a E1 CRM Entity) | CIDOC CRM version 6.2 |
| E7 Activity | P16 used specific object | I3 Inference Logic (is a E70 Thing) | CIDOC CRM version 6.2 |
| E7 Activity | P17 was motivated by | I3 Inference Logic (is a E1 CRM Entity) | CIDOC CRM version 6.2 |
| E7 Activity | P19 was intended use of | I3 Inference Logic (is a E71 Man-Made Thing) | CIDOC CRM version 6.2 |
| E13 Attribute Assignment | P140 assigned attribute to | I3 Inference Logic (is a E1 CRM Entity) | CIDOC CRM version 6.2 |
| E13 Attribute Assignment | P141 assigned | I3 Inference Logic (is a E1 CRM Entity) | CIDOC CRM version 6.2 |
| E16 Measurement | P39 measured | I3 Inference Logic (is a E1 CRM Entity) | CIDOC CRM version 6.2 |
| E17 Type Assignment | P41 classified | I3 Inference Logic (is a E1 CRM Entity) | CIDOC CRM version 6.2 |
| E24 Physical Man-Made Thing | P62 depicts | I3 Inference Logic (is a E1 CRM Entity) | CIDOC CRM version 6.2 |
| E31 Document | P70 documents | I3 Inference Logic (is a E1 CRM Entity) | CIDOC CRM version 6.2 |
| E32 Authority Document | P71 lists | I3 Inference Logic (is a E1 CRM Entity) | CIDOC CRM version 6.2 |
| E36 Visual Item | P138 represents | I3 Inference Logic (is a E1 CRM Entity) | CIDOC CRM version 6.2 |
| E63 Beginning of Existence | P92 brought into existence | I3 Inference Logic (is a E77 Persistent Item) | CIDOC CRM version 6.2 |
| E64 End of Existence | P93 took out of existence | I3 Inference Logic (is a E77 Persistent Item) | CIDOC CRM version 6.2 |
| E65 Creation | P94 has created | I3 Inference Logic (is a E28 Conceptual Object) | CIDOC CRM version 6.2 |
| E70 Thing | P130 shows features of | I3 Inference Logic (is a E70 Thing) | CIDOC CRM version 6.2 |
| E73 Information Object | geovP2 mentions | I3 Inference Logic (is a E1 CRM Entity) | Geovistory ongoing |
| E81 Transformation | P123 resulted in | I3 Inference Logic (is a E77 Persistent Item) | CIDOC CRM version 6.2 |
| E81 Transformation | P124 transformed | I3 Inference Logic (is a E77 Persistent Item) | CIDOC CRM version 6.2 |
| E83 Type Creation | P136 was based on | I3 Inference Logic (is a E1 CRM Entity) | CIDOC CRM version 6.2 |
| E89 Propositional Object | P129 is about | I3 Inference Logic (is a E1 CRM Entity) | CIDOC CRM version 6.2 |
| E89 Propositional Object | P148 has component | I3 Inference Logic (is a E89 Propositional Object) | CIDOC CRM version 6.2 |
| E89 Propositional Object | P67 refers to | I3 Inference Logic (is a E1 CRM Entity) | CIDOC CRM version 6.2 |
| histC1 Time-related Persistent Item Characteristic | histP4 pertains to | I3 Inference Logic (is a E77 Persistent Item) | CIDOC CRM Generic Extension for Historical Data Management and Interoperability, ongoing |
| histC2 Geographical localisation | histP12 is location of | I3 Inference Logic (is a E1 CRM Entity) | CIDOC CRM Generic Extension for Historical Data Management and Interoperability, ongoing |
| F31 Performance | R66 included performed version of | I3 Inference Logic (is a E89 Propositional Object) | FRBRoo version 2.4 |
| F35 Nomen Use Statement | R38 refers to thema | I3 Inference Logic (is a E1 CRM Entity) | FRBRoo version 2.4 |
| F40 Identifier Assignment | R45 assigned to | I3 Inference Logic (is a E1 CRM Entity) | FRBRoo version 2.4 |
| F51 Pursuit | R59 had typical subject | I3 Inference Logic (is a E1 CRM Entity) | FRBRoo version 2.4 |
| F52 Name Use Activity | R63 named | I3 Inference Logic (is a E1 CRM Entity) | FRBRoo version 2.4 |
| histC10 Appellation for language | histP9 isAppellationOf | I3 Inference Logic (is a E1 CRM Entity) | CIDOC CRM Generic Extension for Historical Data Management and Interoperability, ongoing |
| S4 Observation | O16 observed value (value was observed by) | I3 Inference Logic (is a E1 CRM Entity) | CRMsci version 1.2.3 |
| S4 Observation | O8 observed (was observed by) | I3 Inference Logic (is a S15 Observable Entity) | CRMsci version 1.2.3 |
| S6 Data Evaluation | O11 described (was described by) | I3 Inference Logic (is a S15 Observable Entity) | CRMsci version 1.2.3 |
| S21 Measurement | O24 measured (was measured by) | I3 Inference Logic (is a S15 Observable Entity) | CRMsci version 1.2.3 |
| socE Bond | socP4 to | I3 Inference Logic (is a E77 Persistent Item) | CRMsoc version 0.1 ongoing |
| geovC1 [Geovistory] Digital | geovP11 refers to | I3 Inference Logic (is a E1 CRM Entity) | Geovistory ongoing |
| D2 Digitization Process | L60 documents | I3 Inference Logic (is a E1 CRM Entity) | CRMdig version 3.2 |
| D29 Annotation Object | L43 annotates | I3 Inference Logic (is a E1 CRM Entity) | CRMdig version 3.2 |
| geovC7 Data entity | geovP8 corresponds to | I3 Inference Logic (is a E1 CRM Entity) | Geovistory ongoing |
Profiles using this class
| Label | Start date | End date | Last updated |
|---|
Linked classes graph
Use mouse wheel to zoom in/out.
Comments
No comment found.