Suggestions for a non-monotonic feature logic
William C. Rounds, Guo Zhang · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1995
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. CR Subject Classification (1991): F.3, F.4, I.2 Keywords & Phrases: defaults, domains, non-monotonicity, feature logic 1. Introduction 2 1. Introduction This paper is a mathematical treatment of some of the issues which have arisen in trying to define a version of nonmonotonic feature logic which would adequately reflect the semantics of strict and default feature constraints as in the theory of Generalized Phrase Structure Grammar (GPSG) [5], and to a lesser extent, in Head-driven Phrase-Structure Grammmar (HPSG) [18]. The problem seems fairly straightforward on the surface, since there are many tools available from the non-monotonic reasoning literature. In particular, one expects that a...