• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Разработка моделей, методов и алгоритмов для разработки и анализа интеллектуальных систем

2015
Руководитель: Щедров Андре

Проект включает исследования: (1) алгоритмов и алгоритмической сложности проблем представления знаний и рассуждений в модальных и дескриптивных логиках; (2) проблем информационной безопасности кибер-физических систем; (3) эффективных методов представления, анализа и майнинга сложно структурированных данных.

Во всех трёх областях предполагается получение новых научных результатов, особенно касающихся связей между различными математическими моделями и способами описания проблем; оценки вычислительной сложности проблем и конкретных алгоритмов; оригинальных методов тестирования корректности работы методов. Важным является предполагаемое перекрёстное опыление на уровне используемых математических инструментов теории алгоритмов, комбинаторики, теории игр, математической логики, моделирования рассуждений, машинного обучения,  и других разделов дискретной математики и теоретической информатики.

Значимость проекта определяется переосмыслением постановок базовых задач создания и интеграции интеллектуальных систем различного вида (включая системы оперативного управления, принятия решений, анализа данных и др.). Эти задачи актуализировались четвёртой промышленной революцией и стали основой таких трендов, как Cyber-Physical Systems, Big Data Analytics, Ontology Modelling.

 

Публикации по проекту:


Ivanov A. I., Kaperko A., Kuznetsov Y. M., Kulagin V., Chulkova G., Shustrov A. Information Engineering for Rapid Recognition of Odors with the Help of "Electronic Nose", in: Ch. 2. P. 210-212.
Kanovich M., Scedrov A., Nigam V., Talcott C., Kirigin T. B., Perovic R. A Rewriting Framework and Logic for Activities Subject to Regulations // Mathematical Structures in Computer Science. 2015 doi
Neznanov A., Maksimenkova O. V. Blended Learning in Software Engineering Education: the Application Lifecycle Management Experience with Computer-Supported Collaborative Learning, in: Proceedings of 18th International Conference on Interactive Collaborative Learning (ICL 2015). Florence : Curran Associates, Inc., 2015. P. 646-653.
Kanovich M., Scedrov A., Kirigin T. B., Nigam V., Talcott C. Discrete vs. Dense Times in the Verification of Cyber-Physical Security Protocols, in: 4th Conference on Principles of Security and Trust (POST 2015) Vol. 9036. L. : Springer, 2015. P. 259-279. doi
Ignatov D. I., Корнилов Д. И. RAPS: A Recommender Algorithm Based on Pattern Structures, in: Proceedings of the International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI at IJCAI 2015) / Ed. by Sergei O. Kuznetsov, A. Napoli, S. Rudolph. Buenos Aires : , 2015. P. 87-98.
Kuznetsov S., Revenko A. Interactive error correction in implicative theories // International Journal of Approximate Reasoning. 2015. Vol. 63. P. 89-100. doi
Panchenko A., Babaev D., Obiedkov S. Large-Scale Parallel Matching of Social Network Profiles, in: Analysis of Images, Social Networks and Texts. 4th International Conference, AIST 2015, Yekaterinburg, Russia, April 9–11, 2015, Revised Selected Papers / Ed. by M. Y. Khachay, N. Konstantinova, A. Panchenko, D. I. Ignatov, V. Labunets. Vol. 542: Series: Communications in Computer and Information Science. Switzerland : Springer, 2015. P. 275-285.
Metivier J., Lepailleur A., Buzmakov A. V., Poezevara G., Cremilleux B., Kuznetsov S., Goff J., Napoli A., Bureau R., Cuissart B. Discovering structural alerts for mutagenicity using stable emerging molecular patterns // Journal of Chemical Information and Modeling. 2015. Vol. 55. No. 5. P. 925-940. doi
Rubchinskiy A. Divisive-Agglomerative Algorithm and Complexity of Automatic Classification Problems / NRU Higher School of Economics. Series WP7 "Математические методы анализа решений в экономике, бизнесе и политике". 2015. No. WP7/2015/09.
Ignatov D. I., Gnatyshak D. V., Kuznetsov S., Mirkin B. Triadic Formal Concept Analysis and Triclustering: Searching for Optimal Patterns // Machine Learning. 2015