Проведение исследования программы, порождающей тестовые данные для демонстрации особенностей различных вариантов метода автоматического порождения гипотез. Существенная характеристика генерации примеров тестов для простого и обобщенного ДСМ-метода.
При низкой оригинальности работы "Генератор тестовых примеров для различных вариантов метода автоматического порождения гипотез", Вы можете повысить уникальность этой работы до 80-100%
Для этого введем следующие предикатные переменные: · start_jsm (LISTEL, First, Last, [Elnum | Rest], Fin) - 5-арная предикатная переменная, описывающая отношение между параметрами, задаваемыми пользователем (LISTEL, First, Last, [Elnum | Rest]), и конечным результатом работы системы правил (Fin): o LISTEL - список элементов рассматриваемой причины, o First и Last - начало и конец диапазона атомов, образующих объекты, пересечением которых является рассматриваемая причина, o Fin - список объектов, пересечением которых является упомянутая выше причина, o [Elnum | Rest] - список, который для каждого объекта содержит количество элементов, не входящих в рассматриваемую причину, указывается первый элемент списка (Elnum) и оставшиеся элементы (Rest); · final_list (LISTEL, First, Last, Elnum, List) - 5-арная предикатная переменная, имеющая смысл, аналогичный предыдущей предикатной переменной: o LISTEL, First, Last, Elnum понимаются так же, как и в предыдущем предикате, o List - список элементов одного из объектов, содержащих причину; · list (LISTEL, First, Last, Elnum, List1) - 5-арная предикатная переменная, которая описывает отношение между данными, задаваемыми пользователем (LISTEL, First, Last, Elnum), и порождаемым с помощью генератора псевдослучайных чисел списком элементов, не входящих в причину (List1): o LISTEL, First, Last, Elnum понимаются так же, как и в первом предикате, o List1 - список элементов, не входящих в причину; · rest_els (Els) - унарная предикатная переменная, используемая для сохранения списков элементов, не входящих в причину: o Els - список списков элементов, не входящих в причину (для каждого объекта формируется свой список элементов, не входящих в причину); Генерация тестовых примеров для простого ДСМ-метода может быть записана как следующая система правил: % пополнение списка объектов, содержащих причину start_jsm (LISTEL, First, Last, [Elnum | Rest], Fin) - final_list (LISTEL, First, Last, Elnum, List), start_jsm (LISTEL, First, Last, Rest, [List | Fin]).
Список литературы
1. [Виноградов, 1999] Виноградов Д. В. Логические программы для квазиаксиоматических теорий // НТИ. Сер 2. 1999. № 1-2.
2. [Виноградов, 2001] Виноградов Д. В. Корректные логические программы для правдоподобных рассуждений // НТИ. Сер. 2. 2001. №5.
3. [Финн, 1991] Финн В.К., Правдоподобные рассуждения в интеллектуальных системах типа ДСМ. // Итоги науки и техники. Сер. Информатика. 1991. Т. 15 (Интеллектуальные информационные системы).
4. [Efimova et al, 2006] Efimova E., Safronova O., Vinogradov D. A Prototype of JSM-system in Visual Prolog // Proceedings of the First Visual Prolog Applications and Language Conference. Prolog Development Center. 2006.
Размещено на .ru
Вы можете ЗАГРУЗИТЬ и ПОВЫСИТЬ уникальность своей работы
