权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

知的プログラミング環境におけるプログラムの意味と理解の研究

智能编程环境中程序意义和理解的研究

基本信息

批准号：
01633526
负责人：
上野晴樹
金额：
$ 1.34万
依托单位：
Tokyo Denki University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
财政年份：
1989
资助国家：
日本
起止时间：
1989 至无数据
项目状态：
已结题

项目摘要

本研究は、知的プログラミング環境を実現する為に基礎となるプログラムの意味および理解に関する基礎的原理を明らかにすることである。対話型プログラミングに於ける人間一機械システムの高次コミュニケ-ションを実現するには、機械が人間の入力するプログラムを理解して適切に支援する機構が必要であるが、これまでのプログラミング環境の研究にはこの視点からのアプロ-チが極めて少なく、多くの基本的問題が未だ解明されていない。色々な課題があるが、プログラムの意味理解とバグを含むプログラムからプログラマの意図を理解する機能が特に重要であると考える。本研究では、アルゴリズム知識と実現技法の知識を体系的に表現する為の知識表現モデルとしてHPG(HierarchicalProcedure Graph)を開発し、これを用いたプログラム理解の実験システムを開発し、評価と改良を行ないつつある。HPGは、プログラムを複数の変数によって表現される世界のモデルに対する体系的操作の手続きであると考えたとき、処理プロセスのどの段階でどの変数にどのような操作が行なわれなければならないかが、アルゴリズムによって強く規定されていることに着目して、構造化したものである。本年度はプロセスの相互関係、変数の宣言とそれらの操作および参照の関係等を、客観的かつ汎用な知識ベ-スとして利用できるような表現に拡張・改良した。プログラミング技法の知識やミスの知識はそれらが関係するプロセスノ-ドに付加した。その結果プログラム理解能力が向上するとともに、同じ知識をプログラミングのガイド、プログラム理解およびプログラム教育支援に利用するという、いわゆる多目的利用型知識ベ-スとしての発展の可能性を示すことが出来た。HPGグラフによるプログラミング知識の表現法の開発が、これまでの本研究の最も重要な成果であると考えている。

This study aims to clarify the fundamental principles underlying the understanding of environmental conditions and their implications. For example, the basic problems of the high-order mechanical system of the human body, the mechanical system of the human body, the understanding of the mechanical system of the human body and the support of the human body are not solved. The function of understanding the meaning of color is particularly important. This study aims to develop and improve the knowledge representation system of knowledge realization techniques for hierarchical procedure Graph (HPG). HPG is a multi-dimensional system that represents the operation of the system in the world. It is a multi-dimensional system. It is a multi-dimensional system. It is a multi-dimensional system. This year, we will improve our performance in terms of mutual relationship, number of declarations, operation and reference, etc. The knowledge of the technology and the knowledge of the relationship between them are added. As a result, the ability to understand and develop multi-purpose knowledge has been demonstrated. The development of HPG knowledge representation is the most important achievement of this study.