Navigation bar
  Print document Start Previous page
 415 of 1766 
Next page End  

Инвариантная величина имеет трех потомков: путь, вход — выход и время. Путь разложимой величины
и путь инвариантной величины имеют общее потомство: инвариант сумма/путь. Инвариант сумма/путь
имеет двух потомков: падение давления и падение напряжения. И, наконец, падение давления имеет
двух потомков: PD и PD².
Методы решения задач в FERMI содержатся в иерархии схем представления методов. Корневым
узлом этой иерархии является метод, имеющий трех потомков: метод, связанный со свойством,
алгебраический метод и метод аналогий. Связанный со свойством метод имеет двух потомков:
декомпозицию и сравнение инвариантов. Декомпозиция имеет двух потомков: управляющую структуру
и тип объекта. Сравнение инвариантов имеет двух потомков: путь и вход — выход. Управляющая
структура имеет трех потомков: известное, итеративное и рекурсивное. Тип объекта имеет двух
потомков: путь и область. Путь как дочерний элемент сравнения инвариантов имеет двух потомков:
вынужденный путь и преимущественное направление.
Способность FERMI решать задачи в областях физики резюмируется следующим образом.
«Задачи о давлениях в жидкостях. FERMI может находить разность давлений между двумя
любыми точками в одной или большем числе жидкостей, находящихся в состоянии покоя.
Задачи о центрах масс. FERMI может находить центр масс любого плоского объекта, к-рый
имеет прямоугольную форму или допускает разбиение на прямоугольные части.
Задачи об электрических цепях. FERMI может находить стационарные падения напряжения на
разных участках электрических цепей, состоящих из любого небольшого количества проводов,
резисторов и батарей, связанных различными способами.
FERMI может тж применять принцип инвариантности энергии для связывания массы и
скоростей спутника или падающего объекта в двух различных точках траектории.»
Расширение границ применения общих принципов декомпозиции и инвариантности вместе с
использованием знаний, связанных со специфическими предметными областями, сулит блестящие
перспективы дальнейшему развитию FERMI. Авторы системы FERMI планируют распространение
принципа декомпозиции на следующие области: механику, геометрию, электричество и магнетизм,
теплоту и термодинамику, химию и волновые процессы. По мнению разработчиков FERMI, принцип
инвариантности м. б. распространен на поддающиеся количественному выражению задачи сохранения
импульса, момента количества движения и энергии.
Иерархическая структура схемы представления величины и схемы представления метода,
включающая в себя интеллектуальные принципы инвариантности и декомпозиции, очевидно, делает
FERMI способной к гибкому и универсальному применению. Эти способности, однако, жестко
задаются заложенной в ней иерархической структурой. Этим предопределяется недостаток того типа
изобретательности и интеллектуального иск-ва, к-рое характеризовало мыслительные способности в
решении задач ее тезки, Энрико Ферми.
Процесс научного открытия
Существуют два подхода к процессам научного открытия с позиций И. и. При первом подходе не
предпринимается попыток моделировать когнитивные процессы исследователей; здесь в основном
используются технические методы И. и. Второй подход связан с мат. моделированием
интеллектуальных процессов научного открытия.
Первый подход представлен машинными программами, к-рые открывают или повторно
открывают научные и мат. знания. Используя набор изощренных эвристик, записанных в умещающемся
всего на двух страницах LISP коде, автоматизированная вычислительная программа совершила целый
ряд мат. открытий, включая принцип простых чисел (предположение о том, что любое четное число
можно представить в виде суммы двух простых чисел) и осн. теорему арифметики. Шен разраб.
широкую вычислительную архитектуру систем И. и. для совершения (научных) открытий, к-рая
позволяет реализовать AM-программу и ее преемника EURISCO. Лэнгли, Саймон, Брэдшоу и Житков
приводят описание целого ряда сложнейших программ, с помощью к-рых были заново открыты
количественные законы в физике и астрономии. Напр., программа BACON.3 заново открыла, среди др.,
законы Галилея (об ускорении), законы Ома и третий закон движения планет Кеплера. В химических
науках программа MetaDendral осуществила значительные открытия, к-рые были впоследствии
опубликованы в элитарном научном журнале.
Второй подход представлен программой KEKADA, непосредственно и тщательно моделирующей
эксперим. процедуры и научные открытия выдающегося биохимика Ганса Кребса, к-рому принадлежит
приоритет в установлении природы эффекта орнитина и описании цикла мочевины. Кребс сделал свои
открытия в 1932 г., а позднее Холмс — на основе лабораторных записей Кребса и интервью с ним —
Hosted by uCoz