Главная страница 1
УТВЕРЖДАЮ

Заведующий кафедрой ПОВТ,

д.т.н., профессор

__________ Г.М.Емельянов

" " ________ 2006 г.

Вопросы к теоретическому зачету


По дисциплине “Функциональное и логическое программирование”.

Осенний семестр 2006/2007 учебного года.




  1. Теоретические исследования в области формализации мышления. Возникновение и развитие формальной логики. Логика предикатов. Исчисление предикатов 1-го порядка как основа Логического Программирования.

  2. Функции и отношения. Анализ структуры области знаний. Построение теории предметной области в логике предикатов.

  3. Правило резолюции. Алгоритм, основанный на резолюции.

  4. Концепция языка Пролог и сферы его применения. Процедурная и декларативная трактовка Пролог-программы. Модель в виде абстрактной машины.

  5. Термы и их типы. Составной терм. Операторы, их синтаксис и приоритет.

  6. Факты и правила. Переменные в Прологе. Вопросы. Использование переменных в вопросах. Конкретизация переменных. Анонимная переменная.

  7. Общие правила согласования целевых утверждений. Успешное доказательство конъюнкции целевых утверждений. Рассмотрение целевых утверждений при использовании механизма возврата. Правила установления соответствия. Понятие “сцепленных переменных”.

  8. Список как частный вид структуры. Способы представления списков. Описание списков в Турбо-Прологе и их использование в Пролог-программах. Правила сопоставления списков.

  9. Рекурсия как основной метод программирования на Прологе. Построение рекурсивных правил. Левосторонняя рекурсия и ее предотвращение. Примеры рекурсивных правил : вычисление факториала, суммирование элементов списка, печать элементов списка.

  10. Оценка сложности логической программы.

  11. Разностные списки. Неполные структуры данных. Очереди.

  12. Отсечение в программе на Прологе. Причины введения отсечения. Синтаксис отсечения. Изменение процесса возврата по цепочке доказательств при использовании отсечения. Диаграмма согласования целевого утверждения для случая использования отсечения.

  13. Общие случаи использования отсечения в программах на Прологе. Предикат not как альтернатива отсечению. Отсечение и fail. Использование отсечений при работе со списками. Проблемы, связанные с использованием отсечения.

  14. Понятие недетерминизма. Решение логических задач методом “Образуй и проверь”. Порождение и контроль допустимости решений. Примеры решения логических головоломок.

  15. Состояния и операторы. Пространство состояний. Базовая программа для решения задач поиска на графах состояний.

  16. Основные сведения о базах данных. Объекты и атрибуты. Уровни абстракции в Системах Управления Базами Данных. Концептуальная схема и три модели данных. Реляционные базы данных. Внелогические предикаты и их использование при организации базы данных в Турбо-Прологе.

  17. Предикаты динамической базы данных. Создание и модификация базы данных. Сбор информации из базы данных в список. Предикаты для работы с базой данных в целом. Создание базы данных на диске. Организация и использование индексных файлов.

  18. Базы знаний. Экспертные системы : назначение, структура, модели представления знаний. Вывод экспертного заключения. Примеры реализации логической и продукционной Экспертной Системы на Турбо-Прологе (Visual Prolog’е). Вывод при наличии нечеткой информации.

  19. Проблема общения на Естественном Языке (ЕЯ). Виды анализа ЕЯ-информации. Идентификация ключевых слов. Программирование второго порядка и его использование для решения задачи поиска ключевых слов в контексте.

  20. Машинная реализация процедур синтаксического анализа предложений Естественных Языков. Деревья как частный случай многодоменных структур. Представление синтаксической структуры предложения русского языка в виде дерева. Глубинные Синтаксические Структуры (ГСС) как пример n-арных деревьев. Организация рекурсивной обработки n-арного дерева.

  21. “Чистый” Prolog. Вычислительная модель Пролога. Edinburgh-Prolog и Wisdom-Prolog.

  22. Металогические предикаты. Операционная семантика Пролога и металогические тесты. Использование металогических предикатов для программирования алгоритма унификации.

  23. Логика высшего порядка и ее использование в задачах компьютерной лингвистики. Типы и сорта. Функциональные типы. Lambda-Prolog.

  24. Параллельный Пролог. Расширение Пролога для использования в качестве языка логического программирования в ограничениях.

На теоретическом зачете кроме теоретических вопросов будет предложена задача. Большинство из предлагаемых задач аналогичны рассмотренным в л/р №3-6 лабораторного курса.




Доцент каф. ПОВТ ___________________ / Д.В. Михайлов /


Смотрите также:
Г. М. Емельянов " " 2006 г. Вопросы к теоретическому зачету
31.1kb.
1 стр.
Вопросы по лфк к устному зачету в весеннем семестре 2005 – 2006 г
31.46kb.
1 стр.
Вопросы к зачету по уголовно-исполнительному праву на 2005-2006 уч год
30.91kb.
1 стр.
Экзаменационные вопросы к теоретическому экзамену по методике преподавания спецдисциплин
99.81kb.
1 стр.
Методические указания по отдельным темам, вопросы и задания к семинарским занятиям, примерный перечень вопросов к экзамену (зачету), список рекомендуемой литературы
551.12kb.
7 стр.
Методические указания по их написанию, вопросы для подготовки к экзамену (зачёту), список рекомендуемой литературы
589.72kb.
5 стр.
Вопросы к зачёту по курсу правовые вопросы несостоятельности (банкротства) юридических лиц
29.79kb.
1 стр.
Вопросы к зачету по Политологии
18.41kb.
1 стр.
Вопросы к зачету по курсу «экономическая социология»
16.47kb.
1 стр.
Примерные вопросы к зачету по системе национального счетоводства
29.38kb.
1 стр.
Вопросы к зачету по курсу Этика Д/о I к. Ψ Мгу май 2010
18.04kb.
1 стр.
Вопросы к зачету по дисциплине «Международные стандарты учета и финансовой отчетности»
13.03kb.
1 стр.