很难决定谁赢了，许多顶级棋手也只能依靠直觉判定。

It can be very difficult to determine who is winning, and many of the top human players rely on instinct.

youdao

这样你得到的就是一些通过直觉即可简单判定当地人跟游客的精美地图。

What you get are some elegant maps that fit neatly with your intuitions about where locals flock versus tourists.

youdao

安全协议形式化分析技术的提出，将协议的安全性问题转化为数学问题，采用数学证明的手段来代替直觉的判定，近年来已逐步被公认为解决安全问题的合理方案。

Formal methods for protocol analysis ware put forward based on changing the security problem into a mathematical problem, which we can rigorously prove it instead of judging by intuition.

youdao