-
Способ решения задачи - разбиение задачи на подзадачи. Изменение пространства задачи - как выход из системы. Пример изменения представления.
Способ решения задачи - разбиение задачи на подзадачи. Кроме конечной задачи можно обычно выделить несколько подзадач, решение которых помогает в нахождении решения основной задачи. (Разбиение продолжается рекурсивно.)
Все зависит от того, как представляется «пространство проблемы» - то есть оттого, что кажется упрощением задачи (движением к цели) и что - усложнением задачи (движением от цели). Польза разбиения задачи на подзадачи (упрощения проблемы) зависит от того, каким образом эта задача представлена у человека в голове. То, что в определенном пространстве выглядит как отступление, в ином пространстве может быть революционным шагом вперед. Многие проблемы разворачиваются не в физическом, а в некоем концептуальном пространстве. Если разбиение задачи на подзадачи приводит к неудаче, то это не означает, что следует отказываться от упрощения задач - напротив, это весьма полезный прием.
Изменение пространства задачи - как выход из системы. При решении проблемы можно действовать по фиксированным, «жестким» правилам, используя конкретное представление пространства задачи – это значит, находиться в некоторой системе. Или можно изменить представление задачи - это означает, выход из системы и взгляд на проблему со стороны.
Пример изменения представления. Изменения представления знаний во время решения задачи - основной путь ее решения. В представлении знаний при решении математических задач существенным является то, каким образом и как находят доказательство. Способ действия математика включает три различные фазы:
1. Понять теорему, заданную на формальном языке, т.е. перевести ее в некоторое внутреннее представление.
2. Доказать теорему в этом внутреннем представлении.
3. Перевести найденное еще не полное доказательство в строгое математическое доказательство, введя символическую формализацию обычного математического языка.
-
Какие следующие утверждения истинны?
1. В Прологе единственная структура данных - термы.
2. Структура характеризуется своим функтором. Не допускается использовать структуры с одинаковым функтором и разной местностью (арностью).
3. Мы задаем вопросы, используя термы в качестве целей.
4. Структура относится к рекурсивному типу данных.
5. Переменная - это "забронированное" место. Любой терм может заменить переменную, но для разных вхождений переменной в структуру не обязательно должна иметь место одна и та же замена.
6. Когда два терма унифицируются, переменные в них заменяются на некоторые значения.
Укажите номера утверждений, которые вы считаете правильными.
-
Общий метод решения задач: пространство состояний, поиск решения.
Общий метод решения задач. Проблемные ситуации вместе с возможными ходами образуют направленный (ориентированный) граф, называемый пространством состояний. Вершины графа соответствуют проблемным ситуациям, дуги - разрешенным переходам из одних состояний в другие. Проблема отыскания плана решения задачи эквивалентна проблеме построения пути между заданной начальной ситуацией («стартовой» вершиной) и некоторой указанной заранее конечной ситуацией, называемой также целевой вершиной. Пространство состояний некоторой задачи определяет «правила игры»: вершины пространства состояний соответствуют ситуациям, а дуги – разрешенным ходам или действиям, или шагам решения задачи. Конкретная задача определяется:
♦ пространством состояний
♦ стартовой вершиной
♦ целевым условием (т. е. условием, к достижению которого следует стремиться).
Целевые вершины - это вершины, удовлетворяющие этим условиям.
Поиск решения. Существует много различных подходов к проблеме поиска решающего пути для задач сформулированных в терминах пространства состояний. В качестве примера графа, представляющего пространство состояний некоторой задачи используется граф на рис.3. Если по любому ребру можно двигаться в обоих направлениях, то стрелки на ребрах не указываются.
При поиске пути из начальной в целевую вершину необходимо:
- использовать некоторую схему учета, позволяющую упорядоченным способом исследовать все возможные пути;
- не допускать циклов.
Для лучшего представления множества путей в графе он преобразовывается в дерево, при этом корнем дерева является начальная вершина, а листья дерева - это целевые или тупиковые вершины (тупики возникают в связи с требованием не допускать циклов) - см. рис .4. Число ярусов в полученном дереве не превосходит числа вершин в графе.