Epistemology

从主张到已接受事实图

从主张到已接受事实图

机器要确定性地评判现实世界之前,必须先明确地封闭这个世界:评估悬而未决的Claim,将Accepted Fact投影为可追溯的图,冻结边界,并保留申诉的路径。