Название: Методика преподавания информатики - Лапчик М.П.

Жанр: Информатика

Рейтинг:

Просмотров: 959


 

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

Табличные информационные модели. Информационная модель, выраженная при помощи таблиц, является чрезвычайно распространенной. Табличные (реляционные) модели используют, когда элементы структуры относительно равноправны.

В базовый курс информатики чаще всего включено введение в табличные модели представления данных. Более детальное обсуждение методики построения табличных информационных моделей удобно совместить с обсуждением методики углубленного изучения темы «Базы данных», проводимой в главе 15 данного пособия.

 

Тема «Логико-лингвистические

информационные модели»

 

Под логико-лингвистической моделью понимается среда для моделирования некоторого класса объектов. В этих моделях выделяют такие компоненты, как синтаксис, семантику, логику и правила вывода.

Данная тема открывает широкие возможности для изучения вопросов, пограничных в информатике и лингвистике. Как известно, лингвистика — наука о языке. Языки можно разделить на две группы: естественные и искусственные. Естественные языки (русский, английский и т.д.) мало формализованы; тем не менее свободное описание предмета или процесса на таких языках является своеобразной моделью этого предмета или процесса. Такую модель часто называют вербальной. В определенном смысле можно считать, что любое литературное произведение есть вербальная модель того явления, о котором оно написано.

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

Недостаточная формализация живого языка препятствует эффективному решению таких задач, как машинный перевод, распознавание смысла текстов, вводимых человеком в диалоге «человек-компьютер» (и, как следствие, невозможность создать обучающие компьютерные программы столь же эффективные, как учитель-человек).

Во вводной беседе на эту тему уместно ввести учащихся в круг проблем искусственного интеллекта, связанных с моделированием в сфере языка: представление знаний, моделирование рассуждений, компьютерная лингвистика, машинный перевод. Цель — общее развитие учащихся, привлечение их внимания к принципиальным проблемам, имеющим в то же время большое прикладное значение.

Говоря о представлении знаний, следует обсудить вопрос: что такое «знание»? Затем, опираясь на имеющиеся у учащихся знания по программированию, уточните, что знания можно подразделить на декларативные и процедурные (способ изложения зависит от того, было ли у учащихся ранее знакомство с идеями, лежащими в основе декларативного программирования). Затем перейдите к вопросу о формах представления (моделирования) знаний и обсудите три типа формальных моделей: логическую, сетевую и продукционную.

В отношении чисто логической модели представления знаний уместно ограничиться сообщением о том, что этот путь существует, но в настоящее время потеснен другими. Исчисление предикатов, лежащее в основе логического моделирования знаний, является достаточно сложной математической теорией и рассматривать его в школьном курсе нецелесообразно, тем более что в современной практике компьютерного моделирования оно почти не используется.

Обсудите методику введения в сетевые модели представления знаний. Этот способ моделирования опирается на наглядные схемы и вполне доступен. Его основная идея состоит в том, что любое знание можно представить в виде совокупности объектов (понятий) и связей (отношений) между ними. На простом примере реализуйте такое представление и переведите его в графическую форму, а затем поручите учащимся выполнить такое моделирование (на самостоятельно выбранных примерах или предложенных учителем).

 

Пример. Рассмотрим следующий текст: «Из гаража выпущен на линию автобус. Он работает 8 часов и возвращается в гараж. В случае неисправности он следуют в ремонтную зону».

Выделим объекты, фигурирующие в этом примере: «автобус», «гараж», «ремонтная зона». Понятия: «работать 8 часов». Отношения: «выпустить на линию», «быть исправным», «быть неисправным», «вернуться в гараж». Теперь построим представление знаний, зафиксированных в этом тексте,^ виде семантической сети, в которой понятия и объекты представлены в виде вершин сети, а отношения — в виде линий, связывающих соответствующие вершины (рис. 14.6).


Оцените книгу: 1 2 3 4 5