inference
act or process of deriving logical conclusions from premises known or assumed to be true
abductive reasoning
form of logical inference that seeks the best conclusion that explains a set of given observations
obversion
immediate inference
forward chaining
inference engine in an expert system
immediate inference
logical inference from a single statement
informal inferential reasoning
process of making a generalization based on data about a wider universe while taking into account uncertainty without using the formal statistical procedure or methods
deductive reasoning
method of reasoning by which premises understood to be true produce logically certain conclusions
statistical inference
process of deducing properties of an underlying probability distribution by analysis of data
backward chaining
method of forming inferences
causal inference
process of drawing a conclusion about a causal connection based on the conditions of the occurrence of an effect
cut rule
inference rule, generalisation of the modus ponens, in sequent calculus
fuzzy inference
the process of formulating the mapping from a given input to an output using fuzzy logic
disjunctive syllogism
inference rule in logics : with "A or B" and "not A" deduce "B"