A Method of Finding Priorities in Default Theories
缺省理论中一种获取优先序的方法

An approach is introduced to derive specificity in default theories. Compared with other methods, themethod handles priority quite well and has lower complexity. Then the prioritized stationary semantic for defaultlogic is defined. The method can strengthen the cautious stationary default reasoning without increasing thecomputational complexity very much.