Skeptical Query-Answering in Constrained Default Logic

摘要: An approach to skeptical query-answering in Constrained Default Logic based on the Connection Method is presented. We adapt a recently proposed general method reasoning Logics—a which does neither strictly require inspection of all extensions nor computation entire decide whether formula skeptically entailed. combine this with credulous reasoner uses as underlying calculus for classical logic. Furthermore, we develop notion default proof and show how such can be extracted whenever our proves entailment particular query.