В. К. Финн Своевременные замечания о дсм-методе автоматического порождения гипотез §1 Строение дсм-метода Подробное изложение



страница1/2
Дата26.07.2014
Размер448 Kb.
ТипДокументы
  1   2
В.К. Финн

Своевременные замечания о ДСМ-методе автоматического порождения гипотез

§1 Строение ДСМ-метода

Подробное изложение архитектуры ДСМ-метода, его логических средств и применений в интеллектуальных системах содержится в публикациях последних лет [1, 2, 3]. Целью ДСМ-метода является извлечение причинно-следственных зависимостей из базы фактов (БФ) с использованием базы знаний (БЗ) посредством формализованной эвристики типа «индукция-аналогия-абдукция». Эта эвристика формализуется в виде правдоподобных рассуждений (точнее, когнитивных правдоподобных рассуждений [3]), а её компьютерной реализацией являются интеллектуальные системы типа ДСМ [2]. Результатом работы интеллектуальных систем типа ДСМ (ИС-ДСМ) являются анализ данных в БФ (knowledge discovery), автоматическое порождение гипотез посредством правдоподобных рассуждений, автоматическое расширение БЗ, посредством порожденных гипотез и формирование в интерактивном режиме открытой теории посредством БФ и расширенной БЗ.

Можно сказать, что суперзадачей ДСМ-метода является поддержка исследований в слабо формализованных предметных областях, пополнение знаний о которых использует машинное обучение на основе БФ в ИС-ДСМ.

Охарактеризуем подробнее ДСМ-метод, состоящий из пяти компонент:



  1. Первой компонентой ДСМ-метода являются формализованные условия его применимости – таковыми являются каузальные модели О.М. Аншакова [1]1 и Д(±)- множества В.К. Финна2 (они представляют формализованные и полуформализованные условия применимости ДСМ-метода, соответственно).

  2. Второй компонентой ДСМ-метода являются правдоподобные ДСМ-рассуждения, реализующие синтез познавательных процедур – индукции, аналогии и абдукции (с возможным последующим применением дедукции). Существенной особенностью ДСМ-рассуждений является то, что ни индукция, ни аналогия, ни абдукция не рассматриваются изолированно. При этом индукция не является перечислительной и содержит средства автоматической фальсификации. Кроме того, индукция в ДСМ-методе из исходного предиката Х1Y («объект Х обладает множеством свойств Y») порождает предикаты V2W («подобъект V есть причина наличия/отсутствия множества свойств W» - для прямого ДСМ-метода) и W 3V («множество свойств W есть следствие причины V» – для обратного ДСМ-метода).3 Порождение предикатов V2W и W 3V посредством правил правдоподобного вывода из предиката Х1Y, образующего БФ изучаемого эффекта, является формализованным уточнением известного индуктивного метода сходства Д.С. Милля с помощью средств многозначных логик и булевой алгебры множеств.4

  3. Третьей компонентой ДСМ-метода являются квазиаксиоматические теории (КАТ).
    КАТ есть средство формализации открытых теорий различных предметных областей, представленных в базах фактов и базах знаний интеллектуальных систем.

КАТ состоят из множества аксиом, лишь частично характеризующих предметную область, открытого множества фактов и гипотез и множества правил вывода, содержащего правила правдоподобного вывода и правила достоверного вывода. Существенной особенностью КАТ является расширение как множества аксиом, так и множества фактов и гипотез при применении ДСМ-рассуждений к БФ интеллектуальных систем. Второй особенностью КАТ является применение правдоподобных ДСМ-рассуждений как средства автоматизированного анализа массивов фактов и средства порождения гипотез о зависимостях причинно-следственного типа. Таким образом, КАТ является способом представлений знаний в интеллектуальных системах, реализующих ДСМ-метод.

  1. Четвертой компонентой ДСМ-метода является дедуктивная имитация ДСМ-рассуждений, формализующих процесс автоматического порождения гипотез. Правила правдоподобного вывода, формализующие индукцию и аналогию представлены в виде аксиом, используемых в качестве системы аксиом дедуктивной имитации ДСМ-рассуждений. Относительно этой системы аксиом имеют место следующие утверждения:

а) система аксиом непротиворечива,

b) система аксиом содержит аксиомы окончания ДСМ-рассуждений,

с) система аксиом имеет единственную модель,

d) правила правдоподобного вывода ДСМ-метода автоматического порождения гипотез обратимы.5

Важными результатами относительно логических средств ДСМ-метода являются теоремы Д.В. Виноградова о выразимости предикатов, представляющих индукцию и аналогию, а также аксиому абдукции, в языке логики предикатов 1-го порядка для класса конечных моделей и о необходимости языка слабой логики предикатов 2-го порядка для класса произвольных (в том числе бесконечных) моделей. К дедуктивной имитации ДСМ-рассуждений относится результат Д.В. Виноградова относительно совпадения единственной модели дедуктивной имитации с канонической моделью стратифицированной логической программы, формализующей правдоподобные ДСМ-рассуждения [1, Главы 5-8, стр. 287-305].


  1. Пятой компонентой ДСМ-метода являются интеллектуальные системы типа ДСМ (ИС-ДСМ). ИС-ДСМ имеют четыре подсистемы: Решатель задач, БФ, БЗ и комфортный (для пользователя) интерфейс. ИС-ДСМ имеют следующую архитектуру:

