Inference Engine

• Full name: KM - The Knowledge Machine
• URL: http://www.cs.utexas.edu/users/mfkb/RKF/km.html
• Source(s):
  • Name: The Knowledge Machine development team
  • URL: http://www.cs.utexas.edu/users/mfkb/km.html
  • Member(s):
    • Name: Bruce W. Porter
    • URL: http://www.cs.utexas.edu/users/porter/
    • Name: Peter E. Clark
    • URL: http://www.cs.utexas.edu/users/pclark/
• Inference Rule(s):
  • 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.

(Registration details...)

Copyright 2009 Inference Web group.
All Rights Reserved.