Means or methods for reasoning from a "known" or given set of facts and assumptions to other facts and conclusions. There are multiple logic systems including inductive inference, Nonmonotone logic, Predicate Logic, as well as multiple deductive logic.