推論
ルイス・キャロルのパラドックス(Lewis Caroll's Paradox)、「亀がアキレスに言ったこと」(What the Tortoise Said to Achilles)
Reasoning
Abductive reasoning
Deductive reasoning
Inductive reasoning
Retroductive reasoning
Reasoning System
Entailment
Analogy
Axiom
Bayesian inference
Business rule
Business rules engine
Expert system
Fuzzy logic
Immediate inference
Inference engine
Inferential programming
Inquiry
Logic
Logic of information
Logical assertion
Logical graph
Nonmonotonic logic
Rule of inference
List of rules of inference
Theorem
Sherlock Holmes