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 reasoningbased mathematical models and assumed or observed frequencies for certain categories, application of theoretical social models 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:
 Dating using a reference typology
 Use of parallels
In First Order Logic:
 I3(x) ⇒ E89(x)
Incoming properties:
Scope notes
Show  Scope note  Language  Namespace  View details  Comments 

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 reasoningbased mathematical models and assumed or observed frequencies for certain categories, application of theoretical social models 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.  en  CRMinf version 1.0  0 
Examples
Show  Example  Language  Namespace  View details  Comments 

Dating using a reference typology Use of parallels  en  CRMinf version 1.0  0 
Additional notes
Show  Notes  Type  Language  Namespace  View details  Comments 

Identifier: I3
Official URI: http://www.cidoccrm.org/extensions/crminf/I3_Inference_Logic
OntoME URI: https://ontome.net/ontology/c472
Labels
Label  Language  Last updated  View details  Comments 

Inference Logic *  en  20241009  0 
* : Standard label for this language
Namespace
Namespace  Last updated 

CRMinf version 1.0  20240916 
CRMinf version 0.7  20210507 
Parent classes
Class  Class namespace  Relation defined in  Justification  View details  Edit  Delete  Comments 

E89 Propositional Object  CIDOC CRM version 7.1.3  CRMinf version 1.0 

0 
Ancestor classes
Class  Depth  Class namespace  Via 

E1 CRM Entity  6  CIDOC CRM version 7.1.3  E89  E28  E71  E70  E77 
E28 Conceptual Object  2  CIDOC CRM version 7.1.3  E89 
E70 Thing  4  CIDOC CRM version 7.1.3  E89  E28  E71 
E71 HumanMade Thing  3  CIDOC CRM version 7.1.3  E89  E28 
E71 ManMade Thing  3  CIDOC CRM version 7.1.3  E89  E28 
E77 Persistent Item  5  CIDOC CRM version 7.1.3  E89  E28  E71  E70 
Thing  7  OntoME internal model  active version  E89  E28  E71  E70  E77  E1 
Child and descendant classes
Class  Depth  Class namespace  Via 

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 

Outgoing properties (inherited from ancestors)
Incoming properties (this class is range)
Domain  Property identifier  Range  Namespace 

I5 Inference Making  crminf:J3 applied (was applied by)  I3 Inference Logic  CRMinf version 1.0 
Incoming properties (inherited from ancestors)
Profiles using this class
Label  Version  Status  Last updated 

Silknow working profile  1  Ongoing  20231025 
Linked classes graph
Use mouse wheel to zoom in/out.
Comments
No comment found.