Model-Theory of Property Grammars with Features
Abstract
In this paper, we present a model-theoretic description of Property Grammar (PG) with features. Our approach is based on previous work of Duchier et al. (2009), and extends it by giving a model-theoretic account of feature-based properties, which was lacking in the description of Duchier et al. On top of providing a formal definition of the semantics of feature-based PG, this paper also discusses the various possible interpretations of features (e.g., within the requirement and agreement properties), and show how these interpretations are represented in our framework. This work opens the way for a constraint-based implementation of a parser for PG with features.