Статья 2480

В программах эту гибкость трудно промоделировать. В 1962 г. Г. Гелернтер создал программу, решающую школьные задачи по геометрии на плоскости, планиметрии. Каждая задача имела двойственное представление - аксиоматическое и в виде диаграммы. Логическое представление позволяло программе строить формальные доказательства. С другой стороны, диаграммы помогали в выборе методов доказательства и давали возможность программе проверять свои предложения. Она, например, могла распознавать параллельность отрезков прямых линий, равенство или взаимную дополнительность двух углов. И хотя совпадения подобного рода могли быть просто следствием того, как была нарисована конкретная диаграмма, вероятность, что эти совпадения носили случайный характер, была очень мала, и способ множественного представления весьма эффективно ограничивал поиск.
К сожалению, пророческие мысли Гелернтера о множественном представлении до сих пор так и не были применены в других областях, хотя недавно несколько исследователей занялись классификацией форм представления и начали работать над методами, позволяющими программе переводить информацию из одной формы представления в другую. Следует заметить, что диаграммы в программе Гелернтера были эффективными не только потому, что давали просто еще одну форму представления, но и потому, что они были аналоговыми, их элементы соответствовали реальным объектам, расстояния между этими элементами соответствовали реальным расстояниям, как на карте дорог. Это то, чего не может дать логическое представление, и в настоящее время ряд специалистов ищут пути, позволяющие воспользоваться потенциально мощными средствами аналогового представления.

программах

программах

Одно из направлений в этих исследованиях заслуживает более подробного рассмотрения.