Publication | Open Access
Inductive inference of VL decision rules
114
Citations
7
References
1977
Year
Decision ProcedureEngineeringAutomated ReasoningRule InductionRule LanguageVerificationKnowledge DiscoveryFormal MethodsGeneral Rule FormatRule-based SystemComputer ScienceDecision RulesInductive Logic ProgrammingInductive LogicFormal VerificationNew RulesInductive Inference
The problem considered is a transformation of a set of user given decision rules into a set of new rules which are more general than the original ones and more optimal with regard to a user defined criterion. The decision rules are expressed in the VL 21 logic system which permits a more general rule format than typically used, and facilitates a compact and easy to understand expression of descriptions of different degrees of generality. The paper gives a brief descriFtion of methodology for rule induction and of a computer program.
| Year | Citations | |
|---|---|---|
Page 1
Page 1