Hierarchically organised formalisations
Tom Routen · 1989
Formalisations to date have tended to ignore a salient feature of statutes: they exhibit a multi-layered logical structure. This, rather than the unsuitability of logic for representing statute law, is at the root of at least some of the knowledge representation problems researchers have uncovered. In addition, the failure of any formalisation to mirror this kind of structure means that it inevitably will be an impoverished translation of the original article.