Inference Engine

• Full name: CWM - W3C Semantic Web Closed World Machine
• URL: http://www.w3.org/2000/10/swap/doc/cwm.html
• Inference Rule(s):
  • Name: ND and elimination
  • Description in English: If we know that both A and B are true we can conclude that A is true.
  • Rule Specification: '(and ' p q ')' |- p;; (Sent p q)
  • Specification Language: Proof Protocol for Deductive Reasoning (PPDR)
  • Example in English: If we know that the car is blue and it has two doors then we know that the car is blue.

  ---

  • Name: CWM-built-in function
  • Version: 1.0

  ---

  • Name: Direct assertion
  • Description in English: Direct assertion of a sentence, possibly by loading a sentence (or a set of sentences) from an existing knowledge base.
  • Rule Specification: |- p;; (Sent p)
  • Specification Language: Proof Protocol for Deductive Reasoning (PPDR)
  • Example in English: One might load the statement from the wines ontology that RedWine is a subclass of Wine.

  ---

  • Name: ND and introduction
  • Description in English: If we know that A is true and we know that B is true we can conclude that both A and B are true.

  ---

  • 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.