Declarative Rule

• Name: Generalized Modus Ponens
• Description in English: For atomic sentences si, si" and r, where there is a substitution T such that subst(T,si")=subst(T,si) for all i: s1",s2",...,sn",(s1^s2^...^sn => r) implies subst(T,r)
• Rule Specification: A; '(implies (and ' A ')' q ')' |- q;; (Sent A q)
• Specification Language: Proof Protocol for Deductive Reasoning (PPDR)
• Source(s):
  • Name: Artificial Intelligence: A Modern Approach
  • URL: http://www.cs.berkeley.edu/~russell/aima.html
  • Author(s):
    • Name: Peter Norvig
    • URL: http://www.norvig.com/

    ---

    • Name: Stuart Russell
    • URL: http://www.cs.berkeley.edu/~russell/

(Registration details...)

Copyright 2009 Inference Web group.
All Rights Reserved.