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

# Inductive and deductive reasoning

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

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