Epistemic Cognition — first pass
inference-rules operate on beliefs and produce new beliefs. Beliefs are represented by formulas. Whenever we construct a set of inference-rules, we must be careful to describe what the formulas are upon which they operate.
Generalized modus ponens (henceforth GMP):
From p1,...,pn and (p1&...&pn) -> q, infer q.
prefix notation (-> (& p1 ... pn) q)
Two kinds of formulas:
- strings. “That is a tiger”.
- conditionals with conjunctive antecedents (-> (& p1 ... pn) q), where p1,...,pn and q are strings.
(defun consequent (Q) (third Q))
(defun antecedent (Q) (second Q))
(eq (first (antecedent Q)) '&)))