부산대학교 도서관

Summary: ``In previous work, we analyzed the intuitionisticcircumscription of a set of Horn clauses, and proposed this as a wayto represent certain forms of common sense reasoning with indefiniteinformation. In this paper, we extend this analysis to a larger classof embedded implications. We argue that the ordinary circumscriptionaxiom fails to generate the intuitively correct results in this case,and we propose a solution based on prioritized circumscription.Several examples are discussed to demonstrate the utility of theproposed formalization, including a novel interpretation ofnegation-as-failure. The main technical result of the paper is acomplete characterization of the prioritized intuitionisticcircumscription of a set of stratified embedded implications.''