A comparative study of open default theories

摘要

The paper examines the definitions of open default theories known from the literature. First it is shown that none of them is satisfactory either for formal or for intuitive reasons. Next a new approach is considered. It is free from the obvious deficiencies of the known definitions, but possesses their positive properties.