プログラム変換に基づいた知識処理マシンの作成

创建基于程序变换的知识加工机器

• 批准号: 07558161
• 负责人: 赤間 清
• 金额: $ 1.15万
• 依托单位: Hokkaido University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 1995
• 资助国家: 日本
• 起止时间: 1995 至 1997
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-07558161/
• 关键词: 知識表現言語; プログラム変換; 最適化問題; コンパイラ; ルール生成; 等価変換プログラミング; 知識処理; 仮想マシン

本研究の目的は、知識表現言語UL/αを拡張して、ルールを基礎とした等価変換システム(ETC)を開発することによって、知識情報処理の分野に、統合的で強力なシステム開発のツールを提供することである。ただし、ETCは等価変換ルールをC言語に変換するコンパイラであり、ETCのルールで記述される。本研究の成果は次のとおりである。(1)等価変換ルールと制御によって記述されたアルゴリズムをC言語にコンパイルする等価変換プログラミング言語ETCを構築した。(2)ETCのコンパイラは、ETCのDルールで書き、ETC自身でコンパイルして作成した。(3)自然言語理解、制約充足問題、法的エキスパートシステムなどを構築して、ETCの有効性を確認した。(4)ETCは、Prologの「失敗による否定」と違って、否定を常に正しく計算できる。そのためにETCに多重世界機構が導入された。(5)ETCは全解を求める問題を正しく高速に解くことができる。制約充足問題に関する比較実験により、ETCがPrologやCLP言語に比べて優れた性能を達成できることが示された。(6)ETCに最適化問題を解く機構が導入された。これは節の選択を評価関数で制御することによって達成された。これにより、たとえば自然言語理解で最適な解釈を優先して探索する知識処理などへの応用の可能性が開かれた。(7)ETCで仕様(確定節)から等価変換ルールを自動的に導出するための実験システムが構築された。これは、ETCプログラミングにおけるルール記述のコストを著しく減少させる可能性がある。

In this study, the purpose of this study is to provide information and information on the basis of UL/ α and basic information (ETC). In this study, the purpose of this study is to provide information, information and information. I don't know what to say. I don't know. I don't know, ETC, I don't know, I don't know, The results of this study have been reviewed for several times. (1) wait for your information to make a note of what you are saying. Say something about it. Say something. Say something about ETC. (2) ETC, and so on. (3) the understanding of natural language, the adequacy of regulation, the limitation of laws and regulations, and the confirmation of ETC. (4) ETC, Prolog failure, negative, negative, Multiple ETC institutions have been admitted into the world economic circle. (5) ETC can solve the problem at a high speed. If there are sufficient problems, the performance of the ETC Prolog CLP will be better than that of the others. (6) the mechanism for solving the problem of ETC optimization is imported into the organization. If you choose to count the number of users, you will need to make sure that you do not know if you are going to be successful. It is natural to understand that the best way to understand is to explore knowledge, to use possibilities, and to start a conversation. (7) the automatic guidance of ETC employees (confirmed employees) and other staff members, such as those of the civil service staff, has led to the development of such activities. Please tell me that you are not aware of the possibility that you will not be able to do so. ETC will tell you that it is possible to do so.

项目成果

赤間 清: "論理プログラムの等価変換による問題解決の枠組" 人工知能学会誌. 12・2. 90-99 (1997)

Kiyoshi Akama：“使用逻辑程序的等效变换解决问题的框架”日本人工智能学会杂志12・2（1997）。

赤間 清: "″解なし″問題の抽象化による解法のための基礎理論" 電子情報通信学会論文誌. (発表予定).

Kiyoshi Akama：“通过抽象解决“无解”问题的基本理论，电子、信息和通信工程师学会杂志”。（待出版）。

赤間 清: "特殊化システムの拡張による知識表現系の変更" 人工知能学会誌. 13.1. 341-349 (1998)

Kiyoshi Akama：“通过扩展专业化系统来改变知识表示系统”《人工智能学会杂志》13.1（1998）。

畑山 満美子: "等価変換ルールの追加による知識処理システムの改善" 人工知能学会誌. 12,6. 861-869 (1997)

Mumiko Hatayama：“通过添加等效转换规则改进知识处理系统”人工智能学会杂志 12,6 (1997)。

赤間 清: "項領域における包含制約の等価変換" 人工知能学会誌. (発表予定).

Kiyoshi Akama：“术语域中包含约束的等效变换”，日本人工智能学会杂志（待出版）。