Логические методы в распознавании образов, сложность алгоритмов.
Научная биография:
1974 — окончила мат.-мех. ЛГУ;
1987 — кандидат физ.-мат. наук;
2010 — доктор физ.-мат. наук.
Основные публикации:
Косовская Т.М., “Доказательства оценок числа шагов решения некоторых задач распознавания образов, имеющих логические описания”, Вестн. С.-Петербург.ун-та. Сер. 1, 2007, № 4, 82–90
Косовская Т.М., “Многоуровневые описания классов для уменьшения числа шагов решения задач распознавания образов, описываемых пропозициональными формулами”, Вестн. С.-Петербург. ун-та. Сер. 1, 2008, № 1, 29–37
Косовская Т.М., “Многоуровневые описания классов для уменьшения числа шагов решения задач распознавания образов, описываемых формулами исчисления предикатов”, Вестн. С.-Петербург.ун-та. Сер. 10, 2008, № 1, 64–72
Косовская Т. М., “Частичная выводимость предикатных формул как средство распознавания объектов с неполной информацией”, Вестн. С.-Петербург.ун-та. Сер. 10, 2009:1, 74–84
Косовская Т.М., “Распознавание объектов из классов, замкнутых относительно группы преобразований”, Вестн. С.-Петербург.ун-та. Сер. 10, 2009, № 3, 45–55
Т. М. Косовская, Н. Н. Косовский, “Выделение общих свойств объектов для создания логических онтологий”, Вестн. С.-Петербург. ун-та. Сер. 10. Прикл. матем. Информ. Проц. упр., 18:1 (2022), 37–51
Т. М. Косовская, “Изоморфизм формул исчисления предикатов в задачах Искусственного Интеллекта”, Зап. научн. сем. ПОМИ, 499 (2021), 38–52
2017
3.
Т. М. Косовская, Д. А. Петров, “Выделение наибольшей общей подформулы предикатных формул для решения ряда задач искусственного интеллекта”, Вестн. С.-Петербург. ун-та. Сер. 10. Прикл. матем. Информ. Проц. упр., 13:3 (2017), 250–263
Н. Д. Петухова, Т. М. Косовская, “Применение тактик муравьиных алгоритмов для решения некоторых задач искусственного интеллекта”, Вестн. С.-Петербург. ун-та. Сер. 10. Прикл. матем. Информ. Проц. упр., 2015, № 3, 67–82
2014
6.
Т. М. Косовская, “Подход к решению задачи построения многоуровневого описания классов на языке исчисления предикатов”, Тр. СПИИРАН, 34 (2014), 204–217
Т. М. Косовская, “Распознавание изображений на экране дисплея и оценки числа шагов алгоритмов в рамках логико-предметной распознающей системы”, Тр. СПИИРАН, 19 (2011), 159–175
2010
10.
Т. М. Косовская, “Некоторые задачи искусственного интеллекта, допускающие формализацию на языке исчисления предикатов, и оценки числа шагов их решения”, Тр. СПИИРАН, 14 (2010), 58–75