Inference Engine
- Full name: Tailor Task Learner
- URL: http://www.isi.edu/ikcap/tailor/
- Version: 0.2
- Description in English: Tailor allows end users to modify procedure definitions through short sentences describing the desired change. The procedure knowledge is represented in the SPARK language and shown to the user with a simple language generation interface.
- 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.
Inference Web: [
Home |
Spec |
Browser |
IWBase |
Registrar |
Registry
]
Copyright 2009 Inference Web group.
All Rights Reserved.
