7、规范逻辑与隐式计算复杂性综合解读

规范逻辑与隐式计算复杂性综合解读

1. 规范与义务研究的转变

传统上，规范和义务是单独进行研究的，但如今研究重点转向了它们与其他模态之间的相互作用。一些义务只有在你知晓某些事情时才成立，并且存在关于你所知晓或相信内容的义务和许可。例如，隐私政策通常会规定哪些信息可以披露给哪些人。

在规范环境中的决策过程中，可能会在履行义务和满足欲望之间进行权衡，而如何解决这种冲突可能取决于个人的性格。到目前为止，像义务和意图之间的相互作用等一些方面几乎还未被研究过。

2. 规范逻辑研究的现状与新问题

规范逻辑研究从哲学起源继承了对概念和语义问题的强调，实际上只有少数问题涉及到计算问题。这与决策理论、博弈论和社会选择等领域形成了对比，在这些领域中，近年来出现了计算决策理论、计算博弈论和计算社会选择等新的跨学科领域。

因此，提出了一个新问题：如何开发计算规范逻辑和计算规范系统？

3. 数学预备知识

在深入研究隐式计算复杂性之前，需要了解一些数学概念和符号：
- 集合与笛卡尔积 ：集合用元变量如 A、B、C 表示。两个集合 A 和 B 的笛卡尔积是集合 A × B，它由所有第一个元素属于 A，第二个元素属于 B 的有序对组成，即 A × B = {(a, b) | a ∈ A, b ∈ B}。类似地，可以定义多个集合的笛卡尔积和 n 元关系。
- 函数 ：函数是数学中非常普遍的概念。从集合 A 到集合 B 的部分函数是 A 和 B 上的二元关系，对于每个 a ∈ A，最多有一个 b ∈ B 使得 (a, b) ∈ f。如