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

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

基本信息

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

来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-09780349/
关键词：
無矛盾仮説探索機械学習 EFS 翻訳テキストファイル変換

项目摘要

本年度は,昨年度に引続き,質問を用いた無矛盾仮説探索の一つの応用である質問による翻訳学習について研究を行なった.翻訳は異なる言語上の2項関係としてとらえることができる.そこで,本研究では,翻訳の表現系として基本形式体系(EFS)を採用した.EFSは,文字列領域上の一種の論理プログラムであり,翻訳のような2項関係だけでなくより一般的な言語間の関係を記述できる.昨年度は,融合原理に基づいた翻訳EFSの処理系の開発を行なった.融合原理におけるもっとも基本的な処理として単一化代入の計算がある.EFSの処理系においては,文字列パタン同士の単一化を行なうため,その計算コストはかなり高いものとなる.そこで昨年度は,単一化を定数パタン部分の最左マッチングだけに限定し,実効的な速度で動作する翻訳EFSの処理系を試作した.さらに,この処理系によって単純なテキストファイル変換機能が実現できることを実験的に示した.本年度は,最左マッチングに加えて最右マッチングも行なえるように単一化機能を拡張することによって処理系の改良を行なった.この処理系では,最左マッチングと最右マッチングが混在したような単一化が実行可能なため,より柔軟なテキストファイル変換機能が実現できる.また,翻訳学習に関しては,正例からの翻訳学習可能性について考察を行なった.結果として,線形モードEFSとよばれる翻訳EFSの部分クラスに対して,正例からの学習可能性に関するいくつかの特徴付けを与えた.今後は,これらの結果を基に,テキストデータベースの書式の変換という比較的頻繁に起こるルーチンワークをいくつかの変換例や質問を通して自動的に処理するシステムの構築を目指す.

今年，继去年之后，我们进行了问题式翻译学习的研究，这是问题式一致性假设搜索的应用。翻译可以看作是不同语言之间的二元关系，我们采用了基本形式系统（EFS）。）作为一个翻译表示系统。EFS是一种字符串域上的逻辑程序，它不仅能够表达翻译等二元关系，还可以描述语言之间更一般的关系。去年，我们开发了基于融合原理的翻译EFS的处理系统。融合原理中最基本的过程是统一赋值的计算。在EFS处理系统中，字符串模式是，因此，去年我们将统一限制为我们开发了一个以有效速度运行的翻译 EFS 处理系统。此外，我们通过实验证明，使用该处理系统可以实现简单的文本文件转换功能，由于该处理系统可以执行包括最左匹配和最右匹配的混合的统一，因此可以实现更灵活的文本文件转换功能。。对此，我们考虑了从正面例子中学习翻译的可能性。因此，我们为翻译 EFS 的一个子类（称为线性模式 EFS）给出了关于从正面例子中学习的可能性的一些特征。未来，基于这些结果，我们的目标是通过几个转换示例和问题来构建一个系统，自动处理文本数据库格式转换这一相对频繁的日常工作。