The Automatic Deduction of Classificatory Systems from Linguistic Theories (Abridged)

Classifying linguistic objects is a widespread and important linguistic task, and computational linguistics often requires the deduction of a classificatory system from a general linguistic theory. Since hand deducing a classificatory system may consume much effort and introduce errors, a device that effectively deduces accurate classificatory systems from general linguistic theories would benefit computational linguistics. We present a prototypical abstract device that automatically deduces classificatory systems from finite linguistic theories.