Автор: Сергей Юрьквич Соловьев
Соавторы:
Н.А.Моросанова
Аннотация:
Рассматриваются изоморфные отображения схемы Шортлиффа, позволяющие использовать для комбинирования свидетельств, в частности, операции сложения и умножения действительных чисел.
Исследуются вопросы конструирования изоморфизмов, порождающих схемы правдоподобных рассуждений с заданными свойствами.
Ключевые слова:
продукционная система,
схема Шортлиффа, комбинирование коэффициентов уверенности