Метод управления прямым логическим выводом в интеллектуальных системах с дискретными доменами переменных


https://doi.org/10.15217/issn1684-8853.2015.1.29

Полный текст:


Аннотация

Введение: в гибких дискретных системах (экспертных, информационно-аналитических и др.) существует проблема остановки процесса вычислений, т. е. выявления шага обработки, после которого необходимо изменить режим работы системы (например, выдать сигнал ошибки или изменить направление логического вывода). В настоящей работе предлагается применить для этого универсальные эвристические индикаторы хода вывода, которые можно конкретизировать для реальных типов данных. Такие индикаторы позволяют оценить успешность продвижения к цели вывода и принять решение о его прекращении или продолжении. Результаты: предложен метод управления ходом прямого логического вывода в гибких дискретных интеллектуальных системах, основанный на эвристических теоретико-множественных индикаторах хода вывода, которые анализируют текущие подмножества возможных, истинных и ложных значений переменных и прекращают цепочку вывода в случае ее неперспективности (невозможности сузить уже полученный диапазон возможных значений целевой переменной) или возникновения конфликта, например получения пустого множества возможных значений. Разработанный метод управления выводом использует интегральные оценки успешности процедур вывода по критериям «здравого смысла», к которым можно отнести коэффициенты уверенности, расчет мер доверия и недоверия (шансов) к гипотезам с учетом использованных и еще не использованных свидетельств, идеи ДСМ-метода и т. п. Практическая значимость: представленные в работе правила обработки продукций и эмпирические индикаторы хода логического вывода в гибких дискретных системах позволяют оценить успешность продвижения к цели вывода и принять решение о его прекращении или продолжении.

Об авторах

Александр Яковлевич Фридман
Институт информатики и математического моделирования Кольского научного центра РАН
Россия


Борис Александрович Кулик
Институт проблем машиноведения РАН
Россия


Вугар Гариб Курбанов
Институт проблем машиноведения РАН
Россия


Список литературы

1. Закревский А. Д. Решение больших систем логических уравнений. - Минск: ОИПИ НАН Беларуси, 2009. - 96 с.

2. Ganter B., Wille R. Formal Concept Analysis. Mathematical Foundations. - Springer Verlag, 1996. - 17 p.

3. Кулик Б. А., Зуенко А. А., Фридман А. Я. Алгебраический подход к интеллектуальной обработке данных и знаний. - СПб.: Изд-во Политехнического ун-та, 2010. - 235 c.

4. Фридман А. Я., Фридман О. В., Зуенко А. А. Ситуационное моделирование природно-технических комплексов. - СПб.: Изд-во Политехнического унта, 2010. - 436 с.

5. Перовская Е. И. Основы гибкой автоматизации/ ЛИАП. - Л., 1986. - 32 с.

6. Фридман О. В., Фридман А. Я. Ситуационное моделирование сложных природно-технических объектов с учетом аспектов безопасности // Вестник КНЦ РАН. 2013. Вып. 3. С. 71-79.

7. Цаленко М. Ш. Моделирование семантики в базах данных. - М.: Наука, 1989. - 288 с.

8. Вальковский В. А. Семантика манипуляций с базой данных интеллектуальных систем // НТИ. 1984. Сер. 2. № 3. С. 14-19.

9. Кулик Б. А., Курбанов В. Г., Фридман А. Я. Теория отношений как инструмент семантического анализа данных и знаний// Вестник Санкт-Петербургского университета. 2010. Сер. 10. Вып. 4. С. 1-11.

10. Попов Э. В. Экспертные системы: Решение неформализованных задач в диалоге с ЭВМ. - М.: Наука, 1987. - 288 с.

11. Алгоритм перевода коэффициентов нечеткой логики в коэффициенты уверенности при разработке экспертной системы в среде GURU. http:// dspace.bsu.edu.ru/bitstream/123456789/3480/1/ Zaitseva% 20T.V_Computer.pdf (дата обращения: 06.09.2013).


Дополнительные файлы

Для цитирования: Фридман А.Я., Кулик Б.А., Курбанов В.Г. Метод управления прямым логическим выводом в интеллектуальных системах с дискретными доменами переменных. Информационно-управляющие системы. 2015;(1):29-34. https://doi.org/10.15217/issn1684-8853.2015.1.29

For citation: Fridman A.Y., Kulik B.A., Kurbanov V.G. Course Indicators for Forward Logical Inference upon List Variables. Information and Control Systems. 2015;(1):29-34. (In Russ.) https://doi.org/10.15217/issn1684-8853.2015.1.29

Просмотров: 24


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1684-8853 (Print)
ISSN 2541-8610 (Online)