質問による無矛盾仮説探索の効率化

使用问题提高一致假设搜索的效率

基本信息

批准号：
08780372
负责人：
石坂裕毅
金额：
$ 0.64万
依托单位：
Kyushu Institute of Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1996
资助国家：
日本
起止时间：
1996 至无数据
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-08780372/
关键词：
無矛盾仮説探索所属性質問部分性質問等価性質問 EFS 翻訳機械学習

项目摘要

本年度は,質問を用いた無矛盾仮説探索の一つの応用として,質問による翻訳学習について研究を行なった.翻訳は異なる言語上の2項関係としてとらえることができる.そこで,今回の研究では,翻訳の表現系として基本形式体系(EFS)を採用した.EFSは,文字列領域上の一種の論理プログラムであり,翻訳のような2項関係だけでなくより一般的な言語間の関係を記述できる.今年度は,まず,導出原理に基づいたEFS処理系の開発を行なった.EFSは文字列を項とする論理プログラムであるため,導出を行なうには計算コストの高い文字列上での単一化代入の計算が必要となる.そこで,今回,我々は,Aho-Corasick法と呼ばれる複数文字列照合技法を用いた単一化代入の計算手法を提案し,効率的なEFS処理系を表現した.現在,この処理系は単項関係を表すEFSのみを対象としているため,翻訳学習機械の実現のためには,さらに一般的なEFSに対処できるよう改良する必要がある.一方,翻訳学習アルゴリズムに関しては,辞書を背景知識として利用し,質問を行ないながら翻訳のための規則をボトムアップに構築するアルゴリズムについて研究を行なった.本アルゴリズムは,Lingによる論理プログラムの学習アルゴリズムに基づいたものであるが,対象がEFSである点と,辞書を背景知識として利用する点に特徴がある.本アルゴリズムによって,文脈自由言語から文脈自由言語の部分クラスへの翻訳が学習可能であることを示した.今回の研究では,学習可能性に関する結果は得られたが,学習における計算量に評価・改善は今後の課題として残されている.

今年，我们对使用问题进行翻译学习进行了研究，作为使用问题进行一致假设搜索的应用。翻译可以被认为是不同语言之间的二元关系。因此，在本研究中，我们采用基本形式系统（EFS）作为表示系统。EFS是字符串域中的一种逻辑程序，它不仅可以描述翻译等二进制关系，还可以描述语言之间更一般的关系。今年，我们首先开发了基于求导原理的EFS处理系统。由于EFS是一个逻辑程序，其项是字符串，求导需要对字符串进行处理，计算量较大，因此，我们提出了一种统一赋值的计算方法。使用称为 Aho-Corasick 方法的多字符串匹配技术，我们提出了一种高效的 EFS 表达处理系统。目前，该处理系统仅针对表达一元关系的EFS，因此为了实现翻译学习机，有必要对其进行改进，使其能够处理更通用的EFS。另一方面，关于翻译学习算法，进行了研究一种以词典为背景知识，在提问时自下而上构建翻译规则的算法。该算法基于 Ling。该算法基于逻辑程序的学习算法，但其独特之处在于它以EFS为目标并使用字典作为背景知识。通过该算法，可以将上下文无关语言转换为上下文无关语言的子类在这项研究中，我们获得了有关可学习性的结果，但学习所需计算量的评估和改进仍然是未来的挑战。