Circumscription (logic)

In logic, circumscription is a formal method used for reasoning about knowledge and belief, particularly in the context of non-monotonic reasoning. It was introduced by the logician John McCarthy in the late 20th century. Circumscription allows for the representation of default reasoning and assumptions about the world by minimizing or restricting the extensions of certain predicates.