Построение суперпозиции правил логического вывода — различия между версиями
Материал из DISCOPAL
Bunakov (обсуждение | вклад) (Новая страница: « Категория:Предложенные студентами задачи <latex> \textbf{Задача} (Василий Бунаков, 974 гр.) …») |
Bunakov (обсуждение | вклад) |
||
| Строка 8: | Строка 8: | ||
\textbf{Задача} (Василий Бунаков, 974 гр.) | \textbf{Задача} (Василий Бунаков, 974 гр.) | ||
| − | Некоторая область знаний содержит | + | Некоторая область знаний содержит $n$ параметров $\mathcal{X} = (x_1, x_2, \dots, x_n)$, связанных между собой $m$ правилами логического вывода |
| + | $\mathcal{F} = (f_1, f_2, \dots, f_m)$: | ||
$$ | $$ | ||
X_{out}^k = f_k(X_{in}^k),\quad X_{in}^k \subset \mathcal{X},\, X_{out}^k \subset \mathcal{X},\, | X_{out}^k = f_k(X_{in}^k),\quad X_{in}^k \subset \mathcal{X},\, X_{out}^k \subset \mathcal{X},\, | ||
| Строка 15: | Строка 16: | ||
где $X_{in}^k$~--- подмножество входных параметров, а $X_{out}^k$~--- выходных. | где $X_{in}^k$~--- подмножество входных параметров, а $X_{out}^k$~--- выходных. | ||
| − | Примером такой системы может быть треугольник: параметры~--- длины сторон, углы, площадь, радиусы окружностей, и~т.\,д., а правила~--- это все известные формулы и теоремы, связывающие параметры друг с другом. | + | Примером такой системы может быть треугольник: параметры~--- длины сторон, углы, площадь, радиусы окружностей, и~т.\,д., а правила~--- это все известные формулы и теоремы, связывающие параметры треугольника друг с другом. |
Требуется построить эффективный алгоритм, который по заданным подмножествам $Z, W$ входных и выходных параметров, определяет возможность вывода $W$ через $Z$. | Требуется построить эффективный алгоритм, который по заданным подмножествам $Z, W$ входных и выходных параметров, определяет возможность вывода $W$ через $Z$. | ||
Версия 17:13, 28 декабря 2014