为了允许错误作为一种独立的逻辑对象存在,我们不应该再以严格的方式表述公理,也就是说,公理不应该写成:“如果A和B发生,C就会发生”这样的形式;而是“如果A和B发生,一定的概率下C会发生,也有一定的概率D会发生,等等”的形式。换句话说,每种给定情况下,都会有不同的结果,各自以不同的概率发生。从数学上说,我们可以简单地写出一个概率矩阵,说明各种状态之间发生转换的对应概率为何。你可以把问题写成这样“如果A和B已经发生,接下去发生C的概率有多大?”。这个概率矩阵就给出了一套以概率表示的逻辑系统。无论人工还是自然自动机,只要牵涉概率,都应该放到这个框架下研究【原可参见冯纽曼的论文:《概然逻辑:用不可靠的元件组装可靠的系统(Probabilistic Logics and the Synthesis of Reliable Organs from Unreliable Components)》】。我接下来会谈到为何遇到复杂系统时候,我们就必须放弃严格逻辑而改用概然逻辑系统的原因【假如单个元件出故障的概率固定,那么自动机越是复杂系统崩溃的可能性也越大】<br> | 为了允许错误作为一种独立的逻辑对象存在,我们不应该再以严格的方式表述公理,也就是说,公理不应该写成:“如果A和B发生,C就会发生”这样的形式;而是“如果A和B发生,一定的概率下C会发生,也有一定的概率D会发生,等等”的形式。换句话说,每种给定情况下,都会有不同的结果,各自以不同的概率发生。从数学上说,我们可以简单地写出一个概率矩阵,说明各种状态之间发生转换的对应概率为何。你可以把问题写成这样“如果A和B已经发生,接下去发生C的概率有多大?”。这个概率矩阵就给出了一套以概率表示的逻辑系统。无论人工还是自然自动机,只要牵涉概率,都应该放到这个框架下研究【原可参见冯纽曼的论文:《概然逻辑:用不可靠的元件组装可靠的系统(Probabilistic Logics and the Synthesis of Reliable Organs from Unreliable Components)》】。我接下来会谈到为何遇到复杂系统时候,我们就必须放弃严格逻辑而改用概然逻辑系统的原因【假如单个元件出故障的概率固定,那么自动机越是复杂系统崩溃的可能性也越大】<br> |