참고문헌
- 한국정보과학회논문지 v.19 no.1 지식 기반 시스템에서의 추론 Browser의 설계 박창현;유석인
- European J. Operational Research v.42 Knowledge Bases : Integration, Verification and Partitioning Botten,N.;A.Kusiak;T.Raz
- International Journal of Intelligent Systems v.16 Checking Depth-Limited Consistency and Inconsistency in Knowledge-Based Systems Brisoux,L.;Eric Gregoire;Lakhdar Sais
- Int'l J. Man-Machine Studies v.26 no.5 A Decision-Table Based Processor for Checking Completeness and Consistency in Rule-Based Expert Systems Cragun,B.;H.Steudel
- IEEE Trans. on Knowledge and data engineering v.9 no.1 Capture, integration, and analysis of digital system requirements with conceptual graphs Cyre,W.R.
- IEEE Trans. on Knowledge and data engineering v.5 no.1 Rule-Based Consistency Enforcement for Knowledge-Based systems Eick,C.F.
- IEEE Trans. on Knowledge and data engineering v.7 no.1 Compiling Conceptual Graphs Ellis,G.
- Mathematical and Computer Modelling v.18 no.7 A New Definition of Consistency of Pairwise Comparisons Koczkodaj,W.W.
- Proceedings of the 6th International Conference on Information and Knowledge Management Using Consistency-driven Pairwise Comparisons in Knowledge-Based Systems Koczkodaj,W.W.;Michael W. Herman
- Technique et Science Informatique v.5 no.1 Un system d'acquisition des connaissances pour systems experts LeBeux,P.;D.Fontaine
- Applied Intelligence v.6 no.4 Formal Verification of Some Potential Contradictions in Knowledge Base Usion a High Level Net Approach Liu,N.K.
- IEEE Trans. on systems, man and cybernetics v.21 no.1 Maintaining Consistency of Database During Monitoring of an Evolving Process by a Knowledge-Based System Morizet-Mahoudeaux, P.
- I.J.Man-Machine Studies v.30 Issues in the Verification of Knowledge in Rule-Based Systems Nazareth,D.L.
- Knowledge Acquisition v.3 Verification of Rule-Based Knowledge Using Directed Graphs Nazareth,D.L.;M.H.Kennedy
- IEEE Trans. on Knowledge and data engineering v.5 no.3 Investigating the Applicability of Petri Nets for Rule-Based System Verification Nazareth,D.L.
- Proc. 9th IJCAI Checking an Expert system knowledge base for consistency and completeness Nguyen,T.A.;N.A.Perkins;T.J.Laffey;D.Pecora
- AI Magazine v.8 no.2 Knowledge Based Verification Nguyen,T.A.;W.A.Perkins;T.J.Laffey;D.Pecora
- Lecture notes in computer Science, issue Combining Constraints and Consistency Techniques in Knowledge-Based Expert System Popescu,I.
- IEEE Trans. on Knowledge and data engineering v.9 no.2 Using directed hypergraphs to verify rule-based expert systems Ramaswamy,M.;S.Sarkar;YE-Sho Chen
- Expert Systems : Principles and Programming Riley,G.
- Int'l J. Expert System v.6 no.3 Verification of knowledge based redundancy and subsumption using graph transformations Valiente,G.