Declarative Rule
- Name: Meet Service Precondition
- Description in English: This rule asserts that the preconditions to invoking a service have been met by the SDS "s". Currently this entails that the input "x" required to invoke service "r" can be translated from available input "a".
- Rule Specification:
(=> (and (haveInput ?s ?a))
(hasInput ?r ?x)
(haveTranslation ?a ?x))
(meetServicePrecondition ?s ?r))
- Specification Language: Knowledge Interchange Format (KIF)
- Source(s):
Inference Web: [
Home |
Spec |
Browser |
IWBase |
Registrar |
Registry
]
Copyright 2009 Inference Web group.
All Rights Reserved.
