---
title: "Commonsense Entailment: A Modal Theory of Non-monotonic Reasoning"
authors:
  - "Nicholas Asher"
  - "Michael Morreau"
doi: ""
url: "https://ijcai.org/proceedings/1991/58"
pdf: "https://ijcai.org/proceedings/1991/0058.pdf"
venue: "Proceedings of the Twelfth International Joint Conference on Artificial Intelligence"
year: 1991
pages: "387-391"
track: "Knowledge Representation"
keywords:
---

# Commonsense Entailment: A Modal Theory of Non-monotonic Reasoning

Nicholas Asher, Michael Morreau

*Proceedings of the Twelfth International Joint Conference on Artificial Intelligence*, pages 387-391.

## Abstract

In this paper, we construct a truth conditional semantics for generic sentences, which treats arbitrarily deep nestings of generic sentences. The resulting notion of logical entailment captures intuitively valid argument forms involving generics. A dynamic semantics is built on top of the truth conditional one, and the resulting inference notion captures nonmonotonic argument patterns familiar from the artificial intelligence literature by exploiting constraints on modal frames alone, without the use of ordering principles on rules, abnormality or "relevance" predicates.