Abstract
This paper investigates the modality ‘true by default’, associating it with those propositions which hold over a ‘majority’ of possible worlds. A semantic account of ‘majorities’ as the ‘large subsets’ of a set is furnished, and a modal logic of ‘majority default reasoning’ based on this semantics is axiomatised and proved sound and complete.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ben-David, S., Ben-Eliyahu-Zohary, R.: A modal logic for subjective default reasoning. Artificial intelligence 116, 217–236 (2000)
Chellas, B.F.: Basic conditional logic. Journal of philosophical logic 4, 133–153 (1975)
Chellas, B.F.: Modal logic: an introduction. Cambridge University press, Cambridge (1980)
Delgrande, J.P.: An approach to default reasoning based on a first-order conditional logic. In: Proceedings, AAAI-87, pp. 340–345 (1987)
Gabbay, D.: Theoretical foundations for non-monotonic reasoning in expert systems. In: Apt, K.R. (ed.) NATO advanced study institute on logics and models of concurrent systems, pp. 439–457. Springer, New York (1985)
Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artificial intelligence 44, 167–207 (1990)
Kripke, S.: Semantical considerations on modal logic. philosophica fennica 16, 83–94 (1963)
Makinson, D.: General theory of cumulative inference. In: Reinfrank, M., Ginsberg, M.L., de Kleer, J., Sandewall, E. (eds.) Non-Monotonic Reasoning. LNCS, vol. 346, pp. 1–18. Springer, Heidelberg (1988)
Makinson, D.: Bridges from classical to nonmonotonic logic. Kings college (2005)
Pacuit, E., Salame, S.: Majority logic. In: Dubois, D., Welty, C.A., Williams, M.-A. (eds.) KR, pp. 598–605. AAAI Press, Stanford, California, USA (2004)
Schlechta, K.: Filters and partial orders. Logic Journal of the IGPL 5(5), 753–772 (1997)
Schlechta, K.: Coherent systems. Elsevier, Amsterdam (2004)
Shoham, Y.: Reasoning about change. MIT press, Cambridge (1988)
Sikorski, R.: Boolean algebras, 2nd edn. Springer, Heidelberg (1964)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jauregui, V. (2007). The ‘Majority’ and ‘by Default’ Modalities. In: Orgun, M.A., Thornton, J. (eds) AI 2007: Advances in Artificial Intelligence. AI 2007. Lecture Notes in Computer Science(), vol 4830. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-76928-6_28
Download citation
DOI: https://doi.org/10.1007/978-3-540-76928-6_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-76926-2
Online ISBN: 978-3-540-76928-6
eBook Packages: Computer ScienceComputer Science (R0)