3 Replies Latest reply: Sep 10, 2012 2:33 AM by Davin Fifield-Oracle RSS

    Inductive and deductive reasoning

    736936
      Does OPA support both inductive and deductive reasoning? Based on my understanding, OPA can only express inductive.
        • 1. Re: Inductive and deductive reasoning
          934083
          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
            Yes, OPA supports deductive reasoning, eg:

            the man is a bachelor if
            the man is unmarried
            • 3. Re: Inductive and deductive reasoning
              Davin Fifield-Oracle
              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.