 |
 |
 |
 |
|
 |
 |
студентами 1-го курса юридич. факультета Гарвардского ун-та. Тем самым предоставлялась
возможность сравнить между собой юридич. проницательность компьютерной программы и
гарвардских студентов. Экзаменационная задача по договорному праву была связана с умением
распознавать спорные вопросы в проблеме предложения и принятия.
Программа правового обоснования Гарднер содержит сложные иерархии знаний,
представляющие собой факты по конкретной договорной проблеме и набор из 100 правил для
реализации логических умозаключений в отношении этих фактов и принятия правовых решений.
Логические умозаключения программы свелись в конечном сч¸те к 9 рез-там анализа рассматриваемой
договорной проблемы, каждый из к-рых сопровождался специфическим определением по поводу того,
был или не был фактически достигнут договор по различным пунктам в ходе обсуждения предлагаемых
и принимаемых условий. В отличие от 9 анализов, реализованных компьютерной программой, студенты
юридич. факультета Гарвардского ун-та реализовали только 4 анализа.
Программа правового обоснования Гарднер представляет собой одну из первых попыток
проникновения в область правового обоснования. Эта программа фокусируется на четких вопросах в
договорном праве, но только на элементарном уровне. Кроме того, хотя эта программа может
оперировать имеющимися у нее фактами и правилами и принимать на их основе решения, она не может
реагировать на более сложные аспекты этого права и правовой политики или на множественные
судебные толкования. Установленные законом нормы уже сегодня м. б. включены в правовые
экспертные системы, но потребуется огромный прогресс в И. и., чтобы приблизиться к мечте Лейбница
о возможности разрешения споров среди адвокатов и судей на основе вычислительных процедур.
Решение задач в физических науках
Система решения задач на основе И. и. — гибкая система экспертных заключений с выводами,
затрагивающими мн. области (flexible expert reasoner with multidomain inferencing, FERMI) — соединяет
в себе научные принципы, общие методы и знания, связанные с конкретной предметной областью, что
позволяет ей решать задачи в конкретных областях физ. науки. Структура FERMI делится на две
иерархические структуры с взаимным обращением: схемы представления знаний и схемы
представления методов, что обеспечивает возможность ее широкого применения в различных
предметных областях (доменах). Общая схема представления знаний включает принцип декомпозиции
и принцип инвариантности. Эти принципы являются мощными интеллектуальными принципами,
находящими широкое применение в науке и математике в целом, и потому представляют наиболее
интересные аспекты FERMI.
Филос. содержание принципа декомпозиции восходит к Декарту, к-рый советовал разделять
любую трудную задачу на простые составляющие, а его мат. Содержание — к Лейбницу, к-рый
продемонстрировал, что решение трудных задач в интегральном исчислении может достигаться путем
разложения мат. функции на ряд поддающихся интегрированию простых функций. Принцип
декомпозиции в системе FERMI применяется к таким задачам, как расчет суммарной потери давления и
гидравлической системе при помощи разложения общего пути в этой системе на ряд составляющих
путей и вычисления соотв. падений давления.
«Принцип декомпозиции и связанные с ним методы декомпозиции применяются к
функционированию различных типов составных объектов. Например, декомпозиция применяется при
вычислении падений давления или падений напряжения как функций путей; площадей или центров
масс как функций областей и временных функций, выражаемых в виде функций частоты.»
Принцип инвариантности повсеместно используется в математике и в естественных науках.
Уравнения физ. законов, как правило, содержат набор переменных и одну или более констант. В FERMI
принцип инвариантности используется в сочетании с методом сравнения инвариантов для составлении
уравнений при решении физ. задач.
«Например, энергия частицы может быть выражена через ее положение и скорость. Если энергия
частицы является постоянной, рассмотрение поведения этой частицы в два различных момента времени
(соотв. различным положениям и скоростям этой частицы) дает уравнение, связывающее эти положения
и скорости.»
В FERMI схема представления количества или величины содержит общие знания, иерархически
организованные т. о., чтобы у более низких и более специфических уровней имелась возможность
наследовать знания от более высоких и более общих уровней. Верхним узлом в этой иерархии является
величина, имеющая трех потомков: тип, разность величин и свойство. Тип имеет двух потомков: поле
векторных величин и поле скалярных величин. Свойство тж имеет двух потомков: разложимую
величину и инвариантную величину. Разложимая величина имеет двух потомков: путь и область.
