Без заголовка

Ага, возвращаемся к недоговорённым вопросам про модальности из https://thpectrum.livejournal.com/10771.html -- "нет инструментов работы с некоторыми классами высказываний про возможные миры и предпочтения на них". Про "дерево с модальностями" что-то не упомню: откуда там дерево-то было? Это разве не knowledge graph, в котором ещё и разметка модальностей, и только отображение в виде "бесконечного дерева"? Что касается FOL++ (со всеми интересными расширениями), то есть большое сомнение в работоспособности такого инструмента: а) сложен когнитивно, с ним смогут работать единицы людей, один из сотни. Это ж покруче Хаскеля будет, "все хотят, единицы могут". б) вычислительные ограничения, никакого железа не хватит -- вся жизнь будет уходить в редкие частные "оптимизации для конкретных случаев". Поэтому я бы думал по линии "вот экспертные системы с их прологом были успешно заменены просто развитыми современными языками программирования с кучерявыми данными -- и где мыслилось про наборы правил, сегодня работает просто программный код". Неоптимальненько, некомпактненько, нетеоретичненько, но понятно и работает. А оптимизировать этот код можно будет какими-нибудь "интеллектуальными оптимизаторами". Системы, где основная опора делается на FOL (или функциональность по Карри-Ховарду), почему-то получаются абсолютно нишевыми и с ними работают совсем небольшое число людей в мире, я этого боюсь. Будет крутейший инструмент и целых три его пользователя, они же создатели, а остальные этот инструмент мозгами не потянут -- вот это меня пугает.