МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ

Конструирование разрешающих структур на задачных графах системы знаний о программируемых задачах

А. В. Ильин

Институт проблем информатики РАН

Аннотация: Изложен метод конструирования разрешающих структур на задачных графах системы знаний о программируемых задачах. По спецификации исходной задачи ищется подграф задачного графа, все вершины которого представлены задачами с известными алгоритмами.

Реферативные базы данных:

•