Typicality, Contextual Inferences and Object Determination Logic

May 2004

Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2004)

Volume

Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2004)

All Papers

We propose a rigorous definition of the notion of typicality, making use of the strict partial order naturally induced among the objects at hand by a given concept. This perspective enables us to transpose in the framework of object determination logic some well-known problems like contextual typicality or contextual inference. Then these problems can be treated with the help of the tools developed in the study of non monotonic logics. We show that it is possible to work in a logical formalism, using a new determination connector �: the concept f �g, when it exists, denotes the determination of the concept f by the concept g. Relatively to this connector, the relation of typical inference between concepts turns out to satisfy the important property of rational monotony.