Title :
The parsing algorithm of HPSG-deductive system
Author_Institution :
Coll. of Foreign Languages & Literature, Fudan Univ., Shanghai
Abstract :
Parsing as logic deduction has become a latest approach in linguistics. HDS is an HPSG-deductive system basing on Martin-Lof typed lambda calculus. However, HDS is a formal system. HDS does not overtly include concrete parsing process. Therefore this paper presents an algorithm, which automatically finds out HDS deduction for concrete parsing. The feature of the algorithm is that it is type-driven and it is able to discover the possible phonologically null traces in a sentence and to fill traces with information so as to normalize these sentences. An application example shows validity of the algorithm.
Keywords :
computational linguistics; grammars; lambda calculus; type theory; HPSG-deductive system; Martin-Lof typed lambda calculus; concrete parsing; logic deduction; parsing algorithm; sentence normalization; sentence phonologically null traces; Automatic logic units; Calculus; Concrete; Educational institutions; Entropy; Filling;
Conference_Titel :
Audio, Language and Image Processing, 2008. ICALIP 2008. International Conference on
Conference_Location :
Shanghai
Print_ISBN :
978-1-4244-1723-0
Electronic_ISBN :
978-1-4244-1724-7
DOI :
10.1109/ICALIP.2008.4590159
