Suggestions for a non-monotonic feature logic
We use Scott's domain theory and methods from Reiter's default logic to suggest some ways of modelling default constraints in feature logic. We show how default feature rules, derived from default constraints, can be used to give ways to augment strict feature structures with default information.
|LOGICS AND MEANINGS OF PROGRAMS (acm F.3), MATHEMATICAL LOGIC AND FORMAL LANGUAGES (acm F.4), ARTIFICIAL INTELLIGENCE (acm I.2)|
|Department of Computer Science [CS]|
Rounds, W.C, & Zhang, G.Q. (1995). Suggestions for a non-monotonic feature logic. Department of Computer Science [CS]. CWI.