Стартовая страница G l o s s a r y   C o m m a n d e r

Служба тематических толковых словарей

glossary.ru
park.glossary.ru
Служебная библиотека
 н а  п р а в а х  р е к л а м ы 

 Чтение: 1  | 2  | 3  | 4  | 5  | 6  | 7  | 8  | 9  | 10  | 11  | 12  | 13  | 14
 
УДК 519.715
ББК 35.41
Н.А.Моросанова, C.Ю.Соловьев

ФОРМАЛЬНЫЕ СВОЙСТВА СХЕМЫ ШОРТЛИФФА

(авторская копия статьи)
 
Серьезное
чтение
на glossary.ru
.pdf ( 0.6 Mb )
.ppt ( 3.6 Mb )
Ключевые слова: продукционная система, схема Шортлиффа, комбинирование коэффициентов уверенности.
© Н.А.Моросанова, С.Ю.Соловьев, 2012
Оригинал
Образец цитирования
Моросанова Н.А., Соловьев С.Ю. Формальные свойства схемы Шортлиффа. / Управление большими системами, выпуск 36. - М.: ИПУ РАН, 2012, C. 5-38
Рассматриваются изоморфные отображения схемы Шортлиффа, способные существенно изменять составляющие эту схему функции вычисления коэффициентов уверенности. Исследуются вопросы конструирования изоморфизмов, порождающих схемы правдоподобных рассуждений с заданными свойствами.
Введение
Когда-то инженерно-технические работники зачитывались книгой Д.Пойа [8] "Математика и правдоподобные рассуждения". Книга буквально подталкивала к конструированию формальных структур неформальных рассуждений, коих и было придумано весьма немало. Те времена миновали и оставили нам в пользование несколько вполне утвердившихся методов.

В наступившую эпоху инноваций длинная история применений стала едва ли не главным аргументом при выборе схем рассуждений и иных правдоподобных моделей и методов. Именно поэтому любая эвристическая модель, задействованная в десятках проектов, достойна стать предметом отдельного исследования.

В работе рассматривается весьма известная схема правдоподобных рассуждений Э.Шортлиффа (см. разделы 1 и 2), именуемая также моделью Шортлиффа-Бучанана и стэндфордской теорией фактора уверенности [7]. В качестве инструмента исследования выбраны изоморфные отображения (см. разделы 3 и 4), позволяющие строить аналоги схемы Шортлиффа.

С функциональной точки зрения аналоги способны полноценно заменить в экспертной системе оригиал. С точки зрения инженерии знаний внутреннее устройство аналогов (см. разделы 5, 6, 10, 11 и 12) и сам факт их существования открывают новые возможности и порождают новые задачи. В части возможностей вскрывается, например, наличие "родственных связей" с другими областями информатики (см. комментарий к свойству 1 из раздела 6), позволяющие привлечь для целей извлечения знаний наработанные там методы. Кроме того, располагая рядом аналогов, инженер по знаниям может буквально "по-гоголевски" реализовать уникальную схему правдоподобных рассуждений: ... губы аналога-1 да приставить к носу аналога-2 ... и т.д. А главной из вновь приобретенных задач является задача порождения аналога с заданными характеристиками (см. разделы 7, 8 и 9). Комплекс задач формального исследования схем правдоподобного вывода, изоморфных схеме Шортлиффа, и составляют основное содержание последующего изложения.
1. Схема Шортлиффа
2. Функция комбинирования Шортлиффа
3. Трансформации схемы Шортлиффа
4. Расширенная числовая прямая
5. Семейство трансформаций No.1
6. Семейство трансформаций No.2
7. Задачи выявления и доопределения
8. Задача обнаружения отображений
9. Функции комбинирования Хамахера
10. Схемы Шортлиффа-Хамахера
11. Подвиды схемы Шортлиффа-Хамахера
12. Схема Шортлиффа на [0,1]

