ОСОБЕННОСТИ РАБОТЫ МАШИНЫ ВЫВОДА СИСТЕМЫ МОДЕЛИРОВАНИЯ ПРАВДОПОДОБНЫХ… · LibMeta · SciLib
Журнал ИМТ Статья журнала ИМТПубликацияНаучная статья

ОСОБЕННОСТИ РАБОТЫ МАШИНЫ ВЫВОДА СИСТЕМЫ МОДЕЛИРОВАНИЯ ПРАВДОПОДОБНЫХ РАССУЖДЕНИЙ «ГЕРАКЛИТ»

http://libmeta.ru/object/imt_pub_235

Аннотация

В работе обсуждаются вопросы организации логического вывода в инструментальной среде разработки экспертных систем «Гераклит». Вывод в ней представляет собой цепочку вычислений на продукционной вычислительной сети с тремя типами вершин: вершины -факты, вершины -проду кции и вершины -объединения свидетельств . Продукции упорядочиваются причинно- следственным образом. При выводе не требует ся сопоставл ять факт ы с шаблонами и многократн о переб ирать продукци и, что делает его достаточно быстрым и эффективным .

Данные

pages17-28
год2016
pageEnd28
pageStart17

автор

Аршинский Леонид Вадимович

тема

Экспертная система vtf-логики вычислительная сеть присоединенный вывод машина вывода 832.3 база знаний логики с векторной семантикой экспертная система 004.891

цитирует

Анализ классических методов объединения свидетельств в экспертных системах Организация знаний в системе моделирования правдоподобных рассуждений «Гераклит» Свидетельство об официальной регистрации программы для ЭВМ «HERACLIT 2006» Свидетельство об официальной регистрации программы для ЭВМ «Гераклит 2.Х» Экспертные системы: принципы разработки и программирования Многозначные логики с векторной семантикой Экспертный комплекс для наладки преобразователей частоты Интервальное оценивание истинности в системах автоматизированных рассуждений на…

ссылается на

Анализ классических методов объединения свидетельств в экспертных системах Организация знаний в системе моделирования правдоподобных рассуждений «Гераклит» Свидетельство об официальной регистрации программы для ЭВМ «HERACLIT 2006» Свидетельство об официальной регистрации программы для ЭВМ «Гераклит 2.Х» Экспертные системы: принципы разработки и программирования Многозначные логики с векторной семантикой Экспертный комплекс для наладки преобразователей частоты Интервальное оценивание истинности в системах автоматизированных рассуждений на…

ключевое слово

vtf-логики вычислительная сеть присоединенный вывод машина вывода база знаний логики с векторной семантикой экспертная система

УДК

832.3 004.891

в журнале

Information and mathematical technologies in science and management

опубликовано в

ИМТ № 2 / 2016

часть

Information and mathematical technologies in science and management ИМТ № 2 / 2016

упоминает понятие

Экспертная система

в ключевых словах

Экспертная система

содержит фрагмент

235_0 235_1 235_10 235_11 235_12 235_13 235_14 235_15 235_16 235_17 235_18 235_19 +10

Входящие связи

← цитирует · 2
ВЕКТОРНЫЕ ФОРМАЛИЗМЫ В ЛОГИКЕ И ЛОГИКО МАТЕМАТИЧЕСКОМ МОДЕЛИРОВАНИИ ОБНАРУЖЕНИЕ ПРОТИВОРЕЧИЙ В ПРОДУКЦИОННОЙ БАЗЕ ЗНАНИЙ СРЕДСТВАМИ VTFЛОГИК
← ссылается на · 2
ВЕКТОРНЫЕ ФОРМАЛИЗМЫ В ЛОГИКЕ И ЛОГИКО МАТЕМАТИЧЕСКОМ МОДЕЛИРОВАНИИ ОБНАРУЖЕНИЕ ПРОТИВОРЕЧИЙ В ПРОДУКЦИОННОЙ БАЗЕ ЗНАНИЙ СРЕДСТВАМИ VTFЛОГИК
← содержит статью · 1
Information and mathematical technologies in science and management
← фрагмент статьи · 22
235_0 235_1 235_10 235_11 235_12 235_13 235_14 235_15 235_16 235_17 235_18 235_19 ещё 10
← Contains · 1
Information and mathematical technologies in science and management
← содержит · 1
Information and mathematical technologies in science and management