tailieunhanh - Báo cáo khoa học: "DEDUCTIVE PARSING WITH MULTIPLE LEVELS OF REPRESENTATION*"

This paper discusses a sequence of deductive parsers, called PAD1 - PAD5, that utilize an a x i o m a t i z a t i o n of the p r i n c i p l e s a n d 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. INTRODUCTION In this paper I. | DEDUCTIVE parsing with multiple Levels of Representation. Mark Johnson Brain and Cognitive Sciences . Abstract 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. Introduction This paper reports on several deductive parsers for a fragment of Chomsky s Government and Binding theory Chomsky 1981 1986 Van Riemsdijk and Williams 1984 . These parsers were constructed to illustrate the Tarsing as Deduction approach which views a parser as a specialized theorem-prover which uses knowledge of a language . its grammar as a set of axioms from which information about the utterances of that language . their structural descriptions can be deduced. This approach directly inspired by the seminal paper by Perefra and Warren 1983 . Johnson 1988a motivates the Parsing as Deduction approach in more detail than IS possible here and Johnson 1988b extends the techniques presented in this paper to deal with a more complex fragment. Steven Abney Bob Berwick Nelson Correa Tim Hickey Elizabeth Highleyman Ewan Klein Peter Ludlow Martin Kay Fernando Pereira and Whitman Richards all made helpful suggestions regarding this work although all responsibility for errors remains my own. The research reported here was supported by a grant by the Systems Development Foundation to the Center for the Study of Language and Information at Stanford University and a Postdoctoral Fellowship awarded by the Fairchild Foundation through the Brain and Cognitive Sciences Department at MIT. In this paper I describe a sequence of model deductive parsers called PAD1 - PAD5 for a fragment of GB .