Правила експертної системи моніторингу: перевірка на повноту і несуперечливість
DOI:
https://doi.org/10.15276/opu.2.46.2015.19Ключові слова:
експертна система, моніторинг, візуалізація, І/АБО-граф, суперечливість, повнота, редактор правилАнотація
Стаття присвячена дослідженню підходів до побудови експертних систем моніторингу. Метою дослідження є скорочення часу і трудомісткості розробки і поліпшення якості баз знань експертних систем для моніторингу на основі візуалізації й інтелектуальної обробки правил. Розроблено модель візуалізації й структуризації правил експертних систем для моніторингу на основі І/АБО-графа, метод перевірки правил експертних систем моніторингу на суперечливість з використанням задачі SAT, метод перевірки правил експертних систем на повноту за допомогою «інверсних» правил. На цій основі запропоновано методику розробки експертних систем, що не є універсальною, а розрахована на системи моніторингу. Створено редактор правил і використано його при розробці бази знань для моніторингу виконання вимог щодо безпечної експлуатації електроустановок.
Завантаження
Посилання
Рассел, С. Искусственный интеллект: современный подход = 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).
