Построение суперпозиции правил логического вывода — различия между версиями

Материал из DISCOPAL
Перейти к: навигация, поиск
 
Строка 18: Строка 18:
 
Примером такой системы может быть треугольник: параметры~--- длины сторон, углы, площадь, радиусы окружностей, и~т.\,д., а правила~--- это все известные формулы и теоремы, связывающие параметры треугольника друг с другом.
 
Примером такой системы может быть треугольник: параметры~--- длины сторон, углы, площадь, радиусы окружностей, и~т.\,д., а правила~--- это все известные формулы и теоремы, связывающие параметры треугольника друг с другом.
  
Требуется построить эффективный алгоритм, который по заданным подмножествам $Z, W$ входных и выходных параметров, определяет возможность вывода $W$ через $Z$.
+
Требуется построить эффективный алгоритм, который по заданным подмножествам $Z, W$ входных и выходных параметров, определяет возможность вывода $W$ через $Z$, и в случае такой возможности находит последовательность применяемых правил.
  
 
\textbf{Указание.}
 
\textbf{Указание.}

Текущая версия на 20:18, 28 декабря 2014