CommonRules technology overview
Java library, V1 prototype running.
- plan external alpha release 7/30/99 on AlphaWorks http://alphaworks.ibm.com
- piloting in EECOMS $29Million NIST ATP project (IBM, Baan, Boeing, universities, other co.’s)
Basic rule representation: Logic programs (LP’s).
- LP’s in declarative sense, not Prolog. E.g., forward or backward chaining.
- representation = syntax + deep semantics.
- semantics of rule set = its set of valid conclusions.