Typicality for Plausible Reasoning

We describe the key ideas of an approach to non-monotonic reasoning (HP-logic) involving an implicit notion of typicality. In this framework, the problem of irrelevant information is addressed and the deductive power and the reliability of the system are compared with those of the Circumscription approach to non-monotonic reasoning.