ИС-ДСМ = Решатель задач + (БФ + БЗ) + интерфейс, где Решатель задач = Рассуждатель + Вычислитель + Синтезатор. Рассуждатель реализует логические процедуры, Вычислитель осуществляет вычислительные процедуры (статистические методы, квантовохимические вычисления и т.п.), а Синтезатор формирует стратегии решения задач, координируя логические процедуры и вычисления.

ИС-ДСМ, как компьютерные интеллектуальные системы, обладают следующими особенностями. Рассуждатель реализует ДСМ-рассуждения – синтез индукции, аналогии и абдукции; БФ состоит из представленных в ней отношений между структурированными объектами и изучаемыми эффектами (например, биологическими активностями химических соединений, симптомами болезней, мнениями респондентов и т.п.). Таким образом, исходный предикат БФ Х=>1Y имеет интерпретации в различных предметных областях такие, что значениями Х и Y являются структурированные объекты и присущие им эффекты, соответственно. Структурированность объектов (значений Х) является необходимым условием для автоматического порождения гипотез посредством ДСМ-метода, в основании которого имеется принцип: сходство фактов влечет наличие (отсутствие) изучаемого эффекта и его повторяемость (этот принцип является осуществлением идеи индуктивных методов Д.С. Милля, формализованным уточнением и усилением которых средствами современной логики является ДСМ-метод).

Логические средства ДСМ-метода используют бесконечнозначные логики с J–операторами Б. Россера – А. Тюркетта [5]. Истинностные значения этих ДСМ-логик содержат степени правдоподобия порождаемых посредством ДСМ-рассуждения гипотез. Истинностные значения этих логик конструктивно порождаются посредством правил правдоподобного вывода для индукции и аналогии. Конструктивный способ порождения истинностных значений в ДСМ-рассуждениях отличает ДСМ-логики от нечетких логик, истинностные значения которых приписываются высказываниям посредством априорно заданных μ – функций.

Существенной характеристикой истинностных значений ν ДСМ-метода является то, что они представлены парой = <ν, n>, где ν – тип истинностного значения (ν Є{1, –1, 0}), а n – натуральное число, выражающее степень правдоподобия порожденной гипотезы, которая является числом применений правил правдоподобного вывода (индукции и аналогии). 1, –1, 0 представляют, соответственно, типы внутренних истинностных значений – фактическую истину, фактическую ложь и фактическое противоречие (конфликт), а (, n) = {1, n+1, –1, n+1, 0, n+1}(, n+1), где  – тип истинностного значения «неопределенно».

Перечисленные особенности ДСМ-метода связаны с используемыми в нем эпистемологическими принципами компьютерного интеллектуального анализа данных (knowledge discovery), которыми являются:


  1. синтез познавательных процедур типа «индукция + аналогия + абдукция» для извлечения знаний из БФ («knowledge discovery»);

  2. упомянутый выше принцип качественного (нестатистического) анализа данных: сходство фактов в БФ влечет наличие (отсутствие) изучаемого эффекта и его повторяемость;

  3. встроенность фальсификации в процедуры правдоподобного вывода (индукции и аналогии);

  4. принятие гипотез посредством абдуктивного объяснения БФ;

  5. представление знаний в БЗ в виде квазиаксиоматических теорий (КАТ);

  6. реализация ДСМ-метода автоматического порождения гипотез согласно схеме роста знаний эволюционной эпистемологии К.Р. Поппера Р1-ТТ-ЕЕ-Р2 [7], где Р1 – решаемая проблема (цель ИС, характеризуемая классом решаемых задач), ТТ – пробная теория (начальный вариант КАТ, представленной в БЗ в ИС), ЕЕ – корректировка ТТ посредством исправления ошибок и полученных новых знаний после применения ДСМ-метода, а Р2 – новая проблема, возникающая после получения результатов работы ИС-ДСМ.

Таким образом, ДСМ-метод и его экспериментальная база в виде ИС-ДСМ создают основание для развития формальной (точной) эпистемологии компьютерных интеллектуальных систем, реализующих когнитивные рассуждения типа «индукция + аналогия + абдукция» (с возможным применением дедукции) [3].

Эпистемологическое содержание ДСМ-метода автоматического порождения гипотез тесным образом связано с идеями Д.С. Милля, Ч.С. Пирса, К.Р. Поппера, Д. Пойа и Д.А. Бочвара. ДСМ-метод является формализацией и развитием средствами современной логики и компьютерных технологий идей Д.С. Милля об индукции и её роли в исследовании причинно-следственных зависимостей.

Когнитивные рассуждения ДСМ-метода [3] используют идею абдукции Ч.С. Пирса [8], уточняя её посредством процедур выдвижения гипотез и порождения степеней их правдоподобия с помощью индукции и аналогии [3].

