1. Электронная библиотека БГЭУ
  2. 2. Научные публикации
  3. Материалы конференций
  4. Информационные сети, системы и технологии = Information Networks, Systems and Technologies
Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen: http://edoc.bseu.by:8080/handle/edoc/85131
Titel: Формальный анализ свойств экспертных систем типа "MYCIN"
Autoren: Голиков, В. П.
Stichwörter: экспертные системы;компьютерные системы;технология экспертных систем;аналитические методы вычисления;expert systems
Erscheinungsdatum: 2001
Herausgeber: Белорусский государственный экономический университет
Language: Русский
Type: Article
Zitierform: Голиков, В. П. Формальный анализ свойств экспертных систем типа "MYCIN" / В. П. Голиков // Информационные сети, системы и технологии = Information Networks, Systems and Technologies : труды VII международной конференции ICINASTe'2001, Минск, 2-4 октября 2001 г. В 3 т. Т.3. / Под ред. А. Н. Морозевича, Е. В. Хандогиной. – Минск : БГЭУ, 2001. – С. 40-46.
Zusammenfassung: Статья посвящена формальному анализу свойств экспертных систем, оперирующих с коэффициентами доверия к гипотезам, вытекающим из фактов. Приводится аксиоматическое построение двухпозиционной логики, описывающее логические отношения между фактами и гипотезой. Устанавливается соответствие между логической формой гипотезы и двухполюсным графом. Вводятся аксиомы метрики на логике и анализируются их свойства. Доказывается каким ограничениям должна удовлетворять логическая форма и граф гипотезы, чтобы численное значение метрической формы вычислялось однозначно.
URI: http://edoc.bseu.by:8080/handle/edoc/85131
ISBN: 985-426-694-X
Enthalten in den Sammlungen:Информационные сети, системы и технологии = Information Networks, Systems and Technologies

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
Golikov_40_46.pdf488.85 kBAdobe PDFÖffnen/Anzeigen
Zur Langanzeige Diese Ressource jemandem empfehlen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt, soweit nicht anderweitig angezeigt.