Ближе к теме - вспомнилось, что в одном разговоре покойный Крылов утверждал, что _вся_ аналитическая философия от своего начала работает именно на проблему соответствия (или, емнип, в его формулировке - на создание ИИ, не имеющего политических интересов, отличных от интересов создателя)