inference rule

inference rule

(logic)
A procedure which combines known facts to produce ("infer") new facts. For example, given that

1. Socrates is a man and that 2. all men are motal,

we can infer that Socrates is mortal. This uses the rule known as "modus ponens" which can be written in Boolean algebra as

(A & A => B) => B

(if proposition A is true, and A implies B, then B is true).

Or given that,

1. Either Denis is programming or Denis is sad and 2. Denis is not sad,

we can infer that Denis is programming. This rule can be written

((A OR B) & not B) => A

(If either A is true or B is true (or both), and B is false, then A must be true).
References in periodicals archive ?
Key words: risk, uncertainty, project, fuzzy, inference rule
56) In some circumstances, courts are permitted to instruct juries on the adverse inference rule when there is an "unexplained failure or refusal of a party .
Other jurisdictions refer to this as the "adverse inference rule.
The schematic diagram for analyzing the suitable inference rule of stabilization method by the failure case is shown in fig 2.
When I use an earlier-instantiated step in an argument to combine with an inference rule, I rely on purely preservative memory.
The standard inference rule of Universal Generalization ([for all] x[phi] follows from [phi]) (16) is not a counterexample to the existence of deductive systems which satisfy extended correctness, but is an example of a not very good rule because it generates derivations that are not logical consequences, for example P(x) [?
Thus, in coming to believe that h expresses a law in a given possible world, we undertake the "root commitment" "that one result of carrying out the best set of inductive strategies for us to pursue, in order to learn what we want to know regarding this possible world, is belief in the reliability of the inference rule understood to correspond to h" (p.
The court found that the trial court did not err by failing to instruct the jury on the adverse inference rule.
In fact it is difficult to read diagrams with more than three curves and still more difficult to check whether an inference rule can be correctly applied to them since most of the rules are subject to rather complicated provisos.
It is difficult to apply the Bayesian inference rule at each step of the inference chain in a rule-based system.
Fuzzy inference rule is used to determine the relationship between linguistic variables and output variables.
Inference rule for demand priority Satisfaction Importance Low Medium High Low Very low Low Medium Medium Low Medium High High Medium High Very high Tab.