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

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

基本信息

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

项目摘要

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

作为使用平行逻辑语言的编程方法的基本研究，今年，我们对问题的递归描述进行了研究，并为几个搜索问题增加了约束，并从中得出并行程序。研究内容可以分为两类。一种是将解决方案的解决方案视为平行过程，并通过查看自下而上的问题的递归描述，该程序可以从小的子问题解决方案中构造出较大子问题的解决方案，作为通信的并行过程。尽管其中有许多变化，但已经发现可以使用机械操作执行编程。另一个是将添加到问题的约束定义为独立于与子问题相对应的过程的并行过程中，并将它们视为删除无法满足流程之间数据条件的元素的过滤器。已经发现，可以执行具有良好可见性和高平行性的编程。此外，作为一种具体的应用，我们开发了一种用于自然语言分析的平行语法分析系统，今年我们表明，并行程序的概念有效地分析了独特的语法结构，例如以自然语言出现的成语。另一方面，在自然语言分析方面，消除敏感性是一个重要的研究主题，为了做到这一点，不仅有必要参考句子的本地信息，还需要指向超越句子的上下文的整体结构和信息。作为此目的的材料，我们认为，在本研究中考虑的并行程序中提到广泛指定信息的功能很重要，我们还对此进行了基础研究。