Paper: A Logical Semantics For Nonmonotonic Sorts

ACL ID P93-1028
Title A Logical Semantics For Nonmonotonic Sorts
Venue Annual Meeting of the Association of Computational Linguistics
Session Main Conference
Year 1993

Suppose we have a feature system, and we wish to add default values in a well-defined way. We might start with Kasper-Rounds logic, and use Reiter's example to form it into a default logic. Giving a node a default value would be equiv- alent to saying "if it is consistent for this node to have that value, then it does". Then we could use default theories to describe feature structures. The particular feature structure described would be the structure that supports the extension of the default theory. This is, in effect, what the theory of nonmonotonic sorts gives you. This paper describes how that the- ory derives from what is described above. Mark A. Young &~ Bill Rounds Artificial Intelligence Laboratory The University of Michigan 1101 Beal Ave. Ann Arbor, MI 48109 marky, rounds©engin, ...