---
title: "Inverse Circumscription"
authors:
  - "Hubie Chen"
doi: ""
url: "https://ijcai.org/proceedings/2003/67"
pdf: "https://ijcai.org/proceedings/2003/0067.pdf"
venue: "Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence"
year: 2003
pages: "449-453"
track: ""
keywords:
---

# Inverse Circumscription

Hubie Chen

*Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence*, pages 449-453.

## Abstract

Inverse (or identification) problems involve deciding whether or not an explicitly given set of data points have an implicit description, for instance, in the form of a constraint network. Such problems provide insight into the relationships among various representations of knowledge, which may have differing computational properties. This paper formalizes and studies the inverse circumscription problem, which (roughly speaking) is to decide, given a set of models, if there exists a formula whose circumscription describes the input set.