Page 365 - Методика преподавание информатики

365

Продукционная модель представления знаний реализуется в виде ядра
продукции, которое состоит из системы фраз типа «Если А то В» и некоторых
вспомогательных элементов. На продукционном принципе моделирования зна-
ний построен язык программирования Пролог, который (вместе с изучением
самих принципов) вполне может быть темой профильно-ориентированного
курса информатики. Соответствующие вопросы рассматриваются в подразделе
15.7.
Разговор о логико-лингвистических информационных моделях уместно
использовать и для достижения иных, не указанных выше, общеобразователь-
ных целей — для знакомства с компьютерной лингвистикой. Данная наука
также связана с моделированием в сфере языка. Вопросы анализа текстов на
естественном языке, машинного перевода, синтеза текстов на естественном
языке могут стать темами для рефератов, докладов учащихся.
Язык программирования Паскаль как логико-лингвистическая мо-
дель. Любой язык программирования является логико-лингвистической моде-
лью языка. Назначением такого языка является запись алгоритма решения зада-
чи в виде, пригодном для ее реализации на ЭВМ.
Для изучения данной темы предпочтительным является язык высокого
уровня. Так как Паскаль наиболее используем в обучении программированию,
дальнейшие обсуждения ограничим им. Поскольку исполнителем программы
является ЭВМ, построенная по законам математической логики, то текст любой
программы должен быть однозначно интерпретируем. Двусмысленности, свой-
ственные «естественному» языку, здесь неприемлемы. Язык программирования
должен быть жёсток и по синтаксису, т. е. правилам приемлемого сочетания
символов языка, и по семантике, т.е. смыслу, придаваемому каждой допусти-
мой конструкции.

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

www.trk.kg