Мое ощущение заключается в том, что попытка «автоматизировать исследование согласования» означает делать примерно то же самое, что и автоматизация исследования возможностей. За исключением того, что вы относитесь к суперразуму более серьезно, и поэтому вы будете гораздо более эффективными.