Conditional Logic Rule

A Conditional Logic Rule is a logic sentence that connects the truth of a rule consequent with the truth of an rule antecedent such that if the antecedent is true then the consequent is true.

• AKA: Hypothetical Proposition, If-Then Rule.
• Context:
  • It must have an Antecedent(LHS) and a Consequent(RHS).
  • It can be in the form of LHS -> RHS.
  • It can be a member of a Production Rule Set (which can be within a Production Rule-based Computing System.
  • It can be represented in a Metasyntax, such as: Backus-Naur Form and EBNF.
  • It can range from being a Deterministic Production Rule to being a Probabilistic Production Rule.
  • It can be a member of a Production Rule Set.
  • …
• Example(s):
  • If x is True then y is False.
  • A Conditional Belief, such as: “if bats are mammals, then some mammals can fly”
• Counter-Example(s):
  • a Conditional Probability Function.
• See: Production Rule, Inference Rule, Material Conditional Relation, Context-Free Grammar, Predicate, Proposition, Implication Relation, Definite Clause, Conditional Sentence.

---

---

References

2010

• http://amsglossary.allenpress.com/glossary/browse
  • production rule: An IF–THEN rule for representing knowledge in a rule-based system.

• http://www.wiley.com/college/busin/icmis/oakman/outline/chap11/misc/glossary.htm
  • production rule: An if/then condition incorporated into the inference engine of an expert system.

• http://www.comsci.us/compiler/glossary/
  • production rule: A rule which define the composition of a nonterminal symbol from symbols of the grammar.

• http://www.expertise2go.com/webesie/tutorials/ESGloss.htm
  • Rule. A statement of the form: if <x> then <y> else <z>. The if part is the rule premise, and the then part is the consequent. The else component of the consequent is optional. The rule fires when the if part is determined to be true or false. Here is an example rule: If the credit rating is good and the amount of the sale is less than 10000; Then the decision is accept the sale; Else the decision is reject the sale.

• http://www.uky.edu/~rosdatte/phi120/glossary.htm
  • conditional statement: An if...then statement. The consequent is conditional upon the antecedent.

• http://www.philosophy.uncc.edu/mleldrid/logic/logiglos.html
  • Conditional Statement: A conditional statement is an if-then statement and consists of two parts, an antecedent and a consequent. The antecedent, or that which goes before, is preceded by the "if"; the consequent, or that which comes after, may be preceded by a "then". English sentences sometimes reverse the order: John studies hard if he thinks that he will do well in a class. But the logic of this sentence is: If John thinks that he will do well in a class, then he studies hard. Here the antecedent is "John thinks that he will do well in a class" and the consequent is "he studies hard".

• http://www.humboldt.edu/~mfg1/glossary.html.
  • Conditional sentence: A compount sentence in which one sentence is said to imply or entail another sentence.

2009

• http://www.cise.ufl.edu/research/ParallelPatterns/PatternLanguage/Background/Glossary.htm
  • Production rules. A mechanism to explain how knowledge is organized in cognitive psychology. A production rule is constructed from two propositions joined into a "condition-action" pair. One proposition is the goal, while the other defines the subgoal(s) that must be satisfied. These types of rules are important in many expert systems. [Anderson87] relates these rules to cognitive issues in programming. [Omerod90]

---