Аппельт

Cтраница 1

Аппельт предлагает для распознавания плана использовать сочетание наиболее и наименее специфичной абдукции. Тем не менее все равно остается проблема решения, какая стратегия должна применяться в каждом конкретном случае. Более того, возможны ситуации, когда не существует единственного наименее или наиболее специфичного объяснения, и требуется дальнейший отбор. [1]

Аппельт и Поллак для того, чтобы направить процесс применения правил, назначают весовые множители для всех литер в посылке. Веса / j i используются для вычисления стоимости предположения литер. Это делается с помощью умножения стоимости предположения следствия на весовой множитель рассматриваемой литеры в посылке. [2]

Расположение шахматных фигур в шрифтах chess. [3]

Пит Тютеларс ( Tutelaers, 1992) создал пакет chess для облегчения набора шахматных диаграмм и записи партий, частично опираясь на идеи, опубликованные Вольфгангом Аппельтом четырьмя годами ранее. Этот пакет предоставляет команды для описания ходов, отражаемых потом в алгебраической записи партии. Во внутреннем представлении сохраняется информация о текущих позициях всех фигур, и в любой момент с помощью единственной команды можно показать текущее положение фигур на доске. [4]

Пул определяет абдуктивную структуру, которая основывается на спецификации предположений аномальности и нормальности. Как утверждает Аппельт, внутренняя проблема этого подхода - это тот факт, что минимально аномальные предположения могут противоречить наилучшему объяснению. [5]

При заземлении модулятора часть ионов, ранее собиравшихся коллектором, направляется на модулятор, в результате на коллектор идет только доля а от истинного ионного тока. Согласно предположению Аппельта [91], фоновый ток фотоэлектронов с коллектора при этом тоже должен уменьшиться, так как при заземлении модулятора прекращается бомбардировка его электронами и, следовательно, прекращается облучение коллектора рентгеновскими лучами с модулятора. [6]

Его подключение к системе LMJrjX впервые было реализовано Адрианом Кларком с помощью им лее написанного пакета cheq, в котором определялся набор таких команд, как CheqBKing, для осуществления манипуляций с отдельными фигурами, но не было предусмотрено никаких средств для изображения доски. Благодаря этому пакету и разработанным Вольфгангом Аппельтом ( Appelt, 1988) шахматным макро Себастиан Ратц написал файл chessboard. [7]

Таким образом метод, основанный на резолюции, всегда гарантирует выполнение свойства фундаментальности. Фундаментальность уже реализует стратегию для определения подходящего уровня специфичности множества объяснения, которая называется наиболее специфичной абдукцией. Объяснения, удовлетворяющие свойствам непротиворечивости, минимальности и нетривиальности, реализуют принцип лезвия Оккама, если он интерпретируется синтаксически. Однако множество интересующих гипотез, отобранных таким образом, может быть снова слишком велико, и обычно требуется дополнительный отбор для того, чтобы получать гипотезы определенного уровня специфичности. Аппельт и Поллок рассматривают два вида критериев: глобальные критерии и локальные критерии. [8]

Страницы: 1