稳定扩充相关论文
开放逻辑同基于论证的推理是两种各自独立的、重要的常识推理方法。该文研究了二者的联系。该文的主要结果是在命题情形下证明了,假......
引进了一种在缺省理论中提取优先序的方法.与已有方法相比,此方法不仅具有合理性且具有低难度.进而定义了缺省逻辑的优先稳定语义.......