Michael Breen
Abstract
The combinatorial completion problem arises where one wishes to define a set of rules which collectively address all possible combinations of circumstances, as, for example, in a decision table. After some rules have been defined but, e.g., millions of cases remain to be addressed, how can the specifier best be helped to complete the remaining rules so that they cover every possible scenario? A novel technique is described based on providing interactive feedback to the user during rule definition. This can be used with non-tabular as well as tabular rules. Where previously quality would have depended on essentially sample-based approaches like testing, this technique makes it easy to adopt a rigorously complete approach to considering large numbers of possibilities.
- SAST User Manual. Technical Report Version 0.2, ATCNY (previously Odyssey Research Associates). Cornell Business & Technology Park, 33 Thornwood Drive, Suite 500. Ithaca, NY 14850-1250, U.S.A., 1993.Google Scholar
- John P. Seagle and Peter Duchessi. Acquiring expert rules with the aid of decision tables. European Journal of Operational Research, 84:150--162, 1995.Google ScholarCross Ref
- D. N. Hoover and Zewei Chen. Tbell: A mathematical tool for analyzing decision tables. Technical Report Contractor Report 195027, NASA Langley, Hampton, Virginia, 1994.Google Scholar
- D.N. Hoover and Z. Chen. Tablewise, a decision table tool. In Proc. of the 10th Annual Conference on Computer Assurance (COMPASS '95), Gaithersburg, MD, June 1995. IEEE.Google ScholarCross Ref
- Statestep website. http://statestep.com.Google Scholar
- Michael Breen. Experience of using a lightweight formal specification method for a commercial embedded system product line. Requirements Engineering Journal. (to appear). Google ScholarDigital Library
Index Terms
- Combinatorial completion by rule definition with interactive value colouring
Recommendations
Interactive rule correction, imputation and execution in rule-driven database completion system
2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC)This paper solves the problem of correcting database completion rules, imputing missing rule conditions, and executing them interactively and efficiently. Often in real-world scenarios, database completion rules have syntactic errors. Even after ...
Interactive multilevel definition of APL functions
An attempt is made to establish a convention that will make possible an interactive multilevel definition of APL functions. In accordance with this convention, functions can be defined at two levels: First an outline (flow-chart) is specified, this ...
Effect of rule weights in fuzzy rule-based classification systems
This paper examines the effect of rule weights in fuzzy rule-based classification systems. Each fuzzy IF-THEN rule in our classification system has antecedent linguistic values and a single consequent class. We use a fuzzy reasoning method based on a ...
Comments