FGMOL 2001 Preliminary Version Classifying Classication
|
Abstract:
Dierent types of linguistic classication, ranging from simple inheritance hierarchies to systemic networks, are classied algebraically and order-theoretically. To this end, classications are reformulated as observational theories. Classications that do not involve disjunction correspond to Horn theories, whose generic universe ordered by specialization is known to be a Scott domain. Several subtypes of Horn theories, corresponding to simple inheritance with exclusions, are classied with respect to their domains. Systemic classication is shown to have a at domain. In particular, every nite systemic classication can be translated into a Horn theory. The innite case turns out to be more subtle since non-isomorphic observational theories may induce isomorphic specialization orders. 1
Citations
| 347 | Domain theory – Abramsky, Jung - 1994 |
| 95 | The logic of typed feature structures. Cambridge Tracts – Carpenter - 1992 |
| 42 | Optimization Methods for Logical Inference – Chandru, Hooker - 1999 |
| 10 | Inclusion, disjointness and choice: The logic of linguistic classification – Carpenter, Pollard - 1991 |
| 5 | and completeness – Sequents - 2000 |
| 2 | Systemic classi and its eciency – Brew - 1991 |
| 2 | The Horn subset of systemic networks – Calder - 1999 |
