|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Исследование и разработка методов инженерии знаний в программных системах искусственного интеллектаНИР
Research and development of knowledge engineering methods for artificial intelligence systems
- Руководитель НИР: Корухова Л.С.
- Участники НИР: Кузьменкова Е.А., Малышко В.В.
- Подразделение: Кафедра системного программирования
- Срок исполнения: 1 января 2011 г. - 31 декабря 2013 г.
- Номер договора (контракта, соглашения): 11-01-00638-а
- Номер ЦИТИС: 01201158743
- Тип: Фундаментальная
- Приоритетное направление научных исследований: Программное и математическое обеспечение эффективного решения актуальных задач на современных вычислительных системах
- ПН России: Информационно-телекоммуникационные системы
- Направление технологического прорыва России: Стратегические информационные технологии
-
Ключевые слова:
программные системы, целенаправленное планирование, методы инженерии знаний
knowledge engineering, knowledge representation method, tools for program engineering - Добавил в систему: Врагова Елена Юрьевна
Соисполнители НИР
| МГУ имени М.В.Ломоносова | Координатор |
Источник финансирования НИР
| грант РФФИ |
Этапы НИР
| # | Сроки | Название |
| 1 | 1 января 2011 г.-31 декабря 2011 г. | Исследование и разработка методов инженерии знаний в программных системах искусственного интеллекта |
| Результаты этапа: | ||
| 2 | 1 января 2012 г.-31 декабря 2012 г. | Исследование и разработка методов инженерии знаний в программных системах искусственного интеллекта |
| Результаты этапа: | ||
| 3 | 1 января 2013 г.-31 декабря 2013 г. | Исследование и разработка методов инженерии знаний в программных системах искусственного интеллекта |
| Результаты этапа: Проведены исследования методов автоматизированного синтеза программ на основе прецедентов, предполагающие использование онтологии как средства организации библиотеки известных решений. При этом подходе предлагается использование иерархии понятий в онтологии, соответствующих описаниям спецификаций программ. | ||
Прикрепленные к НИР результаты
Для прикрепления результата сначала выберете тип результата (статьи, книги, ...). После чего введите несколько символов в поле поиска прикрепляемого результата, затем выберете один из предложенных и нажмите кнопку "Добавить".