User-defined nonmonotonicity in unification-based formalisms

Lena Strömbäck
1995 Proceedings of the 33rd annual meeting on Association for Computational Linguistics -  
A common feature of recent unificationbased grammar formalisms is that they give the user the ability to define his own structures. However, this possibility is mostly limited and does not include nonmonotonic operations. In this paper we show how nonmonotonic operations can also be user-defined by applying default logic (Reiter, 1980) and generalizing previous results on nonmonotonic sorts (Young and Rounds, 1993) .
doi:10.3115/981658.981667 dblp:conf/acl/Stromback95 fatcat:o4rnyrbdhbhlzgjjelqs36yshy