Необходимость применения средств фальсификации гипотез (как критерия демаркации научного знания [9] в ДСМ-методе осуществляется в правилах правдоподобного вывода индукции и аналогии и посредством абдуктивного принятия (или непринятия) гипотез ([3], см. также [1], Введение, Глава 4. Синтез познавательных процедур и проблема индукции, стр. 96-164).

Формальные языки ДСМ-метода, посредством которых формализуются бесконечнозначные ДСМ-логики ([6], Глава 2, стр.115-151, 200-235) используют принцип отделимости Д.А. Бочвара внешних логических связок от внутренних [10], с помощью которых представляются факты в БФ. Внешними логическими связками в ДСМ-логиках являются J–операторы, областью значений которых являются логические «истина» и «ложь».

Характеризация ИС как компьютерных систем искусственного интеллекта нуждается в информативном уточнении, смысл которого состоит в том, что ИС должны имитировать (и, возможно усиливать) базовые способности естественного интеллекта (ЕИ). Таковыми способностями являются:



  1. выделение существенных факторов в данных,

  2. целеполагание,

  3. отбор знаний (посылок выводов), релевантных цели рассуждения,

  4. способность к рассуждению,

  5. аргументированное принятие решений,

  6. рефлексия – оценка знаний и действий,

  7. познавательное любопытство (вопрос «Что такое?»),

  8. способность к объяснению (вопрос «Почему?»),

  9. способность к синтезу познавательных процедур (например, взаимодействие индукции, аналогии и абдукции с учетом фальсификации посредством контрпримеров),

  10. обучение и использование памяти,

  11. рационализация идей – стремление уточнить их как понятия,

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

  13. способность к адаптации в условиях изменения жизненных ситуаций и знаний, что означает коррекцию имеющихся знаний («теории») и поведения.

Способности (1) – (13), образующие феноменологию ЕИ, были охарактеризованы в [11]; следует отметить, что они покрывают способности «практического интеллекта» (целеполагание, адаптацию и оценку), сформулированные в [12]. Способности (1) – (13) покрывают также набор уникальных человеческих способностей с точки зрения когнитивной психологии [13]: способность классифицировать паттерны, способность к адаптивному изменению поведения – к научению способности как к дедуктивному, так и к индуктивному мышлению; способность разрабатывать и использовать концептуальные модели, способность понимать.

Отметим, что способности (1) - (6), (8) - (10) могут имитироваться в компьютерных системах в автоматическом режиме, способности же (7), (11) – (13) – в интерактивном режиме, реализация которого означает, что соответствующая компьютерная система является партнерской человеко-машинной системой.

Таким образом, теперь можно охарактеризовать ИС как компьютерную систему с архитектурой ИС = Решатель задач + (БФ + БЗ) + (комфортный) интерфейс такую, что в автоматическом режиме она способна имитировать способности ЕИ (1) - (6), (8) - (10), а способности (7), (11) – (13) она может имитировать в интерактивном режиме как человеко-машинная система.

Способности (1) – (13), образующие феноменологию ЕИ, сформулированные в [11], реализуются посредством принципов П I – П XI конструирования ИС и интеллектуального анализа данных из [3]. В ИС используются два типа знаний – декларативные и процедурные в БФ (и БЗ) и в Решателе задач (и БЗ), соответственно [14]. П I – П XI являются постулатами, представляющими концептуальное знание необходимое и достаточное для того, чтобы его реализация в компьютерной системе делало бы её интеллектуальной.

П I требует формулирования проблемы P1, которой соответствует класс задач (т.е. цель) ИС (заметим, что P1 – исходный пункт в схеме роста знаний эволюционной эпистемологии). П II характеризует типы предметных областей W («миров») и знаний о них. Таковыми являются:

(а) W, факты которой являются случайными событиями;

(b) W, факты которой причинно обусловлены;

(с) W, такие, что факты, принадлежащие W, могут быть как причинно обусловленными, так и случайными событиями. П III выражает адекватность Решателя задач и предметной области W: методы рассуждений и вычислений должны соответствовать типам предметных областей (а), (b) или (с). П IV формулирует условие применимости ИС к предметным областям W. Например, для «миров» W типа (b) должен быть охарактеризован класс каузальных моделей, к которым применим ДСМ-метод.6 П V является центральным принципом, определяющим строение Решателя задач (точнее, его основного модуля – Рассуждателя) и тип рассуждений, используемых для интеллектуального анализа данных (ИАД): формализованная эвристика, реализуемая посредством правдоподобных рассуждений должна быть синтезом познавательных процедур, который используется для решения задач посредством ИС, соответствующих цели ИС – проблеме P1.

Примером такого синтеза являются ДСМ-рассуждения, осуществляющие синтез познавательных процедур – индукции, аналогии и абдукции.

П VI требует, чтобы в правила правдоподобного вывода была встроена возможность фальсификации порождаемых гипотез посредством поиска контрпримеров (заметим, что в симметричном ДСМ-методе [1, Введение, Глава 4]) имеются конфликтующие кандидаты в гипотезы о (±) – причинах, порождаемые позитивными и негативными предикатами сходства М+ и М, соответственно).

