Standard

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

в: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 10: ПРИКЛАДНАЯ МАТЕМАТИКА, ИНФОРМАТИКА, ПРОЦЕССЫ УПРАВЛЕНИЯ, № 1, 2009, стр. 74-83.

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

Harvard

Косовская, ТМ 2009, 'Частичная выводимость предикатных формул как средство распознавания объектов с неполной информацией', ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 10: ПРИКЛАДНАЯ МАТЕМАТИКА, ИНФОРМАТИКА, ПРОЦЕССЫ УПРАВЛЕНИЯ, № 1, стр. 74-83. <http://elibrary.ru/item.asp?id=12864144>

APA

Косовская, Т. М. (2009). Частичная выводимость предикатных формул как средство распознавания объектов с неполной информацией. ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 10: ПРИКЛАДНАЯ МАТЕМАТИКА, ИНФОРМАТИКА, ПРОЦЕССЫ УПРАВЛЕНИЯ, (1), 74-83. http://elibrary.ru/item.asp?id=12864144

Vancouver

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

Author

Косовская, Т. М. / Частичная выводимость предикатных формул как средство распознавания объектов с неполной информацией. в: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 10: ПРИКЛАДНАЯ МАТЕМАТИКА, ИНФОРМАТИКА, ПРОЦЕССЫ УПРАВЛЕНИЯ. 2009 ; № 1. стр. 74-83.

BibTeX

@article{ce7fed3014594bbfb511c70d5d71fefd,
title = "Частичная выводимость предикатных формул как средство распознавания объектов с неполной информацией",
abstract = "Рассматриваются задачи адаптации логико-предметной распознающей системы к распознаванию в условиях неполной информации об объекте. С этой целью вводится понятие неполного вывода, заключающееся в том, что из имеющегося множества формул выводима лишь подформула заданной формулы, но сама формула не противоречит заданному множеству. Даются алгоритмы построения неполного вывода, позволяющего отнести распознаваемый объект к тому или иному классу с определенной (вычисляемой в процессе работы алгоритма) степенью уверенности. Доказываются оценки числа шагов работы этих алгоритмов. Библиогр. 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.",
author = "Косовская, {Т. М.}",
year = "2009",
language = "русский",
pages = "74--83",
journal = " ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. ПРИКЛАДНАЯ МАТЕМАТИКА. ИНФОРМАТИКА. ПРОЦЕССЫ УПРАВЛЕНИЯ",
issn = "1811-9905",
publisher = "Издательство Санкт-Петербургского университета",
number = "1",

}

RIS

TY - JOUR

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

AU - Косовская, Т. М.

PY - 2009

Y1 - 2009

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

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

M3 - статья

SP - 74

EP - 83

JO - ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. ПРИКЛАДНАЯ МАТЕМАТИКА. ИНФОРМАТИКА. ПРОЦЕССЫ УПРАВЛЕНИЯ

JF - ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. ПРИКЛАДНАЯ МАТЕМАТИКА. ИНФОРМАТИКА. ПРОЦЕССЫ УПРАВЛЕНИЯ

SN - 1811-9905

IS - 1

ER -

ID: 5161400