Программные средства реализации ассоциативного планирования

Текущей целью на четвертом шаге решения выбирается цель «найти величину MN», так как она лежит на самом дешевом пути. Для нее строится уточнение: найти величину FN, найти величину FM и вычислить MN по теореме косинусов; или найти FN и вычислить MN по теореме синусов. Поскольку цель «найти величину FN» лежит на двух путях в графе, на пятом шаге она выбирается текущей. Уточнение, построенное для этой цели, имеет вид: найти величину угла fnm и вычислить FN по теореме косинусов. При построении уточнения считается условно достигнутой цель «найти величину FM», входящая в контекст текущей цели.

На шестом шаге решения для уточнения выбирается цель «доказать, что AB является диаметром O», поскольку она лежит на одном из дешевых путей и является более трудной, чем остальные недостигнутые цели. С привлечением ассоциативного планирования строится уточнение цели: доказать, что MN является диаметром и записать, что AB диаметр, так как он является хордой окружности O, равной ее диаметру. На седьмом шаге цель «доказать, что MN является диаметром O» получает тривиальное уточнение: применить доказательство 215 (MN является диаметром, так как MN гипотенуза прямоугольного треугольника, около которого описана окружность O). В графе планирования появляется путь-решение, которому соответствует такое объяснение: Отрезок MN - диаметр окружности O, описанной около прямоугольного треугольника MNF, так как он является гипотенузой MNF. Сторона AB треугольника ABC является диаметром описанной около него окружности O, так как AB=MN - диаметру O. Угол acb - прямой, так как противолежащая ему в треугольнике ABC сторона AB является диаметром описанной около ABC окружности O. Площадь треугольника ABC вычисляется как S = 0.5*BC*AC*sin(acb) = 6.

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

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

программирование геометрический задача алгоритм

Литература

1. Вакин В. В., Корухова Л. С., Любимский Э. З., Малышко В. В. Ассоциативные методы планирования решений сложных задач. - М.: Препринт Института прикладной математики им. М. В. Келдыша РАН, № 81, 1997 г.

2. Корухова Л. С., Любимский Э. З. О процедурности и непроцедурности в задачах планирования целенаправленной деятельности. - М.: Известия Академии Наук. Серия: «Техническая кибернетика», № 5, стр. 72-78, 1994.

3. Корухова Л. С., Любимский Э. З., Малышко В. В. Реализация стратегий планирования на основе управляющих стереотипов. - М.: Препринт Института прикладной математики им. М. В. Келдыша РАН, № 13, 2000 г.

4. Forgy C. L. RETE: A fast algorithm for the many pattern / many object pattern match problem. Artificial Intelligence, Vol. 19, pp. 17-37, 1982.

5. Kolodner J. L. Case-Based Reasoning. Los Altos, CA: Morgan Kaufmann. 1993.

6. McDermott J. R1: a rule-based configurer of computer systems. Artificial Intelligence, Vol. 19, pp. 39-88. 1982.

7. Melis E., Whittle J. External Analogy in Inductive Theorem Proving. Proceedings of the 21^st German Annual Conference on Artificial Intelligence (KI-97). Albert-Ludwigs University. 1997.

8. Melis E. Proof Planning with Multiple Strategies. Proceedings of the 14^th Annual Conference of the Canadian Association for Distant Education (CADE-98). 1998.

9. Miranker D.P., Lofaso B.J. The organization and performance of a TREAT-based production system compiler. - The IEEE Transactions on Knowledge and Data Engineering. Vol. 3, No. 1, pp. 3-9 March 1991.

Размещено на Allbest.ru