ДСМ-метод: различия между версиями
| [непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
ButkoBot (обсуждение | вклад) Википедия:Страницы с ошибками в викитексте, Replaced: :== → ==, |
Structor (обсуждение | вклад) разрешение неоднозначности с помощью AWB |
||
Строка 1:
'''ДСМ-метод''' – это метод автоматического порождения [[гипотеза|гипотез]]. Формализует схему правдоподобного и достоверного вывода, называемую ДСМ-рассуждением.
ДСМ-рассуждение является синтезом познавательных процедур: [[индукция|индукции]], [[аналогия|аналогии]] и [[абдукция|абдукции]].
ДСМ-метод был создан как средство автоматизированного построения формализации знаний о предметной области средствами так называемых квазиаксиоматических теорий (КАТ).
==История==
ДСМ-метод автоматического порождения гипотез был предложен [[Финн Виктор Константинович|В. К. Финном]] в конце семидесятых годов. Название метода составляют инициалы известного английского философа, логика и экономиста [[Джон Стюарт Милль|Джона Стюарта Милля]], чьи “методы здравомыслящего естествоиспытателя” частично формализованы в ДСМ-методе.
Исторически, первым примером задач, для решения которых применялись ДСМ-системы, является выявление причинно-следственных закономерностей вида структура-активность в [[фармакология|фармакологии]]. В [[1997]]-[[1998]] годах был проведен ряд компьютерных [[эксперимент]]ов, целью которых являлась оценка возможности создания [[интеллектуальная система|интеллектуальной системы]], которая позволяла бы определить степень риска возникновения у больного [[рецидив]]а аденомы [[гипофиз]]а после
Кроме этого, ДСМ-системы успешно применялись в задачах технической диагностики и в исследовании детерминант социологического поведения.
Строка 45 ⟶ 47 :
:*'''V''' — множество оценок. '''V''' = {+1, –1, 0, <math>\tau</math>}.
Введём [[
:*'''F(o, p) = +1''' — известно, что объект o обладает свойством p;
Строка 72 ⟶ 74 :
:*'''H(c, p) = <math>\tau</math>''' — неизвестно, является ли c причиной наличия p или причиной отсутствия этого свойства.
Значения функции H для каждой пары (c, p) находятся с помощью правил правдоподобного вывода. Эти правила называются правилами первого рода. Сокращенное обозначение — '''PIR<sub>1</sub>''' (от Plausible Inference Rules). Правила первого рода можно рассматривать как функцию, использующую матрицу F для получения матрицы H, т.е. <br />'''H = PIR<sub>1</sub>(F)'''.
Пусть p — некоторое свойство.<br />
Объект o является:
Строка 97 ⟶ 99 :
(–)- и (0)-условия - аналогично.
Через '''M<sup>+</sup>(F, c, p)''' будем обозначать тот факт, что c удовлетворяет (+)-условию для p относительно F . <br />
Через '''M<sup>-</sup>(F, c, p)''' - тот факт, что c удовлетворяет (-)-условию для p относительно F . <br />
Через '''M<sup>0</sup>(F, c, p)''' - тот факт, что c удовлетворяет (0)-условию для p относительно F .
Строка 357 ⟶ 359 :
==Ссылки==
[http://www.raai.org/about/persons/dobrynin/pages/kii2006.html Добрынин Д.А. Динамический ДСМ-метод в задаче управления интеллектуальным роботом]<br />
[http://posp.raai.org/data/posp2005/SIR/Dobrynin/dobrynin.html Добрынин Д.А. Применение ДСМ-метода в задачах адаптивного поведения роботов]<br />
[http://lib.socio.msu.ru/l/library?e=d-000-00---0kongress--00-0-0-0prompt-10---4------0-1l--1-ru-50---20-help---00031-001-1-0windowsZz-1251-00&a=d&cl=CL1&d=HASH019a5c7b08f0cc2ee6c46dbd.2.3 Михеенкова М.А., Финн В.К. Интеллектуальные системы для анализа социологических данных: задачи, логика, архитектура]<br />
[http://www.dialog-21.ru/dialog2006/materials/html/Kozhunova.htm Кожунова О.С. Применение правдоподобных рассуждений ДСМ-метода для пополнения семантического словаря]<br />
[http://www.raai.org/resurs/papers/kii-2008/ Труды XI Национальной конференции по искусственному интеллекту с международным участием]
| |||