论文信息 - The 'Majority' and 'by Default' Modalities

The 'Majority' and 'by Default' Modalities

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.

Victor Jauregui | V. Jauregui

[1] Brian F. Chellas. Modal Logic: Normal systems of modal logic , 1980 .

[2] Sarit Kraus,et al. Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

[3] Eric Pacuit,et al. Majority Logic , 2004, KR.

[4] David Makinson,et al. Bridges from classical to nonmonotonic logic , 2005, Texts in computing.

[5] James P. Delgrande,et al. An Approach to Default Reasoning Based on a First-Order Conditional Logic: Revised Report , 1987, Artif. Intell..

[6] David Makinson,et al. General Theory of Cumulative Inference , 1988, NMR.

[7] R. Goodstein. Boolean algebra , 1963 .

[8] J. M. Larrazabal,et al. Reasoning about change , 1991 .

[9] Dov M. Gabbay,et al. Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems , 1989, Logics and Models of Concurrent Systems.

[10] Brian F. Chellas. Basic conditional logic , 1975, J. Philos. Log..

[11] Karl Schlechta,et al. Filters and Partial Orders , 1997, Log. J. IGPL.

[12] Rachel Ben-Eliyahu-Zohary,et al. A modal logic for subjective default reasoning , 2000, Artif. Intell..