 |
Косовская Татьяна Матвеевна kosovtm at gmail.com
|
Читаемые курсы
- Математическая логика. 4-й семестр, для студентов направления "Математическое обеспечение и администрирование информационных систем".
- Анализ алгоритмов (курс по выбору). 7-й семестр, для студентов направления "Математическое обеспечение и администрирование информационных систем"
- Математические основы Искусственного Интеллекта (курс по выбору). 8-й семестр, для студентов направления "Математическое обеспечение и администрирование информационных систем"
- Дополнительные главы математической логики и теории алгоритмов. 1-й семестр магистратуры направления "Математическое обеспечение и администрирование информационных систем"
Область научных интересов
Применение исчисления предикатов к решению задач Искусственного Интеллекта, оценки вычислительной сложности алгоритмов.
Возможные направления студенческих исследований
Разработка алгоритмов и программ для решения задач Искусственного Интеллекта, допускающих формализацию в терминах языка исчисления предикатов. Оценки вычислительной сложности таких алгоритмов.
Основные публикации, раскрывающие научные интересы
- Косовская Т.М. Многоуровневые описания классов для уменьшения числа шагов решения задач распознавания образов, описываемых формулами исчисления предикатов // Вестн. С.-Петербург.ун-та. Сер. 10. 2008. Вып.1. С. 64 – 72.
- Косовская Т. М. Частичная выводимость предикатных формул как средство распознавания объектов с неполной информацией // Вестн. С.-Петербург.ун-та. Сер. 10. 2009. Вып. 1. С. 74 – 84.
- Косовская Т.М. Некоторые задачи искусственного интеллекта, допускающие формализацию на языке исчисления предикатов, и оценки числа шагов их решения // Труды СПИИРАН, 2010. Вып. 14. С. 58 – 75.
- Косовская Т.М. Самообучающаяся сеть с ячейками, реализующими предикатные формулы // Труды СПИИРАН - 2015. - №6 (43). - С. 94-113.
- Косовская Т.М. Мультиагентное описание сложного объекта по достоверной информации // Компьютерные инструменты в образовании. № 4, 2016. С. 5 – 18.
- Косовская Т.М., Петров Д.А. Выделение наибольшей общей подформулы предикатных формул для решения ряда задач искусственного интеллекта // Вестник СПбГУ. Прикладная математика. Информатика. Процессы управления. 2017. Т. 13. Вып. 3. С. 250 – 263.
- Tatiana Kosovskaya. Predicate Calculus as a Tool for AI Problems Solution: Algorithms and Their Complexity. In: Intelligent System. Open access peer-reviewed Edited volume.
- Косовская Т.М., Косовский Н.Н. Полиномиальная эквивалентность задач изоморфизм предикатных формул и изоморфизм графов // Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия. 2019. Т. 6 (64). Вып. 3. С. 430–439.
- Tatiana Kosovskaya. Fuzzy logic-predicate network. // Proceedings of the 11th Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology (EUSFLAT 2019). Editors Martin Stepnicka. Part of series ASUM (Atlanties Studies in Uncertainty Modeling), Volume 1. pp. 9 - 13.