The 'majority' and 'by default' modalities

Authors:
Victor Jauregui
Affiliations:
The School of Computer Science and Engineering, and National ICT Australia Ltd, The University of New South Wales, Sydney, Australia
Venue:
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Year:
2007

Citing 4
Cited 1

General theory of cumulative inference

Proceedings of the 2nd international workshop on Non-monotonic reasoning
Nonmonotonic reasoning, preferential models and cumulative logics

Artificial Intelligence
Theoretical foundations for non-monotonic reasoning in expert systems

Logics and models of concurrent systems
A modal logic for subjective default reasoning

Artificial Intelligence

Nonmonotonic modes of inference

AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

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.