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

Материал из DISCOPAL
Перейти к: навигация, поиск
(Новая страница: « Категория:Предложенные студентами задачи <latex> \textbf{Задача} (Василий Бунаков, 974 гр.) …»)
 
Строка 8: Строка 8:
 
\textbf{Задача} (Василий Бунаков, 974 гр.)
 
\textbf{Задача} (Василий Бунаков, 974 гр.)
  
Некоторая область знаний содержит множество из $n$ параметров $\mathcal{X} = (x_1, x_2, \dots, x_n)$, связанных между собой $m$ правилами логического вывода:
+
Некоторая область знаний содержит $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