In this note, we present an account of logical descriptions which consist of sets of formulae defining the current state of a system. Models of these descriptions are those that are minimum in an observationally-defined pre-order. We characterise these models and give examples. This provides a mathematical account of various phenomena encountered in logical developments in Artificial Intelligence, and in the foundations of revision-based logic.
|Title of host publication||HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday|
|Number of pages||16|
|Publication status||Published - 12 Feb 2014|