П VII (синтез теорий истины) является метатеоретическим принципом, выражающим тот факт, что оценки высказываний в процессе ИАД и порождении гипотез относятся к трем различным теориям истины – теории соответствия (для БФ), теории когерентности (для порождаемых гипотез) и прагматической теории истины (для порожденных и практически верифицированных гипотез).

П VIII выражает инвариантность структуры Рассуждателя относительно варьируемости предметных областей и структур данных. Это означает, что при варьировании W и структур данных фактов из БФ не изменяется тип правил правдоподобного вывода и структура рассуждения. Например, сохраняется синтез познавательных процедур ДСМ-метода – «индукция + аналогия + абдукция».

Следующим принципом является П IX – наличие метауровня ИС. Содержанием этого принципа являются логические средства, достаточные для дедуктивной имитации работы Рассуждателя. Дедуктивная имитация правдоподобных рассуждений в ИС-ДСМ рассмотрена в [1, часть 1, Гл. 5]. Эта имитация создает возможность исследования ИС на логическом уровне.

П Х выражает абдуктивное объяснение результатов ИАД посредством ИС. Естественно, что П Х связан с П V (синтезом познавательных процедур).

Схема абдуктивного объяснения в смысле Ч.С Пирса [8] для ИС имеет следующий вид7:

БФ – база фактов

Н – множество гипотез

Н объясняют БФ

Всякая h, принадлежащая Н, является правдоподобной

В ИС-ДСМ Н = Н1Н2, где Н1 – множество гипотез о ()-причинах, а Н2 – множество предсказаний посредством правил вывода по аналогии с использованием гипотез из Н1. Оценка (истинностное значение) всех гипотез из Н имеет вид = , n или = (, n), где  = 1, – 1, 0, а n0 (n – степень правдоподобия гипотезы, а = , 0 – истинностное значение факта). Очевидно, что П Х является конкретизацией и уточнением интеллектуальной способности (8).

Последним принципом является П ХI – схема роста знания эволюционной эпистемологии К.Р. Поппера Р1 – ТТ – ЕЕ – Р2, которая характеризует процесс функционирования ИС. Р1 – класс решаемых задач, ТТ есть КАТ, частью которой является открытая БФ, ЕЕ – коррекция (например, пополнение БФ; изменение параметров, содержащихся в фактах; изменение стратегий решения задач из Р1 в Рассуждателе и т.п.), а Р2 есть вновь возникающая проблема.

Следует отметить, что П I – П XI не являются независимыми постулатами. Так, из П IV следует П III. Но явная формулировка каждого из них выделяет существенные аспекты. Для П III это определение класса моделей предметных областей (а), (b) или (с), а для П IV конкретная характеризация каждой из этих предметных областей относительно применимости к ним Решателя.

В заключение этого раздела обратим внимание на то, что в смысле данного выше определения ИС не все системы искусственного интеллекта (ИИ) являются интеллектуальными системами. ИС являются компьютерные системы такие, что они имитируют способности (1) – (13) в соответствии концептуальным знанием, представленном в принципах П I – П XI. Эта «жесткость» определения ИС делает их главным продуктом направления исследований ИИ, сопутствующими результатами которого являются системы ИИ, реализующие различные его методы – нечеткие множества, генетические алгоритмы, нейронные сети, автоматическое доказательство теорем, некоторые методы анализа данных (например, деревья решений), отдельные процедуры правдоподобных рассуждений (индукции, аналогии или абдукции).

Подчеркнем еще раз, что имитация способностей (1) – (13), характеризующих ЕИ (точнее, его феноменологию) посредством Решателя задач, БФ и БЗ, является основанием для отнесения компьютерных систем к классу интеллектуальных. Принципы I – XI конкретизирующие реализацию (1) – (13) могут служить «кодексом интеллектуальности» компьютерной системы. Разумеется, что это отнесение её к классу ИС ограничивает произвол в квалификации компьютерных систем как интеллектуальных [3]. В частности, следствием П XI является необходимость включения ИС в реальный процесс исследования, управления или принятия решений, а также открытость её БФ и БЗ; это означает, что ИС является человеко-машинной (партнерской) компьютерной системой (однако ИС может функционировать и в автоматическом режиме).

Открытость БФ и БЗ, строение Решателя задач, реализующего синтез познавательных процедур и возможность взаимодействия логических и вычислительных процедур отличают ИС от экспертных систем, которые можно считать элементарными ИС [15]. Кроме того, ИС в силу выполнимости П XI обладают способностями к эволюции после обнаружения новой проблемы Р2, которую порождают соответствующие усовершенствования версии ИС с новыми стратегиями решения проблем Р1.

В следующем разделе данной статьи будет рассмотрена возможность построения некоторого класса новых стратегий ДСМ-метода.


§2. Метод различия и различные стратегии ДСМ-метода

