Using Directed Hypergraphs to Verity Rule-Based Expert Systems.

@article{DBLP:journals/tkde/RamaswamySC97,
  author    = {Mysore Ramaswamy and
               Sumit Sarkar and
               Ye-Sho Chen},
  title     = {Using Directed Hypergraphs to Verity Rule-Based Expert Systems},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {9},
  number    = {2},
  year      = {1997},
  pages     = {221-237},
  ee        = {db/journals/tkde/RamaswamySC97.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1997 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

References

[1]

Ritu Agarwal, Mohan Tanniru: A Petri-Net Based Approach for Verifying the Integrity of Production Systems. International Journal of Man-Machine Studies 36(3): 447-468(1992) BibTeX

[2]

...

[3]

...

[4]

...

[5]

Brian J. Cragun, Harold J. Steudel: A Decision-Table-Based Processor for Checking Completeness and Consistency in Rule-Based Expert Systems. International Journal of Man-Machine Studies 26(5): 633-648(1987) BibTeX

[6]

...

[7]

...

[8]

...

[9]

Allen Ginsberg: Knowledge-Base Reduction: A New Approach to Checking knowledge Bases for Inconsistency and Redundancy. AAAI 1988: 585-589 BibTeX

[10]

Frederick Hayes-Roth: Rule-Based Systems. Commun. ACM 28(9): 921-932(1985) BibTeX

[11]

...

[12]

...

[13]

V. Wiktor Marek: Completeness and Consistency in Knowledge Base Systems. Expert Database Conf. 1986: 119-126 BibTeX

[14]

...

[15]

Derek L. Nazareth: Issues in the Verification of Knowledge in Rule-Based Systems. International Journal of Man-Machine Studies 30(3): 255-271(1989) BibTeX

[16]

Derek L. Nazareth: Investigating the Applicability of Petri Nets for Rule-Based System Verification. IEEE Trans. Knowl. Data Eng. 5(3): 402-415(1993) BibTeX

[17]

...

[18]

Tin A. Nguyen, Walton A. Perkins, Thomas J. Laffey, Deanne Pecora: Knowledge-Base Verification. AI Magazine 8(2): 69-75(1987) BibTeX

[19]

...

[20]

...

[21]

Alun D. Preece: A New Approach to Detecting Missing Knowledge in Expert System Rule Bases. International Journal of Man-Machine Studies 38(4): 661-688(1993) BibTeX

[22]

Motoi Suwa, A. Carlisle Scott, Edward H. Shortliffe: An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System. AI Magazine 3(4): 16-21(1982) BibTeX

[23]

...

[24]

...