Intensional default reasoning
The aim of this paper is, to develop a semantics for the GEN operator as found in the semantic
literature. Our approach will be based on models with ranking measures, as used in nonmonotonic reasoning.
Starting from the work of Brafman[96] and Weydert[97], we will integrate raking measures into intensional logic.
We claim that ranking gives a measure of the degree of prototypicality an object has in a certain world. In this,
we deviate from the more statistical interpretation of ranks in the AI literature. Our approach tries to provide a
starting point to integrate insights from nonmonotonic reasoning, possible world semantics, and prototype theory
into a coherent theory for generic statements.
Regine Eckardt