用分层ATMS实现缺省逻辑

The Default Logic Realized by the Stratified ATMS

Ｒｅｌｉｅｒ的缺省逻辑存在着局限性．它无法表示缺省规则之间的优先级，无法处理缺省规则中析取，并且不满足累积性．虽然Ｂｒｅｗｋａ提出带优先级的缺省逻辑和累积缺省逻辑，但不能完全克服上述局限性．本文介绍了分层ＡＴＭＳ，然后指出用分层ＡＴＭＳ实现的缺省逻辑能克服现有缺省逻辑中的局限性．

Relier's default logic has limitations:it can't represent the priorities among defaults,can't deal with disjunctions in defaults,and it is not cumulative. Though Brewka presented the prioritized default logic and cumulative default logic, but they can't overcome those limitations completely. This paper presents the stratified ATMS,then shows that the default logic realized by the stratified ATMS can overcome the limitations in the existing default logic.