Gloomy

悬置判断,自洽为重,伦理本位程序员

逻辑有效性推演算法

对于一个基于可靠知识库的讨论空间,推理有效性(Argumentation valid)判断是非常重要的。我们不能把一个在逻辑上无效的内容推荐到较高的位置,这有违这个平台的初衷。