РОССИЙСКАЯ АКАДЕМИЯ НАУК

ДАЛЬНЕВОСТОЧНОЕ ОТДЕЛЕНИЕ

Федеральное государственное бюджетное учреждение науки

Институт автоматики и процессов управления

МЕТОД КОНТРОЛЯ СОГЛАСОВАННОСТИ И ФОРМАЛЬНОЙ ПОЛНОТЫ МОДЕЛЕЙ

ИНТЕЛЛЕКТУАЛЬНОЙ ПРОГРАММНОЙ СИСТЕМЫ,

ПРЕДСТАВЛЯЕМЫХ СЕМАНТИЧЕСКИМИ СЕТЯМИ

Владивосток

2013

УДК 004.89

МЕТОД КОНТРОЛЯ СОГЛАСОВАННОСТИ И ФОРМАЛЬНОЙ ПОЛНОТЫ МОДЕЛЕЙ ИНТЕЛЛЕКТУАЛЬНОЙ ПРОГРАММНОЙ СИСТЕМЫ, ПРЕДСТАВЛЯЕМЫХ СЕМАНТИЧЕСКИМИ СЕТЯМИ. Владивосток: ИАПУ ДВО РАН, 2013, 48 с.

В работе обсуждается необходимость методов контроля качества моделей процесса разработки программных компонентов интеллектуальных систем, работающих с семантическими сетями. Такой метод необходим как часть проблемно-независимого метода управления программными компонентами интеллектуальной системы. Предложены списки контрольных случаев для каждого из трех направлений оценивания – формальной полноты, внешней и внутренней согласованности; эти списки могут расширяться по мере накопления опыта разработки приложений, работающими с семантическими сетями. Использование предложенных списков как метода оценивания артефактов разработки многоагентного решателя возможно при автоматизации процесса разработки сервисов на платформе IACPaaS.

Ключевые слова: интеллектуальная программная система, решатель задач, модели решателя, сопровождаемость, управляемость, программная единица, иерархическая семантическая сеть.

Работа рассчитана на специалистов в области искусственного интеллекта и технологии разработки программных систем, а также аспирантов и студентов соответствующих специальностей.

НЕ нашли? Не то? Что вы ищете?

 
Ответственный редактор д. ф.-м. н.

Рецензент д. т.н.

© Институт автоматики и процессов управления ДВО РАН

Введение. 1

Использование сетей при разработке моделей интеллектуального решателя. 5

Способы контроля моделей решателя программной системы, представляемых сетями. 7

Модели начальных стадий жизненного цикла в виде семантических сетей. 9

Онтология предметной области. 10

…... 11

Идентификатор ИБ: строка; 11

паспортные данные {ФИО: строка; пол: (м, ж); возраст: число; …}; 11

Концептуальная архитектура системы.. 12

Математическая постановка задачи. 13

Алгоритм решения задачи. 14

Проверка моделей начальных стадий. 15

Проверка формальной полноты моделей. 15

Проверка согласованности моделей. 16

Проверка внутренней согласованности. 16

Модели требуемой функциональности решателя и их проверка. 16

Проверка формальной полноты.. 17

Проверка согласованности моделей. 17

Проверка внутренней согласованности. 17

Модели требуемых связей функций с данными. 18

Проверка формальной полноты.. 18

Проверка согласованности моделей. 19

Проверка согласованности внутренняя. 19

Модель диалога с пользователем.. 19

Проверка формальной полноты.. 20

Проверка согласованности моделей. 20

Проверка согласованности внутренняя. 20

Архитектурная декомпозиция. 20

Проверка формальной полноты.. 21

Проверка согласованности моделей. 21

Проверка согласованности внутренняя. 21

Модель связей по управлению.. 22

Модель связей ПЕ по управлению «управляющий граф» (УГ) показывает, какие агенты посылают сообщения другим агентам и от кого получают. 22

Проверка формальной полноты.. 22

Проверка согласованности моделей. 22

Проверка согласованности внутренняя. 23

Дальнейшее проектное моделирование. 23

Проект информационных связей агентов. Проектные решения по информационным связям ПЕ – связям с хранилищами информации – могут быть зафиксированы в следующей модели, которая является аналогом диаграмм информационных потоков приложений или структурных карт Константайна. Эту модель (связи ИР с агентами) можно построить как расширение сети агентов, добавляя связи с ИР и указывая ПЕ-операции над этими ИР: для каждого обрабатывающего агента указываются множества обрабатываемых ИР и необходимых для такой обработки операций. Информация об ИР, необходимых агентам, зафиксирована в модели анализа - РМпЗ. 23

Проверка формальной полноты.. 24

Проверка согласованности моделей. 24

Проверка согласованности внутренняя. 24

Спецификации и проекты интерфейсов каждого агента. 24

Проверка формальной полноты.. 25

Проверка согласованности моделей. 25

Проверка согласованности внутренняя. 25

В каждом блоке агента должен быть уникальный (в пределах одной модели) шаблон входного сообщения. 25

Проект хранимого ИР. 26

Проект.. 26

Проект.. 26

Проверка формальной полноты.. 26

Проверка согласованности моделей. 26

Проверка согласованности внутренняя. 26

В АТД все имена операций уникальны в рамках одного АТД. 26

В списке параметров каждой операции один из входных параметров - ссылка на ИР данного типа. 26

Ни один из параметров не является ссылкой на поддерево этого ИР (т. к. операции дают доступ к структуре, «скрывая» ее на этом уровне). 26

Модель тестов для проверки функциональности решателя. 26

Проверка формальной полноты.. 28

Проверка согласованности моделей. 28

Проверка согласованности внутренняя. 28

Входные данные каждого теста должны отличаться от входных данных любого другого теста в этой модели. 28

Заключение. 28

Благодарности.. 29

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

жалобы и дневник наблюдений и обследований: ~set тройка <признак\наблюдение\событие, момент наблюдения, значение>; 47