В одной работе видела логику с надстройкой оператора влияния. Действие пропаганды моделировали. Было интересно, но я бы таким не занималась.
Некоторым нравится belief revision (всё, сдаюсь, не переведу) в разных логиках: когда за счёт того, какими сведениями располагает агент (и это тоже, может, не так по-русски... деятель?) и каким он видит мир - во что верит - к обычной логике добавляют оператор верования (уверенности?.. belief), и там дальше всё крутится,крутится) Может использоваться и неожиданным образом, где вроде как никаких верований нет. К примеру, есть база данных с рецептами блюд, и хотят уметь строить рецепты, похожие на имеющиеся, но с заменой одного или нескольких ингредиентов. И каким-то магическим образом эта работа озаглавлена belief revision.