В [1, 2, 3] были формализованы идеи Д.С.Милля о правилах порождения гипотез о причинах. Однако они уточняли лишь различные варианты индуктивного метода сходства. В данном разделе будет сформулировано одно из возможных формализованных уточнений объединенного метода сходства-различия Д.С.Милля [4]. Ниже приведем формулировки 2-ого и 3-его правил индуктивного вывода для метода различия и объединенного метода сходства-различия.

2-ое правило

«Если случай, в котором исследуемое явление наступает и случай, в котором оно не наступает, сходны во всех обстоятельствах, кроме одного, встречающегося лишь в первом случае, то это обстоятельство, в котором одном только разнятся эти два случая, есть следствие или причина, или необходимая часть причины» ([4], стр. 314).

3-е правило

«Если два или более случая возникновения явления имеют общим лишь одно обстоятельство, и два или более случая невозникновения того же явления имеют общим только отсутствие того же самого обстоятельства, то это обстоятельство, в котором только и разнятся оба ряда случаев, есть следствие или причина, или необходимая часть причины изучаемого явления» ([4], стр. 317).

Как утверждает Д.С.Милль ([4], стр. 316) метод сходства полезен, главным образом, потому, что указывает, где прилагать метод различия. Эта идея используется для формализации объединенного метода сходства-различия, формализуемого ниже.

Объединенный метод сходства – различия предполагает выполнимость метода сходства (простого метода или его усилений в ДСМ-методе посредством дополнительных условий) и существование множества примеров для Х1Y (в том числе, фактов из БФ) таких, что их объекты (т.е. значения Х), сходные с объектами позитивных примеров, но не содержащие искомой причины V, удовлетворяют условию такому, что примеры имеют оценку (–1, n) или (, n) при условии WY, либо эти примеры имеют оценки (1, n), (–1, n), (0, n) или (, n), но (WY).

Трудность в определении метода различия (в том числе и объединенного метода сходства-различия) состоит в том, что требуется исключить влияние других позитивных причин Vi, отличных от искомой причины V для W. В силу этого рассматриваются два случая:

(d1) V – единственная причина эффекта (следствия) W;

(d2) V – не единственная причина, т.е. существуют позитивные причины V1, …, Vm, где m1, такие, что они не сравнимы с V (т.е. ((VVi)(Vi V)) , i = 1, …, m).

В [4] Д.С. Милль учитывал существование множества причин при рассмотрении метода различия. Отметим, что множественность причин весьма существенна при исследовании социально-исторических явлений. Однако в [16] Дюркгейм утверждал, что в социальной жизни следует ограничиваться существованием единственной причины. С точки зрения Д.С. Милля единственность причины является лишь частным случаем онтологии естественных и социальных наук.

Рассмотрим ниже формализацию объединенного метода сходства-различия для случая существования единственной позитивной причины ((+)-причины) V.

В [2] был определен предикат (V, W) для обратного ДСМ-метода с дополнительным условием единственности (e)+ (+)-причины V8. Таким образом, (V, W) есть предикат позитивного сходства с условием единственности причины для обратного ДСМ-метода, где x{a+, a+b+}, a+ и a+b+ – индексы простого (+)-сходства и (+)-сходства с запретом на контрпримеры, соответственно:

(b)+ "X"Y(((VX)&(WY))(J(1,n)(X1Y)J(,n)(X1Y)))9 ,

(e)+ "U((V,U)(W=U)),



(V,W)⇌(V,W)&U((V,U)(W=U)).

Для прямого ДСМ-метода ([1], Введение: Главы 1 и 4) определим (V,W) аналогично: (V,W) ⇌ (V,W)&U((V,U)(W=U)).

В определении предикатов сходства (V, W), где {+, –}, представимы три условия – экзистенциальное условие (ЭУ), эмпирическая зависимость (ЭЗ) и нижняя граница числа сходных примеров km, где k и m – число сходных примеров и нижняя граница этого числа (обычно применяется k2).

Посредством d1(l) обозначим дополнительное условие, выражающее идею метода различия Д.С. Милля ([4], книга III, глава VIII, §1. Метод сходства, §2. Метод различия, §3. Взаимные отношения между этими методами, §4. Соединенный метод сходства-различия, стр. 310 – 319).

Обозначим посредством Х\V операцию разности множеств, тогда экзистенциальное условие (ЭУ) и условие эмпирической зависимости (ЭЗ) вместе с условием исчерпываемости (УИ), соответственно, будут представлены следующим образом.

(ЭУ)


Х1... ХlZ1... Zl([((Xi=((X\V)Zi))&((X\V)=)&((VZi)(ZiV)))& ((J(1,n)(Xi1Yi)&(WYi))(WYi))]).

(ЭЗ) с (УИ)

XY(J(1, n)(X1Y)&(VX)&(WY)&X0Y0Z0[((X0=((X\V)Z0))& ((X\V)=)&((VZ0)(Z0V))&J(n)(V2W)&(V,W)&(V, W)) ((J(1, n)(X01Y0)&(WY0)(WY0))&(((X0=Xi)&(Y0=Yi)&(Z0=Zi))))]),