13. Выводы и перспективы
Итак, схема Шортлиффа (и другие аналогичные системы функций) посредством изоморфных преобразований может изменять свое "обличие" весьма радикально. Однако при этом приходится считаться с тем, что трансформации функции комбинирования могут породить достаточно сложные трансформации функции ослабления. В развитие темы имеет смысл исследовать задачи поиска приемлемой пары трансформаций и/или выбора их допустимых приближений.
Литература
  1. Батыршин И. З. Основные операции нечеткой логики и их обобщения. - Казань: Отечество, 2001. - 100 c.
  2. Дюбуа Д., Прад А. Теория возможностей. Приложения к представлению знаний в информатике. - М.: Радио и связь, 1990. - 288 c.
  3. Ильин В.А., Позняк Э.Г. Основы математического анализа : учеб. для вузов, часть II. - 3-е изд. - М.: Наука, Физматлит, 1998. - 448 c.
  4. Кононова И.Н., Лычак О.А., Файнштейн С.И. О некоммутативности совместного использования коэффициентов определенности в схеме приближенных рассуждений системы MYCIN // Материалы XI Всероссийского семинара "Нейроинформатика и ее приложения". - Красноярск: ИВМ СО РАН, 2003. С.88-89.
  5. Кудрявцев Л.Д. Курс математического анализа: том 1. - М.: Высшая школа, 1981. - 687 с.
  6. Курош А.Г. Теория групп. - М.: Наука, 1967. - 648 с.
  7. Люгер Дж. Ф. Искусственный интеллект: стратегии и методы решения сложных проблем. - М.: И.Д. Вильямс, 2003. - 864с.
  8. Пойа П. Математика и правдоподобные рассуждения - М.: Наука, 1975. - 462 c.
  9. Попов Э.В. Экспертные системы: Решение неформальных задач в диалоге с ЭВМ - М.: Наука, 1987. - 288 c.
  10. Руководство по кредитному скорингу / Под ред. Э. Мэйз - Минск: Гревцов Паблишер, 2008. - 464 с.
  11. Тронин С.Н. Введение в теорию групп. Задачи и теоремы: часть 1. - Казань: Казанский государственный университет, 2006. - 100 с.
  12. Экспертные системы: принципы разработки и программирование / Ред. Дж. Джаррантано, Г. Райли - М.: И.Д. Вильямс, 2007. - 1152с.
  13. Стефанюк В. Л. Некоторые аспекты теории экспертных систем. // Известия АН СССР. Техническая кибернетика. - 1987. - No. 2. - С.85-91.
  14. Cheng Y., Kashyap R. L. An Axiomatic Approach for Combining Evidence from a Variety of Sources // Journal of Intelligent and Robotic Systems. - 1988, No. 1. P.17-33.
  15. Johnson N., Kotz S. Axiomatic Approach to Formulas for Combining Likelihoods or Evidence // Journal of Statistical Computation and Simulation. - 1989, No. 31. P.49-54.
  16. Metcalfe G., Olivetti N., Gabbay D. Proof Theory for Fuzzy Logics - Berlin: Springer, 2009. - 276 p.
  17. Rule-Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project / Edited by B.G. Buchanan, E.H. Shortliffe - MA: Addison-Wesley, 1984. - 748 p.
FORMAL PROPERTIES OF THE SHORTLIFFE SCHEME

Natalia Morosanova, Moscow State University, Moscow, post-graduate (nmorosanova@gmail.com),
Sergey Soloviev, Moscow State University, Moscow, Doctor of Science, professor (soloviev@glossary.ru).

ABSTRACT: This paper considers isomorphic mapping of Shortliffe scheme, that can significantly modify scheme's functions for calculating the certainty factors. Investigate questions of construction of the isomorphisms generating schemes of plausible reasoning with desired properties.


П|р|о|д|о|л|ж|е|н|и|е ►



Copyright ©
2000-2014
Web-and-Press


webadmin@glossary.ru