Abstract
The purpose of this paper is to use mathematical programming, including linear programming, dynamic programming, integer programming and goal programming to verify rule-based knowledge. We investigate both domain independent verification, exploiting the general structure of rules, and domain dependent verification, exploiting structure in the domain. Mathematical programming software is readily available and is very efficient. As a result, verification using mathematical programming can be very efficient at finding errors. Mathematical programming can be used to more than just find errors in knowledge representation. Once an error has been found, mathematical programming can be used to “recommend” an alternative. The recommendation can take into account the previous verified knowledge to mitigate the potential introduction of redundant knowledge and to help guide the choice process. Normally the development of recommendations to fix errors has been ignored in the verification literature, and treated as a separate knowledge acquisition task. Accordingly, this paper also extends the verification effort by providing a recommendation on how to fix errors.
Similar content being viewed by others
References
W. Adrion, M. Branstad and J. Cherniavsky, Validation, verification and testing of computer software, ACM Computing Surveys 14, 1982, 159–192.
D. Green, R. Meservy and S. Smith, Learning audit selection rules from data: A genetic algorithm approach, in:Expert Systems in Finance, D. O'Leary and P. Watkins, eds., North-Holland, Amsterdam, 1992, pp. 185–202.
G. Dantzig,Linear Programming, Princeton University Press, Princeton, NJ, 1963.
C. Landauer, Correctness principles for rule-based expert systems, Expert Systems with Applications 1, 1990, 291–316.
S. Lee,Goal Programming for Decision Analysis, Auerback Publishers, 1972.
W. Messier and J. Hansen, A case study and field evaluation of EDP-XPERT, International Journal of Intelligent Systems in Accounting, Finance and Management 1, 1992, 173–186.
R. McBride and D. O'Leary, The use of mathematical programming with artificial intelligence and expert systems, European Journal of Operational Research 70, 1993, 1–15.
T. Nguyen, W. Perkins, T. Laffey and D. Pecora, Knowledge based verification, AI Magazine 8, 1987, 69–75.
D. Nazareth, Investigating the applicability of Petri nets for rule-based verification, IEEE Transactions on Knowledge and Data Engineering 4, 1993, 402–415.
D. O'Leary, Design, Development, and Validation of Expert Systems: A Survey of Developers, Verification, Validation and Testing of Expert Systems, Wiley, 1991, pp. 3–19.
P. Steinbart, The construction of a rule-based expert system as a method for studying materiality judgments, Accounting Review 62, 1987, 97–116.
H. Wagner,Principles of Operations Research, Prentice-Hall, Englewood Cliffs, NJ, 1975.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
O'Leary, D.E., Schaffer, J. The use of mathematical programming to verify rule-based knowledge. Ann Oper Res 65, 181–193 (1996). https://doi.org/10.1007/BF02187331
Issue Date:
DOI: https://doi.org/10.1007/BF02187331