где условие исчерпываемости (УИ) есть подформула (ЭЗ): (((X0=Xi)&(Y0=Yi)&(Z0=Zi))), а x{a+е+, a+b+е+}, y{а, ab, aе, abе}, a+, b+, е+ и a, b, е – добавочные условия для (+)- и (–)-предикатов прямого метода сходства (V,W) и (V, W), соответственно.

Таким образом, условие d1(l) для объединенного метода сходства-различия Д.С. Милля с единственной (+)-причиной в формализме ДСМ-метода выражается следующим образом: d1(l) = ((ЭУ)&(ЭЗ)&(l2)).

Обозначим предикат положительного сходства-различия с условием единственности причины W посредством (V,W), тогда (V,W) ⇌ l((V,W)d1(l)), где x{a+е+, a+b+е+}, а y{а, ab, aе, abе} (y – индекс (имя) (V, W), входящего в (ЭЗ)).

Определенное выше семейство предикатов (V,W) используется для задания правил правдоподобного вывода (п.п.в.-1):

J(,n)(V2W), (V,W)&Mz,n(V,W)

(I)+n ,



J1,n+1(V2W)
где x{a+е+, a+b+е+}, а z{а, ab, aе, abе}, а n – параметр (число применений правил вывода).

Аналогично определяются п.п.в.-1 (I)n, (I)0n и (I)n (см. [1], Введение: Главы 1 и 2).

В [2] (часть III, Глава 2, О ситуационном расширении ДСМ-метода автоматического порождения гипотез, стр. 428 – 445, Глава 3, О логических средствах автоматизированного анализа мнений, стр. 446 – 484) и в [1] (Часть I, Глава 1, ДСМ-метод автоматического порождения гипотез с отношением порядка, стр. 166 – 191, Глава 2, Об обобщенном ДСМ-методе автоматического порождения гипотез, стр. 192 – 213) были рассмотрены различные типы М-предикатов сходства и соответствующие им п.п.в.-1. Они использовались для определения различных вариантов ДСМ-метода. Таковыми являются простой прямой метод сходства, обратный (простой) метод сходства, обобщенный ДСМ-метод, ситуационный (простой) ДСМ-метод. Перечисленные ДСМ-методы будем называть типом ДСМ-метода. Каждый тип может иметь спецификацию в соответствии с добавками для эмпирических зависимостей (ЭЗ) b, е, di, где {+, –}, а i = 1, 1 для двух видов метода различия. Очевидно, что приведенные выше добавки являются лишь уже сформулированными условиями, а их множество допускает расширение в соответствии с проблемой Р1, решаемой в ИС.

Тип ДСМ-метода и его спецификация определяют элементарную ДСМ-стратегию (Str). Объединение двух ДСМ-стратегий (Str = Str1Str2) будем называть неэлементарной ДСМ-стратегией, если объединение порожденных ими гипотез Н1Н2 является непротиворечивым10.

Возможны несколько определений непротиворечивости Н1 и Н2.

Рассмотрим следующие два определения.

(а) Н1 и Н2 непротиворечивы, если в них не существуют гипотезы 1 и 2 такие, что 1Н1 и 2 Н2, где 1=J,n и 2 = J,m,, , {1, –1}.

(b) Изменяется условие , {1, –1}: требуется , {1, –1, 0}.

Очевидно, что и в случае (а), и в случае (b) гипотезы J(,n) и J,m, где {1, –1, 0} не считаются противоречивыми.

Приведем примеры простых элементарных стратегий ДСМ-метода (ДСМ-стратегий).



  1. Простой ДСМ-метод: M+a,n(V,W), Ma,n(V,W).

  2. Простой ДСМ-метод с запретом на контрпримеры (сильный вариант): M+ab,n(V,W), Mab,n(V,W).

  3. Простой ДСМ-метод с запретом на контрпримеры (слабый вариант): M+ab,n(V,W), Ma,n(V,W).

  4. Простой ДСМ-метод с запретом на контрпримеры (слабый вариант), дуальный случай 2: M+a,n(V,W), Mab,n(V,W).

  5. Простой ДСМ-метод с предикатом сходства-различия d1 (условие d1(l)): (V,W), Ma,n(V,W).

Если определить (V,W), используя определения Ma,n(V,W) в [1] (Введение, Глава 4), то можно определить стратегию с единственными (+)- и (–)-причинами:

  1. (V,W), (V,W).

  2. Интересно определить класс стратегий, включающих условие d1(l) для ситуационной версии ДСМ-метода (аналогичное можно сделать и для класса ДСМ-стратегий с отношением порядка).

Разумеется, что требуется рассмотреть классы стратегий, включающих условие d2 без требования единственности причин (в том числе и для ситуационной версии ДСМ-метода)11.

