'inference principle' is correct and can be used in written English.
It is a term used in logic and philosophy to refer to the general idea that knowledge can be inferred from certain facts. For example, "John's inference principle was that one can draw reasonable conclusions from existing facts".
The stereo algorithm described in this section stems from the inference principle based on hierarchical belief propagation and energy minimization.
Perhaps one embraces a general inference principle like "from P, it is permissible to derive I believe that P", or "normally, if something is good, I want it".
Michael Slote (1982) attempted to refute the Consequence Argument by showing that the inference principle upon which the argument relies is invalid.
Indeed, the obviousness of this is enshrined in the modern logical calculus by the way the inference principle of Existential Instantiation (EI) usually works: from ∃xPx one assumes Pc, where 'c' is a new constant, and reasons on that basis; whatever can be inferred from P(c) (as long as it does not itself contain the new constant 'c') is then taken to be inferable from ∃xPx alone.
It should be pointed out, however, that although this theory implies a rejection of (P3), it does in fact accept a related inference principle i.e., if P x p is true at a certain moment of time, t, then □P x p will also be true at t. Thomason has shown that the supervaluation theory can in fact meet some of the basic challenges related to the future contingents.
Figure 1A illustrates the basic inference principle.
Proofs are made up of small steps, the primitive inference principles of the proof system.
Various studies investigate their test subjects' tendency to reason according to specific inference principles of NMLs.
The statistical inference principles presented is referred to as the "Neyman-Pearson principles".
If the analysis of logical consequence starts with a definition of proof in terms of simple inference rules, then it seems like an attractive possibility to take these inference principles as basic as definitions of the terms involved.
Originating at University of Arizona during the early 1970s, the program's first contributions were the life-history framework, models of inference, principles for studying the formation processes of the archaeological record, and expansions of nomothetic research in experimental archaeology and ethnoarchaeology.
