This discussion is archived
3 Replies Latest reply: Sep 10, 2012 12:33 AM by Davin Fifield RSS

Inductive and deductive reasoning

736936 Newbie
Currently Being Moderated
Does OPA support both inductive and deductive reasoning? Based on my understanding, OPA can only express inductive.
  • 1. Re: Inductive and deductive reasoning
    934083 Newbie
    Currently Being Moderated
    Yes, OPA supports deductive reasoning, eg:

    the man is a bachelor if
    the man is unmarried

    (or any of the mathematical functions featured)

    Edited by: 931080 on Sep 5, 2012 6:00 AM
  • 2. Re: Inductive and deductive reasoning
    934083 Newbie
    Currently Being Moderated
    Yes, OPA supports deductive reasoning, eg:

    the man is a bachelor if
    the man is unmarried
  • 3. Re: Inductive and deductive reasoning
    Davin Fifield Journeyer
    Currently Being Moderated
    What do you mean by inductive reasoning? What are you hoping to use OPA for?

    OPA is purely declarative deductive logic. I.e. if A is true if B is false, and B is false, then A is true.

    It can also tell you what information it needs to know in order to make those deductions. I.e. if you want to know if A is true, it will tell you it needs to know B.

    This is traditionally known as backward and forward chaining logic in rule engine parlance...but neither are "inductive" the way I understand that term.

    OPA also uses "if and only if" logic for all rules. I.e. in the example above, if B is true, then A is false. However, if B is not yet known, then A is said to also be unknown.


    Davin.

Legend

  • Correct Answers - 10 points
  • Helpful Answers - 5 points