Следует обратить внимание на важное обстоятельство, характеризующее строение ДСМ-метода. ДСМ-метод состоит из двух этапов рассуждений и процесса рассуждений ([3], стр. 25 – 26). Этап I представляет цикл применения последовательных шагов п.п.в.-1 (индукции) и п.п.в.-2 (аналогии) до стабилизации, когда порождаемое множество гипотез не изменяется. Этап II есть применение абдукции. Процессом ДСМ-рассуждения называется построение последовательности n-ых состояний ИС Sn = 2n-1, 2n-2 и Sn+1 = 2n, 2n-1, где i – множество порожденных гипотез о ()-причинах посредством п.п.в.-1 (индукции), а j – множество порожденных гипотез посредством п.п.в.-2 (аналогий), т.е. предсказаний относительно наличия (отсутствия) эффектов, представленных в БФ.

Процесс ДСМ-рассуждений осуществляет абдуктивную сходимость – достижение заданных порогов объяснения m-го состояния БФ: +m = +, и m = , где + и  – заданные пороги, а – фрагмент БФ, имеющий объяснения посредством (+)- и (–)-причин, соответственно ({+, –}); а БФ и |БФ| – часть БФ для ()-примеров и число таких примеров в ней, соответственно ([3], стр. 25).

Таким образом, завершенная стратегия ДСМ-метода есть применение выбранной стратегии для Этапа I и Этапа II и последующего процесса рассуждения – достижения абдуктивной сходимости к порогам + и .

Охарактеризованные выше стратегии ДСМ-метода реализуются в двух возможных режимах – автоматическом и интерактивном. Первый применяется тогда, когда достигаются пороги + и  без расширения БФ, второй – когда порождается последовательность расширений БФ до достижения + и .

На Этапе I ДСМ-рассуждений применяются, как было сказано выше, п.п.в.-1 и п.п.в.-2. Последние используют предикаты Пn(V, W), представляющие процедуру аналогии ({+, –, 0, }). П.п.в.-2 имеют следующий вид:


J(,n)(V1W), П+n(V,W)

(II)+n .



J1,n+1(V1W)

Аналогично определяются (II)n и Пn(V,W) для {–, 0, }.

Заметим, что Пn(V,W) в качестве подформул содержат J(,n)(Xi2Yi), где {1, –1, 0}. Эти подформулы эквивалентным образом могут быть заменены на формулы, содержащие предикаты Mх,n(Xi,Yi) в силу утверждения об обратимости правил вывода в ДСМ-рассуждении ([1], Часть 1, Глава 5). В частности, для  = + имеем J1,n(Xi2Yi)  (J(1,n–1)(Xi2Yi)&M+х,n–1(Xi,Yi)&Mх,n–1(Xi,Yi)).

Так как J(1,m) = J1,j, то



J1,n(Xi2Yi)  ((J(1,j)(Xi2Yi)& M+х,j(Xi,Yi)& Mх,j(Xi,Yi))). (*)

После соответствующих замен в П+n(V,W) получим процедурное выражение [П+n(V,W)]x, называемое однородным процедурным выражением, которое определяет однородные ДСМ-стратегии типа х, где х – индекс Mх,n предикатов, входящих в п.п.в.-1. В связи со сказанным возникает проблема определения неоднородных ДСМ-стратегий для различных х1, …, хs.

Выше было введено понятие элементарных стратегий ДСМ-метода и определено объединение двух стратегий Str1Str2, образующих неэлементарную стратегию.

