Rules of expert system for safety monitoring: checking on completeness and consistency
DOI:
https://doi.org/10.15276/opu.2.46.2015.19Keywords:
expert systems, monitoring, visualization, AND/OR-graph, consistency, completeness, rules editorAbstract
This paper researches approaches for building monitoring expert systems. Aim of the research is to reduce the time, the development man-hours and to improve the knowledge base quality of monitoring expert systems based on visualization and rules intelligent processing. Simplifying means not only less time for the rules base development, but also complexity level decrease that results in errors reduction. Model for monitoring rules visualization and structuring based on AND/OR-graph is developed; also methods for rules validation both of inconsistency using SAT problem and completeness using so called "inverse" rules are proposed. The technique for monitoring expert systems development on the basis of the proposed model and methods is created. Rules editor is established based on the proposed technique and is used to develop the knowledge base for monitoring the safe operation with electrical equipment.
Downloads
References
Рассел, С. Искусственный интеллект: современный подход = Artificial intelligence. A modern approach : пер. с англ. / С. Рассел, П. Норвиг. — 2-е изд. — М.: Вильямс, 2007. — 1407 с.
Abbasov, A.M. Model of the applicability of expert system based on neural networks technology and hybrid systems for decision making / A.M. Abbasov, S.N. Shahbazova // В кн.: Recent Developments and New Directions in Soft Computing / ed. by L.A. Zadeh, A.M. Abbasov, R.R. Yager, etc. — Heidelberg: Springer, 2014. — PP. 3—18.
Правила технічної експлуатації електроустановок споживачів: [затв. ... 25.07.2006 № 258 (у ред. наказу М-ва енергетики та вугіл. пром-сті України від 13.02.2012 №91)]. — Х.: Вид-во «Індустрія», 2012. — 318 с.
Джарратано, Д. Экспертные системы. Принципы разработки и программирование = Expert systems: principles and programming: пер. с англ. / Д. Джарратано, Г. Райли; [пер. с англ. К.А. Птицына]. — 4-е изд. — М.: Вильямс, 2007. — 1148 с.
Поспелова, Л.Я. Поиск противоречий в продукционных базах знаний / Л.Я. Поспелова, О.В. Чуканова // Научн. сессия МИФИ-2009. Сб. научн. трудов. Т. 5. Информационно-телекоммуникационные системы. — М.: НИЯУ МИФИ, 2009. — С. 23—27.
Долинина, О.Н. Применение методов технической диагностики для отладки баз знаний экспертных систем / О.Н. Долинина, А.К. Кузьмин // Вестник СГТУ. — 2008. — № 2(33). — С. 266—272.
Костин, А.В. Полнота, точность, неопределенность, недоопределенность и нечеткость в оценке стоимости. Согласование результатов оценки, основанное на нечеткой логике / А.В. Костин, В.В. Смирнов В.В. // Регистр оценщиков. — 2012. — № 11. — С. 56—65.
Lang, Q.A. AND/OR graph and search algorithm for discovering composite web services / Q.A. Lang, S.Y.W. Su // International Journal of Web Services Research. — 2005. — Vol. 2, Issue 4. — PP. 48—67.
Люгер, Дж.Ф. Искусственный интеллект: стратегии и методы решения сложных проблем = Artificial intelligence: structures and strategies for complex problem solving : пер. с англ. / Дж.Ф. Люгер; [пер. с англ. Н.И. Галагана и др.]. — 4-е изд. — М.: Вильямс, 2003. — 863 с.
Рувинская, В.М. Экспертная система по безопасной работе с электроустановками / В.М. Рувинская, Л.В. Беркович, А.С. Тройнина // Труды двенадцатой международной научно-практической конференции «Современные информационные и электронные технологии» (СИЭТ–2011), 23–27 мая, 2011 г., Одесса, Украина. — Одесса: Политехпериодика, 2011. — С. 78.
Cook, S.A. The complexity of theorem-proving procedures / S.A. Cook // Proceedings of the Third Annual ACM Symposium on Theory of Computing (STOC’71), May 3–5, 1971, Shaker Heights, Ohio, USA. — New York: ACM, 1971 — PP. 151—158.
JGraphX (JGraph 6) User Manual [Електронний ресурс] / JGraph Ltd. — Режим доступу: https://jgraph.github.io/mxgraph/docs/manual_javavis.html (Дата звернення: 10.04.2015).
