{"type":"ScholarlyArticle","title":"Modal Interpretations of Default Logic","authors":[{"name":"Miroslaw Truszczynski","slug":"miroslaw-truszczynski","given":"Miroslaw","family":"Truszczynski","affiliation":""}],"abstract":"In the paper we study a new and natural modal interpretation of defaults. We show that under this interpretation there are whole families of modal nonmonotonic logics that accurately represent default reasoning. One of these logics is used in a definition of possible-worlds semantics for default logic. This semantics yields a characterization of default extensions similar to the characterization of stable expansions by means of autoepistemic interpretation. We also show that the disjunctive information can easily be handled if disjunction is represented by means of modal disjunctive defaults - modal formulas that we use in our interpretation. Our results indicate that there is no single modal logic for describing default reasoning. On the contrary, there exist whole ranges of modal logics, each of which can be used in the embedding as a \"host\" logic.","doi":null,"url":"https://ijcai.org/proceedings/1991/59","pdf":"https://ijcai.org/proceedings/1991/0059.pdf","markdown":"https://ijcai.org/proceedings/1991/59.md","bibtex":"https://ijcai.org/proceedings/1991/bibtex/59","volume":{"slug":"1991","title":"Proceedings of the Twelfth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1991","url":"https://ijcai.org/proceedings/1991/","year":1991,"location":"Sydney, New South Wales, Australia","dates":"24-30 August 1991","editors":"John Mylopoulos and Ray Reiter","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Knowledge Representation","track":"Knowledge Representation","number":59,"pages":{"first":393,"last":397},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}