Mixed with the concept of dependent truth proposed by us, the system basing upon it can at least avoid the famous logic omniscience problem efficiently.
从另一个角度看,结合我们提出的依据真假概念,它至少能很好地避免逻辑全知问题。
Mixed with the concept of dependent truth proposed by us, the system basing upon it can at least avoid the famous logic omniscience problem efficiently.
从另一个角度看,结合我们提出的依据真假概念,它至少能很好地避免逻辑全知问题。
应用推荐