학술논문
Circumscribing embedded implications.
Document Type
Proceedings Paper
Author
McCarty, L. Thorne (1-RTG-C) AMS Author Profile
Source
Subject
03 Mathematical logic and foundations -- 03B General logic
03B70Logic in computer science
03B70
Language
English
Abstract
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.''