{"type":"ScholarlyArticle","title":"Towards Efficient Default Reasoning","authors":[{"name":"Ilkka Niemelä","slug":"ilkka-niemela","given":"Ilkka","family":"Niemelä","affiliation":"Department of Computer Science Helsinki University of Technology Otakaari 1 , FIN-02150 Espoo , Finland"}],"abstract":"A decision method for Reiter's default logic is developed. It can determine whether a default theory has an extension, whether a formula is in some extension of a default theory and whether a formula is in every extension of a default theory. The method handles full propositional default logic. It can be implemented to work in polynomial space and by using only a theorem prover for the underlying propositional logic as a subroutine. The method divides default reasoning into two major subtasks: the search task of examining every alternative for extensions, which is solved by backtracking search, and the classical reasoning task, which can be implemented by a theorem prover for the underlying classical logic. Special emphasis is given to the search problem. The decision method employs a new compact representation of extensions which reduces the search space. Efficient techniques for pruning the search space further are developed.","doi":null,"url":"https://ijcai.org/proceedings/1995/41","pdf":"https://ijcai.org/proceedings/1995/0041.pdf","markdown":"https://ijcai.org/proceedings/1995/41.md","bibtex":"https://ijcai.org/proceedings/1995/bibtex/41","volume":{"slug":"1995","title":"Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1995","url":"https://ijcai.org/proceedings/1995/","year":1995,"location":"Montréal, Québec, Canada","dates":"","editors":"Chris S. Mellish","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Automated Reasoning","track":"Automated Reasoning","number":41,"pages":{"first":312,"last":317},"keywords":[],"videos":[],"references":[{"position":1,"raw":"[Baader and Hollunder, 1992] F. Baader and B. Hollun- der. Embedding defaults into terminological knowl- edge representation formalisms. In Proceedings of the 3rd International Conference on Principles of Knowl- edge Representation and Reasoning, pages 306-317, Cambridge, MA, USA, October 1992.","title":"Embedding defaults into terminological knowledge representation formalisms","authors":"F Baader, B Hollunder","year":"1992","venue":"Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Ben-Eliyahu and Dechter, 1991] R. Ben-Eliyahu and R. Dechter. Default logic, propositional logic and constraints. In Proceedings of the 9th National Con- ference on Artificial Intelligence, pages 370-385. The MIT Press, July 1991.","title":"Default logic, propositional logic and constraints","authors":"R Ben-Eliyahu, R Dechter","year":"1991","venue":"Proceedings of the 9th National Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Eiter and Gottlob, 1992] T. Eiter and G. Gottlob. The complexity oflogic-based abduction. Technical Report CD-TR 92/ 35, Christian Doppler Labor fUr Experten- systeme, Institut fUr Informationssysteme, Technische Universitat Wien, Vienna, Austria, July 1992.","title":"The complexity oflogic-based abduction","authors":"T Eiter, G Gottlob","year":"1992","venue":null,"doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Etherington, 1987] D.W. Etherington. Relating default logic and circumscription. In Proceedings of the 1Oth 318 AUTOMATED REASONING International Joint Conference on Artificial Intelli- gence, pages 489-494, Milan, Italy, August 1987.","title":"Relating default logic and circumscription","authors":"D W Etherington","year":"1987","venue":"Proceedings of the 1Oth 318 AUTOMATED REASONING International Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/1987/96"},{"position":5,"raw":"[Garey and Johnson, 1979] M.R. Garey and D.S. John- son. Computers and Intractability. W.H. Freeman and Company, San Francisco, 1979.","title":"Computers and Intractability","authors":"M R Garey, D S Johnson","year":"1979","venue":null,"doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Gelfond and Lifschitz, 1990] M. Gelfond and V. Lifs- chitz. Logic programs with classical negation. In Pro- ceedings of the 7th International Conference on Logic Programming, pages 579-597, Jerusalem, Israel, June 1990. The MIT Press.","title":"Logic programs with classical negation","authors":"M Gelfond, V Lifschitz","year":"1990","venue":"Proceedings of the 7th International Conference on Logic Programming","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Gottlob, 1992] G. Gottlob. Complexity results for non- monotonic logics. Journal of Logic and Computation, 2(3):397-425, June 1992.","title":"Complexity results for nonmonotonic logics","authors":"G Gottlob","year":"1992","venue":"Journal of Logic and Computation","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Junker and Konolige, 1990] U. Junker and K. Konolige. Computing the extensions of autoepistemic and de- fault logics with a truth maintenance system. In Pro- ceedings of the 8th National Conference on Artificial Intelligence, pages 278-283, Boston, MA, USA, July 1990. The MIT Press.","title":"Computing the extensions of autoepistemic and default logics with a truth maintenance system","authors":"U Junker, K Konolige","year":"1990","venue":"Proceedings of the 8th National Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Konolige, 1988] K. Konolige. On the relation between default and autoepistemic logic. Artificial Intelligence, 35:343-382, 1988.","title":"On the relation between default and autoepistemic logic","authors":"K Konolige","year":"1988","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Marek and Truszczynski, 1993] W. Marek and M. Truszczynski. Nonmonotonic Logic: Context- Dependent Reasoning. Springer-Verlag, Berlin, 1993.","title":"Nonmonotonic Logic: Context-Dependent Reasoning","authors":"W Marek, M Truszczynski","year":"1993","venue":null,"doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Niemela, 1990] I. Niemela. Towards automatic au- toepistemic reasoning. In Proceedings of the Euro- pean Workshop on Logics in Artificial Intelligence- JELIA '90, pages 428-443, Amsterdam, The Nether- lands, September 1990. Springer-Verlag.","title":"Towards automatic autoepistemic reasoning","authors":"; I Niemela, Niemela","year":"1990","venue":"Proceedings of the European Workshop on Logics in Artificial Intelligence-JELIA '90","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Niemela, 1992] I. Niemela. A unifying framework for nonmonotonic reasoning. In Proceedings of the 10th European Conference on Artificial Intelligence, pages 334-338, Vienna, Austria, August 1992. John Wiley. [Niemela, 1994] I. Niemela. A decision method for non- monotonic reasoning based on autoepistemic reason- ing. In Proceedings of the 4th International Conference on Principles of Knowledge Representation and Rea- soning, pages 473-484, Bonn, Germany, May 1994.","title":"A decision method for nonmonotonic reasoning based on autoepistemic reasoning","authors":"; I Niemela, I Niemela, Niemela","year":"1992","venue":"Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Poole, 1988] D. Poole. A logical framework for default reasoning. Artificial Intelligence, 36:27-47, 1988.","title":"A logical framework for default reasoning","authors":"D Poole","year":"1988","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Reiter, 1980] R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:81-132, 1980.","title":"A logic for default reasoning","authors":"R Reiter","year":"1980","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Reiter, 1987] R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32:57-95, 1987.","title":"A theory of diagnosis from first principles","authors":"R Reiter","year":"1987","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Risch and Schwind, 1994] V. Risch and C. Schwind. Tableau-based characterization and theorem proving for default logic. Journal of Automated Reasoning, 13:223-242, 1994.","title":"Tableau-based characterization and theorem proving for default logic","authors":"V Risch, C Schwind","year":"1994","venue":"Journal of Automated Reasoning","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Truszczynski, 1991] M. Truszczynski. Embedding de- fault logic into modal nonmonotonic logics. In Pro- ceedings of the 1st International Workshop on Logic Programming and Non-monotonic Reasoning, pages 151-165, Washington, D.C., USA, July 1991. The MIT Press.","title":"Embedding default logic into modal nonmonotonic logics","authors":"M Truszczynski","year":"1991","venue":"Proceedings of the 1st International Workshop on Logic Programming and Non-monotonic Reasoning","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}