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

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

Сеймур Пейперт создал среду, которая предназначена для обучения детей фундаментальным идеям - это LogoWriter. Ученик, работающий в среде LogoWriter, постигает такие фундаментальные идеи, как представление о состояниях и переменных, отражающих состояние; представление о входной и управляющей переменной; о подзадаче и подцели; о независимости и взаимодействии локального и глобального; об обратной связи; об итерации и рекурсии; об отладке; об обобщенной переменной состояния.

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

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

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

В московской школе N1080 при обучении программированию в среде LogoWriter используется идеология систем продукций при построении логических моделей реализуемых задач. Интегрированный курс логики и информатики, на мой взгляд, наиболее удачно сочетает обучение правильному мышлению и формализации процесса этой формы деятельности ученика. Применение систем продукций хорошо сочетается с методом проектов.

Литература:

1. Гетманова А. Д. Занимательная логика для школьников. М., 1998.
2. Уинстон П. Искусственный интеллект/пер с англ. М., 1980.

Сервер поддерживается фирмой НПП "БИТ про" Лучшие программы для образовательного процесса