- •Ответы на гос экзамен по ипсапр 2011.
- •Хорновская логическая программа. Сеанс работы с интерпретатором Пролога. Общие принципы поиска ответов на вопросы системой Пролог. Синтаксис языка swi-Prolog.
- •Предмет «Искусственный интеллект». Область исследования. Методы исследования. Особенности исследований.
- •Декларативная и процедурная семантика программ. Рекомендуемый порядок предложений и целей.
- •Эвристическое решение задачи как противоположность алгоритмическому. Когда используются эвристические методы? ии - сфера исследования многих наук.
- •Приведите классификацию объектов данных в Прологе.
- •Психологическая теория интеллекта: Что такое интеллект? Три слоя ментального опыта. Особенности организации когнитивного опыта.
- •Рекурсия. Метод накапливающего параметра.
- •Психологическая теория интеллекта: особенности организации метакогнитивного опыта, особенности организации интенциального опыта.
- •Как работает отсечение? Чем отличаются «зеленые» отсечения от «красных»? Какие недостатки отсечения в Прологе?
- •Формальные системы. Выход за пределы системы. Примеры. Дзен и выход из системы.
- •Как определяется «отрицание» в Прологе? Как негативная информация (т.Е. Информация о том, что не имеет место) представляется в Пролог-программах. Какие недостатки отрицания в Прологе?
- •Представление знаний: продукционная модель, семантическая сеть.
- •Представление знаний: фреймы, логические модели.
- •Что такое структура? Что такое функтор? Что такое рекурсивная структура данных? Является ли список рекурсивной структурой?
- •Способ решения задачи - разбиение задачи на подзадачи. Изменение пространства задачи - как выход из системы. Пример изменения представления.
- •Алгоритмы поиска в глубину и ширину.
- •Метапрограммирование. Эквивалентность программ и данных. Предположение об открытости мира. Программирование второго порядка.
- •Сведение задач к подзадачам. Представление задач в виде и/или-графов.
- •Функции и структура экспертной системы.
- •Имеются три варианта определения предиката max: 1)
- •Требования к современным экспертным системам.
- •Где находится значение сообщения? Три уровня любого сообщения. Парадокс сообщения. Многоуровневые описания (о шахматах и не только).
-
Психологическая теория интеллекта: Что такое интеллект? Три слоя ментального опыта. Особенности организации когнитивного опыта.
Психологической основой разумности является интеллект. В общем виде интеллект - это система психических механизмов, которая обуславливает возможность построения «внутри» индивидуума субъективной картины происходящего. Интеллект - форма ментального (умственного) опыта (определение Марины Холодной). Такое определение показывает, что объяснить природу интеллекта на уровне анализа его проявлений невозможно.
Три слоя ментального опыта.
1.Когнитивный опыт(знание. познание) - упорядочивание, хранение и трансформация наличной и поступающей информации.
2.Метокогнитивный опыт - сознательная и не произвольная организация собственной интелектуальной активности.
3.Интенциональный опыт (стремление: направленность сознания, мышления на цель, предмет) - субъективные критерии выбора (в предметной области) источниках информации, направления поиска решения.
Особенности организации когнитивного опыта.
Переработка информации происходит одновременно на трех уровнях:
1 Через знак (словесно-речевой способ кодирования информации).
2.Через образ (визуально-пространственный)
3.Через чувство(чувственно-сенсорный способ)
Когда мы нечто понимаем, мы это словесно определяем, мысленно видим и чувствуем.
-
Рекурсия. Метод накапливающего параметра.
Графическая схема выполнения программы на Прологе имеет форму дерева. Узлы дерева соответствуют целям или спискам целей, которые должны быть достигнуты. Дуги между узлами соответствуют этапам применения (альтернативных) предложений программы, на которых цели одного узла преобразуются в цели другого узла. Верхняя цель достигается после того, как будет найден путь от корневого узла (верхней цели) к лист-узлу, бозначенному как «Yes». Лист носит метку «Yes», если он представляет собой простой факт. Процесс выполнения Пролог-программ состоит в поиске путей, оканчивающихся такими простыми фактами. Входе поиска система Пролог может войти в одну из ветвей, не позволяющих достичь успеха. При обнаружении того, что ветвь не позволяет достичь цели, система Пролог автоматически возвращается к предыдущему узлу и пытается использовать в этом узле альтернативное предложение.
Никакая переменная в Прологе не может изменять значение, поэтому циклы в Прологе реализовать нельзя - нужно использовать рекурсию. Этот принцип состоит в том, что задача сводится к нескольким случаям, принадлежащим к двум группам:
-Тривиальные или граничные случаи;
-Общие случаи, в которых решение составляется из решений (более простых) вариантов первоначальной задачи.
Этот метод применяется в Прологе постоянно. Основной методологический подход к решению задач со списками следующий, необходимо применять рекурсию по списку (или по одному из списков, когда несколько аргументов - списков у предиката).
Типичный прием в процедурном программировании - это хранение каких-то значений в глобальных переменных. В Прологе информацию из одного вызова предиката в другой вызов предиката (одноименного или другого) передают с помощью параметров. В этих параметрах хранят информацию, изменяют ее и накапливают постепенно результат. Этот прием называется методом накапливающего параметра.
Накапливающие параметры могут использоваться не только в предикатах, задающих отношение на списках.