【作者】 苏开乐； 丁德成；
【机构】 南京大学数学系； 南京大学数学系 南京210008； 南京210008；
【摘要】 在Brewka提出的一种修正的缺省逻辑的基础上,对Reiter原来缺省逻辑作了推广,得到了一种关于断言的缺省逻辑,并证明Brewka修正的缺省逻辑就是一种特殊的关于断言的正规缺省逻辑。更多还原
