부산대학교 도서관

Summary: ``In previous work, we analyzed the intuitionistic circumscription of a set of Horn clauses, and proposed this as a way to represent certain forms of common sense reasoning with indefinite information. In this paper, we extend this analysis to a larger class of embedded implications. We argue that the ordinary circumscription axiom 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 the proposed formalization, including a novel interpretation of negation-as-failure. The main technical result of the paper is a complete characterization of the prioritized intuitionistic circumscription of a set of stratified embedded implications.''