Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://edoc.bseu.by:8080/handle/edoc/85131
Название: | Формальный анализ свойств экспертных систем типа "MYCIN" |
Авторы: | Голиков, В. П. |
Ключевые слова: | экспертные системы;компьютерные системы;технология экспертных систем;аналитические методы вычисления;expert systems |
Дата публикации: | 2001 |
Издательство: | Белорусский государственный экономический университет |
Language: | Русский |
Type: | Article |
Библиографическое описание: | Голиков, В. П. Формальный анализ свойств экспертных систем типа "MYCIN" / В. П. Голиков // Информационные сети, системы и технологии = Information Networks, Systems and Technologies : труды VII международной конференции ICINASTe'2001, Минск, 2-4 октября 2001 г. В 3 т. Т.3. / Под ред. А. Н. Морозевича, Е. В. Хандогиной. – Минск : БГЭУ, 2001. – С. 40-46. |
Краткий осмотр (реферат): | Статья посвящена формальному анализу свойств экспертных систем, оперирующих с коэффициентами доверия к гипотезам, вытекающим из фактов. Приводится аксиоматическое построение двухпозиционной логики, описывающее логические отношения между фактами и гипотезой. Устанавливается соответствие между логической формой гипотезы и двухполюсным графом. Вводятся аксиомы метрики на логике и анализируются их свойства. Доказывается каким ограничениям должна удовлетворять логическая форма и граф гипотезы, чтобы численное значение метрической формы вычислялось однозначно. |
URI (Унифицированный идентификатор ресурса): | http://edoc.bseu.by:8080/handle/edoc/85131 |
ISBN: | 985-426-694-X |
Располагается в коллекциях: | Информационные сети, системы и технологии = Information Networks, Systems and Technologies |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
Golikov_40_46.pdf | 488.85 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.