Detecting redundancy among production rules using term rewrite semantics

Knowledge-Based Systems

Volumn 12, Issue 1, 1999, Pages 3-11

  Schmolze, J G ^a   Snyder, W ^b  

^a TUFTS UNIVERSITY   (United States)

^b BOSTON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL LINGUISTICS; REDUNDANCY; SOFTWARE ENGINEERING;

PRODUCTION RULE SYSTEMS; TERM REWRITING;

KNOWLEDGE BASED SYSTEMS;

EID: 0032650683     PISSN: 09507051     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-7051(99)00003-9     Document Type: Article

References (25)

1. Hayes-Roth F. Rule-based systems. Communications of the ACM. 28:(9):1985;921-932.
2. Mockler R.J. Developing Knowledge-Based Systems Using an Expert System Shell. 1992;Macmillan, New York.
3. W. Snyder, J.G. Schmolze, Rewrite semantics for production rule systems: theory and applications, In Proceedings of the 13th International Conference on Automated Deduction, Rutgers University, NJ, USA, 1996.
4. Common H., Lescanne P. Equational problems and disunification. Journal of Symbolic Computation. 7:1989;371-425.
5. R.J. Waldinger, M.E. Stickel, Proving properties of rule-based-systems, Technical Report Technical Note 494, SRI International, December 1990.
6. Schmolze J.G. Guaranteeing serializable results in synchronous parallel production systems. Journal of Parallel and Distributed Computing. 13:(4):1991;348-365.
7. Raschid L. A semantics for a class of stratified production systems programs. Journal of Logic Programming. 21:(1):1994;31-57.
8. Raschid L., Lobo J. A semantics for a class of non-deterministic and causal production system programs. Journal of Automated Reasoning. 12:(3):1994;305-349.
9. H. Groiss, A Formal Semantics for mOPS5. In Proceedings of the Seventh IEEE International Conference on Tools with Artificial Intelligence, Washington, DC, November 1995.
10. Ceri S., Gottlog G., Tanca L. Programming and Databases. 1990;Springer, Berlin.
11. McCarthy J., Hayes P.J. Some philosophical problems from the standpoint of artificial intelligence. Meltzer B., Michie D. Machine Intelligence. 1969;Elsevier, Amsterdam.
12. Gamble R.F., Roman G.-C., Ball W.E., Cunningham H.C. The application of formal specification and verification to rule-based programs. International Journal of Expert systems. 7:(3):1994;303-338.
13. Roman G.-C., Cunningham H.C. Mixed programming metaphors in a shared dataspace model of concurrency. IEEE Transactions on Software Engineering. 16:(12):1990;1361-1373.
14. Sagiv Y. Optimizing datalog programs. Minker J. Foundations of deductive databases and logic programming. 1988;Kaufmann (Morgan), Los Altos, CA.
15. Ginsberg A., Williamson K. Inconsistency and redundancy checking for quasi-first-order-logic knowledge bases. International Journal of Expert Systems. 6:(3):1993;321-340.
16. de Kleer J. An assumption-based TMS. Artificial Intelligence. 28:1986;127-162.
17. Suwa M., Scorr A.C., Shortliffe E.H. An approach to verifying completeness and consistency in a rule-based expert system. AI Magazine. 3:1982;16-21.
18. Nguyen T.A., Perkins W.A., Laffey T.J., Pecora D. Knowledge base verification. AI Magazine. 8:(2):1987;69-75.
19. Zhang D., Nguyen D. PREPARE: a tool for knowledge base verification. IEEE Transactions on Knowledge and Data Engineering. 6:(6):1994;983-989.
20. Lee S., O'Keefe R.M. Subsumption anomalies in hybrid knowledge bases. International Journal of Expert Systems. 6:(3):1993;299-320.
21. Huet G. Confluent reductions: abstract properties and applications to TR systems. J. ACM. 27:(4):1980;797-821.
22. Go to statement considered harmful E.W. Dijkstra. Communications of the ACM. 11:(3):1968;147-148.
23. Nilson N.J. Principles of Artificial Intelligence. 1980;Tioga (Press), Palo Alto, CA.
24. Atkinlate D.J.S. CHESS 4.5 - the Northwestern university chess program. Frey P.W. Chess Skill in Man and Machine. 1977;82 Springer, Berlin.
25. D. McAllester, D. Rosenblitt, Systematic nonlinear planning, In Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91), Boston, MA, 1991, pp. 634-639.