Строится дерево, начиная с «главной» вершины — так называемого корня (или вершины первого уровня). Затем располагаются вершины второго уровня — они «подчинены» корню, но не друг другу. Их взаимосвязи друг с другом если и наличествуют, то не по тому виду связи, который положен в основу построения модели.

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

Методика построения графовых моделей подразумевает первоначальное знакомство учащихся с элементами теории графов (если это знакомство не состоялось в базовом курсе информатики).

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

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

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

Геометрические построения различных графов следует отрабатывать в процессе выполнения заданий. Многие такие задания можно найти в задачнике.

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

3.2.3 Тема «Логико-лингвистические информационные модели»

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

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

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

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

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

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

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

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

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

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

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