並列論理型言語によるプログラミング法に関する研究

并行逻辑语言编程方法研究

基本信息

批准号：
02249203
负责人：
松本裕治
金额：
$ 0.58万
依托单位：
Kyoto University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
财政年份：
1990
资助国家：
日本
起止时间：
1990 至无数据
项目状态：
已结题

项目摘要

並列論理型言語によるプログラミング方法論の基礎的な研究として、本年度はいくつかの探索問題について問題の再帰的な記述および制約条件の付加を行い、そこから並列プログラムを導出する研究を行った。研究内容は2つに分けることができる。一つは部分問題の解を並列なプロセスと考え、問題の再帰的な記述をボトムアップに見ることにより小さな部分問題の解からより大きな部分問題の解の構成を行うプログラムを通信を行う並列プロセスとして定義することである。これにはいくつかの多様性が存在するものの、機械的な操作でプログラミングが行えることがわかった。もう一つは、問題に付加された制約条件を部分問題に対応するプロセスとは独立の並列プロセスとして定義し、プロセス間で通信されるデ-タから条件を満たさない要素を取り除くフィルタ-として実現することである。これによって、見通しよくかつ並列度の高いプログラミングを行うことができることがわかった。また、具体的な応用として自然言語解析のための並列構文解析システムを開発しており、本年度は、自然言語に現れる熟語などの特徴的な構文構造の解析に対して並列プログラムの考え方が有効に働くことを示した。一方、自然言語の解析については瞹眛性の解消が重要な研究課題であり、そのためには文の局所的な情報だけでなく全体の構造や文を越えた文脈に関する情報を参照する必要が生じる。このための材細として、本研究で考えている並列プログラムにおける大局的な情報の参照を行う機能が重要であると考え、その基礎的な研究も合わせて行った。

作为使用并行逻辑语言的编程方法的基础研究，今年我们对几个搜索问题进行了研究，通过递归地描述问题并添加约束，并从中导出并行程序。研究内容可分为两部分。一种是并行过程，将子问题的解决方案视为并行过程，并通过自下而上查看问题的递归描述来传递从较小子问题的解决方案构造较大子问题的解决方案的程序。尽管存在一些变化，但人们发现编程可以机械地完成。另一种方法是将添加到问题中的约束条件定义为独立于子问题对应的进程的并行进程，并将其实现为过滤器，从进程之间通信的数据中删除不满足条件的元素。是有事可做。人们发现，这允许以良好的可见性和高度的并行性来执行编程。此外，作为一个具体的应用，我们正在开发一个用于自然语言分析的并行句法分析系统，结果表明它是有效的。另一方面，在自然语言分析中，消除晦涩难懂是一个重要的研究课题，为此，不仅需要参考句子的局部信息，还需要参考整体结构和上下文的信息超出句子。我们认为，在本研究中考虑的并行程序中引用全局信息的能力作为用于此目的的材料很重要，并且我们也对此功能进行了基础研究。