Declarative Rule
- Name: Service Chain Success
- Description in English: This rule asserts if the SDS "s" is able to construct a service chain around effect service "r". The conclusion will be true for an effect service "r" if the preconditions and postconditions for invoking "r" have been met.
- Rule Specification:
(=> (and (haveEffectService ?s ?r)
(meetPreconditionForService ?s ?r)
(meetPostConditionForService ?s ?r))
(serviceChainSuccess ?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.
