SBVR Support for Inference: Logical Effects of Claims of Necessity and Obligation on Implications
Summary:
How would SBVR support the kind of inference needed for decisions or determinations (e.g., by rules as expressed in decision tables)? This discussion explains the logical underpinning of the appropriate approach. It is based on implications, which are treated differently under claims of necessity for facts vs. claims of obligation for facts. The requisite 'magic' happens under the former.
How would SBVR support the kind of inference needed for decisions or determinations (e.g., by rules as expressed in decision tables)? This discussion explains the logical underpinning of the appropriate approach. It is based on implications, which are treated differently under claims of necessity for facts vs. claims of obligation for facts. The requisite 'magic' happens under the former.
About our Contributor(s):
In The Spotlight
Online Interactive Training Series
In response to a great many requests, Business Rule Solutions now offers at-a-distance learning options. No travel, no backlogs, no hassles. Same great instructors, but with schedules, content and pricing designed to meet the special needs of busy professionals.