Deductive Reasoning Algorithm

From GM-RKB
Jump to navigation Jump to search

A Deductive Reasoning Algorithm is a reasoning algorithm that can be applied by a deductive reasoning system (that can solve a deductive reasoning task which requires a deductive argument).



References

2014

  • (Wikipedia, 2014) ⇒ http://en.wikipedia.org/wiki/deductive_reasoning Retrieved:2014-9-19.
    • Deductive reasoning, also deductive logic or logical deduction or, informally, "top-down” logic, [1] is the process of reasoning from one or more statements (premises) to reach a logically certain conclusion.

      Deductive reasoning links premises with conclusions. If all premises are true, the terms are clear, and the rules of deductive logic are followed, then the conclusion reached is necessarily true.

      Deductive reasoning (top-down logic) contrasts with inductive reasoning (bottom-up logic) in the following way: In deductive reasoning, a conclusion is reached reductively by applying general rules that hold over the entirety of a closed domain of discourse, narrowing the range under consideration until only the conclusion is left. In inductive reasoning, the conclusion is reached by generalizing or extrapolating from initial information. As a result, induction can be used even in an open domain, one where there is epistemic uncertainty. Note, however, that the inductive reasoning mentioned here is not the same as induction used in mathematical proofs – mathematical induction is actually a form of deductive reasoning.

2009

  • (Wordnet, 2009) ⇒ http://wordnet.princeton.edu/perl/webwn
    • S: (n) tax write-off, tax deduction, deduction (a reduction in the gross amount on which a tax is calculated; reduces taxes by the percentage fixed for the taxpayer's income bracket)
    • S: (n) deduction, discount (an amount or percentage deducted)
    • S: (n) deduction, entailment, implication (something that is inferred (deduced or entailed or implied)) "his resignation had political implications"
    • S: (n) deduction, deductive reasoning, synthesis (reasoning from the general to the particular (or from cause to effect))
    • S: (n) subtraction, deduction (the act of subtracting (removing a part from the whole)) "he complained about the subtraction of money from their paychecks"
    • S: (n) discount, price reduction, deduction (the act of reducing the selling price of merchandise)
  • http://en.wiktionary.org/wiki/deduction
    • 1. that which is deducted; that which is subtracted or removed
    • 2. a sum that can be removed from tax calculations; something that is written off. You might want to donate the old junk and just take the deduction.
    • 3. a conclusion; that which is deduced, concluded or figured out. He arrived at the deduction that the butler didn't do it.
    • 4. the ability or skill to deduce or figure out; the power of reason. Through his powers of deduction, he realized that the plan would never work.
    • 5. (logic)
      • a. a process of reasoning that moves from the general to the specific, in which a conclusion follows necessarily from the premises presented, so that the conclusion cannot be false if the premises are true.
      • b. a conclusion reached by this process