Борис Штильман
Трудности моделирования систем обороны связаны с состязательным мышлением. Основная проблема заключается в создании в реальном времени интеллектуальных предсказательных курсов действий для всех сторон конфликта. Эта проблема считается неразрешимой с помощью традиционных подходов, страдающих от проклятия размерности. Лингвистическая геометрия (LG) — это тип теории игр, масштабируемый для моделирования реальных систем обороны. LG позволяет нам преодолеть комбинаторный взрыв, изменив парадигму с поиска на конструирование (с анализа на синтез). Современные приложения LG, связанные с национальной обороной США, генерируют в реальном времени курсы действий, которые являются весьма креативными и даже превосходят уровень тех, которые разрабатываются командирами-людьми. В настоящее время Министерство обороны США внедряет программное обеспечение LG в системы планирования военно-морских операций, для управления и контроля пехотных штурмовых машин, для испытаний противоракетной обороны и т. д. В своем выступлении автор познакомит участников с несколькими передовыми приложениями LG и несколькими экспериментами армии США и DARPA, в которых использовались эти приложения. Часть доклада будет посвящена происхождению LG, который является математическим обобщением подхода человека-эксперта к игре в шахматы без поиска. Он также установит связь между LG и легендарными битвами Александра Македонского и Ганнибала. Среди прочих вопросов он представит гипотезу о том, что LG является одним из древних алгоритмов, основанных непосредственно на Первичном Языке человеческого мозга (как предполагал Дж. фон Эйман).