言語生成の動的局所決定性経済性と最適化技法による算定量複雑性の研究

使用优化技术研究语言生成和计算复杂性的动态局部确定性经济学

• 批准号: 12710285
• 负责人: 豊島 孝之
• 金额: $ 1.28万
• 依托单位: Kyushu Institute of Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 2000
• 资助国家: 日本
• 起止时间: 2000 至 2001
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-12710285/
• 关键词: 生成文法; 極小主義; 主要部移動; 編入; 緩文脈依存; 形式文法; 木オートマトン; 計算量; 自然言語生成; 算定量; 経済性; 文脈自由文法; 計算機学習

これまで、ドイツ語スイス方言等が示す連続交差依存構造は形式言語としては緩文脈依存性を示し、形式文法としては線形指標文法等のクラスで生成可能な事が知られていたが、最近、線形プッシュ・ダウン記憶ルート・トゥ・フロンティア型木オートマトンの受理能力が等価であることが証明された(Fujiyoshi ＆ Kasai 2000)。また、緩文脈依存クラスの木連接文法は決定性チューリング機械で多項式時間内に構文解析できる(Rajasekaran 1996)事が知られている。一方、極小主義プログラムでは一般にボトム・アップ型の統語生成が仮定されており、これはフロンティア・トゥ・ルート型木オートマトンに対応する。しかし、有限状態木オートマトンでは決定性及び非決定性フロンティア・トゥ・ルート型、非決定性ルート・トゥ・フロンティア型の受理能力は等価であるが、決定性ルート・トウ・フロンティア型の受理能力はそれより低い事が知られており、決定性と非決定性の線形プッシュ・ダウン記憶ルート・トゥ・フロンティア型木オートマトンの受理能力が等価であるか否かは判明せず、従って極小主義プログラムでの統語生成の算定量(計算量)が決定性多項式時間クラスに納まるか否かも解明できなかった。これは、極小主義プログラムでは形式文法には想定されていない移動操作が仮定されており、特に主要部移動は、形式文法での終端記号の合成にあたり、等価なモデルにはならないと言う問題が存在し、主要部移動は極小主義プログラム内でも数々の理論的問題を抱えているからであった。これまで全ての移動操作を指定部への移動のみに限定する仮説を提案してきたが、モホーク語等で観察される編入現象が問題となっていた。今年度の研究では、編入現象も指定部への移動として説明可能であることを究明し、他に指定部統一移動仮説の傍証となる現象の記述研究を行った。

こ れ ま で, ド イ ツ language ス イ ス dialect が shown す even 続 a job such as dependent structure form は words と し て は slow context dependence を し, formal grammar と し て は linear index grammar の ク ラ ス で might な generated が know ら れ て い た が, recently, the linear プ ッ シ ュ · ダ ウ ン memory ル ー ト · ト ゥ · フ ロ ン テ ィ ア type wooden オ ー ト マ ト ン の can accept Force が et al. Youdaoplaceholder1 とが とが proved された(Fujiyoshi & Kasai 2000). ま た, slow context dependent ク ラ ス の wood connection grammar は decisive チ ュ ー リ ン グ mechanical に で polynomial time structure, analytical で き る (1996) Rajasekaran matter が know ら れ て い る. Party, minimalism プ ロ グ ラ ム で は general に ボ ト ム · ア ッ プ type の language system generated が 仮 set さ れ て お り, こ れ は フ ロ ン テ ィ ア · ト ゥ · ル ー ト type wooden オ ー ト マ ト ン に 応 seaborne す る. し か し, finite state wood オ ー ト マ ト ン で は decisive and び non-decisive フ ロ ン テ ィ ア · ト ゥ · ル ー ト type, non-deterministic ル ー ト · ト ゥ · フ ロ ン テ ィ ア type の accept ability は 価 で あ る が, decisive ル ー ト · ト ウ · フ ロ ン テ ィ ア type の accept ability は そ れ よ り low い matter が know ら れ て お り, decisive と non-decisive の line Shape プ ッ シ ュ · ダ ウ ン memory ル ー ト · ト ゥ · フ ロ ン テ ィ ア type wooden オ ー ト マ ト ン の accept ability が 価 で あ る か no か は.at せ ず, 従 っ て minimalism プ ロ グ ラ ム で の language system generated の is quantitative (calculation) が determinant polynomial time ク ラ ス に na ま る か no か も interpret で き な か っ た. こ れ は, minimalism プ ロ グ ラ ム で は form grammar に は scenarios さ れ て い な い mobile operating が 仮 set さ れ て お り, main mobile は に, form grammar で の terminal mark の synthetic に あ た り, such as 価 な モ デ ル に は な ら な い と said う が existence し, main mobile は minimalism プ ロ グ ラ ム within で も number 々 の を embrace え theory problems Youdaoplaceholder0 て る らであった らであった. こ れ ま で full て の mobile operating を designated parts へ の mobile の み に qualified す る 仮 said を proposal し て き た が, モ ホ ー ク language such as で 観 examine さ れ る into phenomenon が problem と な っ て い た. Our の research で は, into phenomenon も specified へ の mobile と し て instructions may で あ る こ と を investigate し, he said に designated department unified mobile 仮 の alongside the と な る phenomenon の line describes research を っ た.

项目成果

Noriko Sugimoto,Takashi Toyoshima,Shinichi Shimozono,and Koichi Hirata: "Constructive Learning of Context-Free Languages with a Subpansive Tree"Lecture Notes in Artificial Intelligence. 1891. 270-283 (2000)

Noriko Sugimoto、Takashi Toyoshima、Shinichi Shimozono 和 Koichi Hirata：“用子泛树进行上下文无关语言的构造性学习”人工智能讲义。

Takashi Toyoshima: "A Neo-Lexicalist Movement Analysis of Incorporation"The Proceedings of the Twentieth West Coast Conference on Formal Linguistics. 579-592 (2001)

丰岛隆：“合并的新词汇主义运动分析”第二十届西海岸形式语言学会议论文集。

Takashi Toyoshima: "Head-to-Spec Movement and Dynamic Economy"UMI Company : Ann Arbor,Michigan. 326 (2000)

Takashi Toyoshima：“Head-to-Spec Movement and Dynamic Economy”UMI 公司：密歇根州安娜堡。

Takashi Toyoshima: "HEAD-TO-SPEC MOVEMENT"The Minimalist Parameter : Selected Papers from the Open Linguistics Forum. 115-138 (2001)

Takashi Toyoshima：“HEAD-TO-SPEC MOVMENT”极简参数：开放语言学论坛论文选。