Пусть Str – множество заданных элементарных стратегий, тогда на Str определим операции ,  и отношение  следующим образом. Обозначим посредством i и i множество всех гипотез о причинах и множество всех предсказаний посредством аналогий, соответственно, для i–той стратегии Stri, где ({+, –, 0, }. Пусть, далее, Нi = ii, где i = 1i  –1i  0i  i, а i = 1i–1i 0ii, i = 1, 2. Тогда Str1Str2 определим следующим образом: Str1Str2 = 11  12, –11  –12, 01  02, 1  2. Аналогично определим Str1Str2 и Str1Str2.

Очевидно, что можно обобщить определение неэлементарной стратегии ДСМ метода для Str = Stri.

Str = Str1Str2 была названа неэлементарной стратегией, если Н1 и Н2 непротиворечивы, где Н1 = 11 и Н2 = 22. ДСМ-стратегии можно упорядочить посредством отношения .

На множестве Str можно определить информационные (количественные) показатели эффективности ДСМ-стратегии порождения гипотез – степень полноты Str (recall ratio) rc и степень точности (precision ratio) pr [18].

Пусть R1 и R2 – множество релевантных гипотез о причинах (с предикатом 2) и предсказаний (с предикатом 1), где R1 = R(1)1  R(–1)1  R(0)1  R()1, а R2 = R(1)2  R(–1)2  R(0)2  R()2. Под релевантными гипотезами следует понимать либо апостериорно оправданные (верифицированные) гипотезы, либо априорно оправданные гипотезы. Заметим, что в первом случае они истинны согласно теории соответствия, а во втором – согласно когерентной теории истины, что отвечает постулату П VII (синтез теорий истины).

Степень полноты i-той Stri определим следующим образом: rc()i = , rc()i, = , где R = R  RГ, а символ |X| означает число элементов множества Х.

Степень точности i-той Stri определим следующим образом: рr()i, = , рr()i = . Очевидно, что рr()i,, рr()i, rc()i,, rc()i сравниваются с соответствующими показателями Strj. Используя эти показатели, можно определить частичный порядок информационной эффективности ДСМ-стратегий множества данных стратегий Str.

Таким образом, на Str индуцируются три типа частичных порядков по отношению  и согласно двум показателям эффективности Strpr и rc. Очевидно, что имеются отношения частичного порядка для rc()i,, rc()i и рr()i,, рr()i, соответственно, где {1, –1, 0, }: rc()i,, rc()i ≽1()rc()j,, rc()j и рr()i,рr()i ≽2()рr()j,, рr()j. Можно определить и интегральное отношение частичного порядка ≽3(): rc()i,, rc()i, рr()i,рr()i≽3() rc()j,, rc()j, рr()j,рr()j.

Следует обратить внимание на нетривиальность формирования множеств релевантных гипотез R()1, и R2() ({1, –1, 0, }). Как было отмечено выше, ими могут быть ранее практически верифицированные гипотезы или собранные из различных источников элементы БЗ. Это обстоятельство выражает исследовательский характер ИС (как человеко-машинных партнерских систем) и необходимость использования последовательных состояний ИС – их «истории».

Очевидно, что выбор стратегий и определение их эффективности осуществляются посредством Решателя задач с использованием Рассуждателя, Синтезатора и Вычислителя. Отметим также, что БЗ ИС типа ДСМ содержат знания о множестве стратегий Str (разумеется, для достаточно развитой или даже для «идеальной» ИС-ДСМ).


  1   2

Похожие:

В. К. Финн Своевременные замечания о дсм-методе автоматического порождения гипотез §1 Строение дсм-метода Подробное изложение iconУдк.? Об одном классе логик аргументации
Рассматривается класс четырехзначных логик аргументации. Предлагается логика аргументации, соответствующая симметричному дсм-методу...
В. К. Финн Своевременные замечания о дсм-методе автоматического порождения гипотез §1 Строение дсм-метода Подробное изложение iconВ работе предлагается альтернативный вариант логических оснований дсм-метода
Дсм-методу. В частности, он должен чаще порождать противоречивые гипотезы. Проблемы практического применения данного метода требуют...
В. К. Финн Своевременные замечания о дсм-методе автоматического порождения гипотез §1 Строение дсм-метода Подробное изложение iconДсм милли барышыьа кюрпц салды
Дсм-дя чюзцлдц. Августун 3-дя 5 илдян бяри илк дяфя олараг, мцхалифят-игтидар бир масaйа отурду. Бу барышдырыъы миссийаны ися щяйата...
В. К. Финн Своевременные замечания о дсм-методе автоматического порождения гипотез §1 Строение дсм-метода Подробное изложение iconО. М. Аншаков дсм-метод и модификационные исчисления
Названия и обозначения внутренних истинностных значений, а также необходимые пояснения, содержатся в таблице 1
В. К. Финн Своевременные замечания о дсм-методе автоматического порождения гипотез §1 Строение дсм-метода Подробное изложение iconЛекции д т. н., проф. В. К. Финн «Актуальные проблемы методологии наук о человеке и обществе: аргументация и строение понятий»
В. К. Финн «Актуальные проблемы методологии наук о человеке и обществе: аргументация и строение понятий»
В. К. Финн Своевременные замечания о дсм-методе автоматического порождения гипотез §1 Строение дсм-метода Подробное изложение iconМетод проверки статистических гипотез для выявления «подозрительных» терминалов
Анализируется применение метода проверки статистических гипотез для выявления pos терминалов, работающих с пластиковыми картами и...
В. К. Финн Своевременные замечания о дсм-методе автоматического порождения гипотез §1 Строение дсм-метода Подробное изложение iconПонятия о проверке статистических гипотез
Основные понятия теории проверки статистических гипотез были выработаны для параметрических гипотез, а впоследствии распространены...
В. К. Финн Своевременные замечания о дсм-методе автоматического порождения гипотез §1 Строение дсм-метода Подробное изложение iconОсновные правила метода
Рассуждение о методе, чтобы верно направлять свой разум и отыскивать истину в науках
В. К. Финн Своевременные замечания о дсм-методе автоматического порождения гипотез §1 Строение дсм-метода Подробное изложение icon«Подробное изложение повествовательного текста»
Оборудование: листы с текстами (сказка Л. Н. Толстого); памятки по трём типам речи; записи на доске; словарь С. И. Ожегова; гербарий...
В. К. Финн Своевременные замечания о дсм-методе автоматического порождения гипотез §1 Строение дсм-метода Подробное изложение iconАхутина Т. В. Нейролингвистический анализ динамической афазии
Рябова Т. В. Механизм порождения речи по данным афазиологии. // В сб. Вопросы порождения речи и обучения языку. Под ред. А. А. Леонтьева...
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org