S-Space Language Education Institute (언어교육원) Language Research (어학연구) Language Research (어학연구) Volume 20 Number 1/4 (1984)
Petri Net Grammars for Natural Language Analysis
- Choi, Key-Sun
- Issue Date
- 서울대학교 언어교육원
- 어학연구, Vol.20 No.2, pp. 181-202
- An approach is described to parsing and logical translation that was inspired by Lee, K.'s(1983) work on AMG(Augmented Montague Grammar) for case languages, and execution rules of Petri nets. Each grammar rule consists of a syntactic part that specifies an acceptable fragment of a parse tree, and a semantic part that specifies how the logical forms correspoding to the constituents of the fragment are to be combined to yield the logical form for the fragment in the intensional logic.
The proposed model, SPNG (Semantic Petri Net Grammar) is built based on Petri nets and its parsing mechanism resembles execution rules of its underlying Petri nets. But SPNG parsing mechanism includes several constraints which block out wrong applications of rules. Also, an isomorphism exists between SPNG and AMG.
SPNG has the same analytic power with Turing machine, since it is an extended
Petri net with inhibitor arcs (Peterson 1981). Hence, natural languages can be parsed
by SPNG sufficiently.