Inference Definition/Meaning:

The formal method of reasoning that underlies logical deduction. Rules of inference provide the means whereby a logician or a theorem-p rover program may use previous results, theorems, or axioms to derive new results. See also prepositional calculus, predicate calculus.

Near by Terms: Inactive Incidence Matrix Incompleteness Theorems Incremental Compiler Incremental Plotter Indeterminate System Index Indexed Addressing (indexing) Indexed File Index Register Indicator Indirect Addressing Induction Inequality Inference Infix Notation Information Information Hiding Information Management System Information Processing Information Storage and Retrieval Information Structure Information System Information Technology (IT) Information Theory INGRES Trademark Inherent Addressing Inherently Ambiguous Language Inhibit Initial Algebra Initialization Injection (one-to-one function) Ink Jet Printer In-Line Program Inner Code Inorder Traversal Input Input Area Input Device Input-Limited Process Input/Output (I/O) Inquiry Station Inscribe Insert Instantiation Instruction (instruction word) Instruction Counter (current address register; program counter) Instruction Cycle Instruction Format  Instruction Register Instruction Repertoire Instruction Sequencing Instruction Set Instruction Stream Integer Multiplication and Division Integrated Circuit (IC) Integrated Injection Logic Integrity Intel Intelligent Copier Intelligent Terminal Interactive Interactive Graphics Interblock Gap (IBG) Interface Interior Path Length of a Tree Interleaving Interlock Intermediate Storage Internal Fragmentation Internet Protocol (IP) Internetworking   Interpolation Interpreter Interpretive Language Interrogation     Interrupt Interrupt Handler (IH) Interrupt I/O Interrupt Mask Interrupt Priority Intersegment Linking Interval Tuner Intrinsic Semiconductor (i-type semiconductor) Invariant Inverse Matrix Inverted File Inverter (negator) Involution Operation