Abstract
Closed world reasoning is a common nonmonotonic technique that allows for dealing with negative information in knowledge and data bases. Several forms of closed world reasoning have been proposed in the literature, ranging from the closed world assumption, introduced in the context of data bases, to the extended closed world assumption, which is equivalent to circumscription. The aim of this paper is to present a detailed analysis of the computational complexity of the different forms of closed world reasoning for various fragments of propositional logic. Such an analysis allows us to draw a complete picture of the boundary between tractability and intractability of such a form of nonmonotonic reasoning. We also discuss how to use our results in order to characterize the computational complexity of other nonmonotonic reasoning problems, namely nonmonotonic inheritance, diagnosis, and default reasoning.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
