Построение суперпозиции правил логического вывода — различия между версиями
Материал из 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$, и в случае такой возможности находит последовательность применяемых правил. |
\textbf{Указание.} | \textbf{Указание.} | ||
Текущая версия на 17:18, 28 декабря 2014