Instead of relying on rigid ( and easily programmable ) codes of what is and is not acceptable , dr mitchell and his colleagues adam barth and anupam datta have turned to a philosophical theory called contextual integrity .
The tool mr barth is employing to effect this transition is linear temporal logic , a system of mathematical logic that can express detailed constraints on the past and the future .
巴斯先生用来实现这一转化过程的工具是线性时序逻辑,一种可以表达过去和未来的详细约束的数理逻辑系统。
Any search for god that starts with human experience , barth warns , is a vain quest that will discover only an idol , not the true god at all .
任何由人类自身经验为基础的对上帝的探究都是徒劳的,他们只能看到一个偶像,而不是真实的上帝。
These pisa findings were echoed in a recent study by the national school boards association 's center for public education , and written up by the center 's director , patte barth , in the latest issue of the american school board journal .