Базы данных Пролога. Простые запросы»

Тема «Факты. Предикатная форма представления фактов.

Учащихся

Требования к знаниям и умениям

Тема «Применение Пролога: понимание естественного

языка (КС-грамматики)»

Содержание темы раскрывает одну из двух задач искусственного интеллекта, которую первоначально решали на Прологе — понимание естественного языка. Во вводной части, которую рекомендуется дать в виде лекции, необходимо отметить, что именно благодаря удачному решению этой задачи Пролог утвердился в качестве языка программирования. Благодаря теории контекстно-свободных грамматик (КС-грамматик) был построен синтаксический анализатор — программа, проверяющая построение фраз на правильность с точки зрения синтаксиса и семантики языка. Эта программа в том или ином виде используется практически во всех современных программных продуктах, от текстовых редакторов до систем программирования (в том же Паскале каждая конструкция всегда проверяется на правильность).

Тему можно начать с краткой теории КС-грамматик, далее привести пример построения синтаксического анализатора на определенное правило из русского языка. Несмотря на прямое назначение этой программы, больший интерес представляет обратная задача — генерация правильных фраз. В методическом плане это оправдано. Подбор практических заданий следует произвести так, чтобы по определенному правилу построения фраз можно было построить синтаксический анализатор-генератор.

Тема «Введение в Пролог»

Учащиеся должны знать:

• в чем состоит принципиальное отличие операторного языка от логического.

Учащиеся должны знать:

• что такое высказывание;

• что такое утверждение;

• что такое факт;

• что такое база данных Пролога;

• что такое запрос (вопрос).

Учащиеся должны уметь:

• записывать факты в предикатной форме;

• составлять и записывать простейшие базы данных на Прологе;

• работать с системой программирования (вводить и редактировать тексты программ, считывать и записывать их в файл);

• организовать простой запрос без использования и с использованием переменной.

Тема «Составные запросы. Правила. Базы знаний Пролога»

Учащиеся должны знать:

• что такое составной запрос;

• что такое правило;

• какова структура правила;

• что такое база знаний.

Учащиеся должны уметь:

• задать составной запрос к базе данных;

• переводить правило, записанное на Прологе, на естественный язык;

• записать правило на Прологе;

• составлять простейшие базы знаний по формулировкам задач;

• решать задачи с использованием баз знаний.

Дата добавления: 2014-12-27