考虑两种自由。

第一种自由是，我们决定要去吃面包，而且没有什么东西阻止我们去吃面包，这种时候我们有一种可以自由地吃面包的感觉。推广来看，去做某种行动 t 是具有价值 V(t) 的，我们可以去做行动 t ，这种自由是“执行自由”(liberation on execution, LoE)。

第二种自由是，有若干种行动 t1, t2, t3 …… 是具有价值 V(tx) 的，我们可以同时不去做、做一次、做多次 tx 的任何一种，这种自由是“组合自由”(liberation on combination, LoC )。

问题来了：

（1） LoE， LoC 如何在数学模型/客体世界的意义上得到表述？
（2） LoE， LoC 是否充分，完整，自洽，完备？
（3） LoE 是否等于 LoC ？

这个问题对于许多算法的应用具有重大的意义。某种程度上机器被授权去做某事，就意味着机器去执行某种行动 t 。这二者的关联是一个法律的问题。

这个问题实际上是对人类行为能力，以及基于人类行为能力的人工智能的一般形式及其内部矛盾的动态表示。