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