{"type":"ScholarlyArticle","title":"An Approach to Minimal Belief via Objective Belief","authors":[{"name":"David Pearce","slug":"david-pearce","given":"David","family":"Pearce","affiliation":"Universidad Politécnica de Madrid , Universidad Rey Juan Carlos Madrid , Spain"},{"name":"Levan Uridia","slug":"levan-uridia","given":"Levan","family":"Uridia","affiliation":"Universidad Politécnica de Madrid , Universidad Rey Juan Carlos Madrid , Spain"}],"abstract":"As a doxastic counterpart to epistemic logic based on S5 we study the modal logic KSD that can be viewed as an approach to modelling a kind of objective and fair belief. We apply KSD to the problem of minimal belief and develop an alterna- tive approach to nonmonotonic modal logic using a weaker concept of expansion. This corresponds to a certain minimal kind of KSD model and yields a new type of nonmonotonic doxastic reasonin","doi":"10.5591/978-1-57735-516-8/IJCAI11-179","url":"https://ijcai.org/proceedings/2011/179","pdf":"https://ijcai.org/proceedings/2011/0179.pdf","markdown":"https://ijcai.org/proceedings/2011/179.md","bibtex":"https://ijcai.org/proceedings/2011/bibtex/179","volume":{"slug":"2011","title":"Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2011","url":"https://ijcai.org/proceedings/2011/","year":2011,"location":"Barcelona, Catalonia, Spain","dates":"16–22 July 2011","editors":"Toby Walsh","isbn":"978-1-57735-512-0; 978-1-57735-513-7; 978-1-57735-514-4; 978-1-57735-515-1; 978-1-57735-516-8","publisher":"AAAI Press/International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":179,"pages":{"first":1045,"last":1049},"keywords":[],"videos":[],"references":[{"position":1,"raw":"[de Rijke, 1992] M de Rijke. The modal logic of inequality. J Symbolic Logic, 57:566-587, 1992.","title":"The modal logic of inequality","authors":"Rijke De","year":"1992","venue":"J Symbolic Logic","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Esakia, 2001] L Esakia. Weak transitivity -restitution. Log- ical Studies, 8:244-255, 2001.","title":"Weak transitivity -restitution","authors":"Esakia","year":"2001","venue":"Logical Studies","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Goranko, 1990] V Goranko. Modal definability in enriched language. Notre Dame J Formal Logic, 31:81-105, 1990.","title":"Modal definability in enriched language","authors":"Goranko","year":"1990","venue":"Notre Dame J Formal Logic","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Halpern and Moses, 1985] J Y Halpern and Y Moses. To- wards a theory of knowledge and ignorance: preliminary report. In K. Apt, editor, Logics and Models of Concurrent Systems, pages 459-476, 1985.","title":"Towards a theory of knowledge and ignorance: preliminary report","authors":"J Y Halpern, Y Moses","year":"1985","venue":"Logics and Models of Concurrent Systems","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Hintikka, 1962] J Hintikka. Knowledge and Belief: An In- troduction to the Logic of the Two Notions. Cornell Univ Press, 1962.","title":"Knowledge and Belief: An Introduction to the Logic of the Two Notions","authors":"Hintikka","year":"1962","venue":null,"doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Lifschitz, 1994] V Lifschitz. Minimal belief and negation as failure. Artificial Intelligence, 70:53-72, 1994.","title":"Minimal belief and negation as failure","authors":"Lifschitz","year":"1994","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Lin and Shoham, 1990] F Lin and Y Shoham. Epistemic se- mantics for fixed-points nonmonotonic logics. In Rohit Parikh, editor, TARK, pages 111-120, 1990.","title":"Epistemic semantics for fixed-points nonmonotonic logics","authors":"F Lin, Y Shoham","year":"1990","venue":"TARK","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Moore, 1983] R C Moore. Semantical considerations on nonmonotonic logic. In IJCAI, pages 272-279, 1983.","title":"Semantical considerations on nonmonotonic logic","authors":"R C Moore","year":"1983","venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/1983/67"},{"position":9,"raw":"[Pearce and Uridia, 2010] David Pearce and Levan Uridia. Minimal knowledge and belief via minimal topology. In Tomi Janhunen and Ilkka Niemelä, editors, JELIA, vol- ume 6341 of Lecture Notes in Computer Science, pages 273-285. Springer, 2010.","title":"Minimal knowledge and belief via minimal topology","authors":"David Pearce, Levan Uridia","year":"2010","venue":"JELIA","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Schwarz and Truszczyński, 1992] G Schwarz and M Truszczyński. Modal logic s4f and the minimal knowledge paradigm. In Yoram Moses, editor, TARK, pages 184-198.","title":"Modal logic s4f and the minimal knowledge paradigm","authors":"G Schwarz, M Truszczyński","year":null,"venue":"TARK","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"Morgan Kaufmann, 1992.","title":null,"authors":"Morgan Kaufmann","year":"1992","venue":null,"doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Schwarz, 1992] G Schwarz. Minimal model semantics for nonmonotonic modal logics. LICS 92, 1992.","title":"Minimal model semantics for nonmonotonic modal logics","authors":"Schwarz","year":"1992","venue":"LICS","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Segerberg, 1971] K Segerberg. An essay in classical modal logic. Filosofiska Studier. Uppsala, 13, 1971.","title":"An essay in classical modal logic","authors":"Segerberg","year":"1971","venue":"Filosofiska Studier","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Segerberg, 1976] K Segerberg. Somewhere else and some other time. In Wright and wrong: mini-essays in honor of G.H.Wright, pages 61-64. 1976.","title":"Somewhere else and some other time","authors":"Segerberg","year":"1976","venue":"Wright and wrong: mini-essays in honor of G.H.Wright","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Shoham, 1987] Y Shoham. Nonmonotonic logics: Meaning and utility. In IJCAI, pages 388-393, 1987.","title":"Nonmonotonic logics: Meaning and utility","authors":"Shoham","year":"1987","venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/1987/79"},{"position":16,"raw":"[Stalnaker, 1993] R Stalnaker. A note on non-monotonic modal logic. Artif. Intell., 64(2):183-196, 1993.","title":"A note on non-monotonic modal logic","authors":"Stalnaker","year":"1993","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Truszczyński, 1991] M Truszczyński. Embedding default logic into modal nonmonotonic logics. LPNMR 1991, pages 151 -165, 1991.","title":"Embedding default logic into modal nonmonotonic logics","authors":"Truszczyński","year":"1991","venue":"LPNMR 1991","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}