Rule-base content verification using a digraph-based modelling approach

Artificial Intelligence in Engineering

Volumn 13, Issue 3, 1999, Pages 321-336

  Gursaran, G S ^a   Kanungo, S ^b   Sinha, A K ^a  

^a DAYALBAGH EDUCATIONAL INSTITUTE   (India)

^b INDIAN INSTITUTE OF TECHNOLOGY DELHI   (India)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPH THEORY; KNOWLEDGE BASED SYSTEMS; MATHEMATICAL MODELS;

DIGRAPH MODELS;

ARTIFICIAL INTELLIGENCE;

EID: 0032633512     PISSN: 09541810     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0954-1810(99)00013-8     Document Type: Article

References (19)

1. Bruno G., Bruno G., Laface P. A rule-based system to schedule production. IEEE Computer. July:1986;32-40.
2. Molina A., et al. Review of computer-aided simultaneous engineering systems. Research in Engineering Design. 7:1995;38-62.
3. Guida G., Mauri G. Evaluating performance and quality of knowledge-based system: foundation and methodology. IEEE Transactions on Knowledge and Data Engineering. 5:(2):1993;204-224.
4. Suwa M., Scott A.C., Shortliffe E.H. An approach to verifying consistency and completeness in a rule based system. Buchanan B.G., Shortliffe E.H. Rule based expert systems. 1984;Addison-Wesley, Reading, MA.
5. Nguyen T.A., Perkins W.A., Laffey T.J., Pecora D. Knowledge-base verification. AI Magazine. 8:(2):1987;69-75.
6. Polat F., Guvenir H.A. UVT: a unification-based tool for knowledge-base verification. IEEE Expert. June:1993;69-75.
7. Nazareth D.L. Investigating the applicability of petri nets for rule-based system verification. IEEE Transactions on Knowledge and Data Engineering. 5:(3):1993;402-415.
8. Zhang D., Nguyen D. PREPARE: a tool for knowledge-base verification. IEEE Transactions on Knowledge and Data Engineering. 6:(6):1994;983-990.
9. Davis R. Interactive transfer of expertise. Buchanan B.G., Shortliffe E.H. Rule based expert systems. 1984;171-205 Addison-Wesley, Reading, MA.
10. Buchanan B.G., Shortliffe E.H. Rule based expert systems. 1984;Addison-Wesley, Reading, MA.
11. Suwa M., Scott A.C., Shortliffe E.H. An approach to verifying consistency and completeness in a rule based system. AI Magazine. 3:(4):1982;16-21.
12. Nguyen T.A. Verifying consistency of production systems. Proceedings of the Conference on Artificial Intelligence Applications. 1987;4-8.
13. Cragun B., Steudel H.J. A decision-table-based processor for checking completeness and consistency in rule-based expert systems. International Journal of Man-Machine Studies. 26:(2):1987;633-648.
14. Sage A.P. Methodology for large scale systems. 1977;McGraw-Hill, New York.
15. Warfield J.N. Societal systems: planning, policy and complexity. 1976;Wiley-Interscience, New York.
16. Fejer P.A., Simovici D.A. Mathematical foundations of computer science, volume I: sets, relations, and induction. 1991;Springer, New York.
17. Perkins W.A., Laffey T.J., Pecora D., Nguyen T.A. Knowledge base verification. Guida G., Tasso C. Topics in expert system design. 1989;363-376 Elsevier Science, North Holland, Amsterdam.
18. Steels L. Second generation expert systems. Future generation computer systems. 1:(4):1985;213-221.
19. Sasikumar M., Ramani S., Muthu Raman S., Anjaneyulu K.S.R., Chandrashekhar R. Rule based expert systems. 1993;Narosa, New Delhi.