Частичная выводимость предикатных формул как средство распознавания объектов с неполной информацией

Результат исследований: Научные публикации в периодических изданияхстатьярецензирование

Аннотация

Рассматриваются задачи адаптации логико-предметной распознающей системы к распознаванию в условиях неполной информации об объекте. С этой целью вводится понятие неполного вывода, заключающееся в том, что из имеющегося множества формул выводима лишь подформула заданной формулы, но сама формула не противоречит заданному множеству. Даются алгоритмы построения неполного вывода, позволяющего отнести распознаваемый объект к тому или иному классу с определенной (вычисляемой в процессе работы алгоритма) степенью уверенности. Доказываются оценки числа шагов работы этих алгоритмов. Библиогр. 3 назв.

The notion of partial deduction of a predicate formula from a set of atomic formulas without variables or their negations is introduced. Such a notion allows to solve various pattern recognition problems with incomplete description of a recognizable object. Algorithms based on partial deduction which solve such problems are constructed. These algorithms run upper bounds of step number are proved.

Язык оригиналарусский
Страницы (с-по)74-83
ЖурналВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 10: ПРИКЛАДНАЯ МАТЕМАТИКА, ИНФОРМАТИКА, ПРОЦЕССЫ УПРАВЛЕНИЯ
Номер выпуска1
СостояниеОпубликовано - 2009

Цитировать