inference rule

inference rule

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).
This article is provided by FOLDOC - Free Online Dictionary of Computing (
References in periodicals archive ?
If any two B1 behaviors B11 and B12 have the relation of B11's output object corresponding to B12's object input, Rule-1 is the inference rule corresponding to this condition.
Probabilistic Reasoning used Bayesian inference rule to compute conditional probability thus finding the most relevant content, while Logic-based Reasoning uses logical statements or axioms to assist decision making [18].
Moreover, the following example is used to show that there does not exist inference relationship among decision rules, [disjunction]-rules, and [disjunction]-[conjunction] mixed rules, where the inference rule is described as follows [32]:
Rule number Rule description 1 If WMAN-Latency is Low then WMAN-Reject is Low 2 If WMAN-Latency is Medium then WMAN-Latency is Medium 3 If WMAN-Latency is High then WMAN-Latency is High TABLE 5: Inference rule for FLC-1.
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 ...
So for instance, the expression "A pool and contracts prices forecast that points out that the percentage difference between them will be negative in a considerable magnitude (1), together with a high trading agent's risk disposition (2), and an enterprise's stable financial liquidity level (3), produce a low trading level (4)", can be modeled as the following Fuzzy Inference rule:
Other jurisdictions refer to this as the "adverse inference rule." (10)
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) [??] [for all] xP(x), but P(x) [??] [for all] xP(x).