By
Karl Schlechta, K. Schlechta
Université de Provence and Laboratoire d'Informatique Fondamentale (CNRS UMR 6166), Marseille, France
Description
One aspect of common sense reasoning is reasoning about normal cases, e.g. a physician will first try to interpret symptoms by a common
disease, and will take more exotic possibilities only later into account. Such "normality" can be encoded, e.g. by
a relation, where
case A is considered more normal than case B. This gives a standard semantics or interpretation to nonmonotonic reasoning (a branch of
common sense reasoning), or, more formally, to nonmonotonic logics. We consider in this book the repercussions such normality relations
and similar
constructions have on the resulting nonmonotonic logics, i.e. which types of logic are adequate for which kind of relation,
etc.
We show in this book that some semantics correspond nicely to some logics, but also that other semantics do not correspond to
any logics of the usual form.
Included in series
Studies in Logic and Practical Reasoning
Audience:
Libraries and researchers in nonmonotonic and related logics
