Deductive parsing with multiple levels of representation

Mark Johnson
1988 Proceedings of the 26th annual meeting on Association for Computational Linguistics -  
This paper discusses a sequence of deductive parsers, called PAD1 -PAD5, that utilize an axiomatization of the principles and parameters of GB theory, including a restricted transformational component (Move-a). PAD2 uses an inference control strategy based on the "freeze" predicate of Prolog-II, while PAD3 -5 utilize the Unfold-Fold transformation to transform the original axiomatization into a form that functions as a recursive descent Prolog parser for the fragment.
doi:10.3115/982023.982053 dblp:conf/acl/Johnson88 fatcat:acyb77z6cbhxjcps6cro5wdkki