等価変換に基づく知識処理システム構築方法の研究
基于等价变换构建知识处理系统的研究
基本信息
- 批准号:08878045
- 负责人:
- 金额:$ 1.09万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Exploratory Research
- 财政年份:1996
- 资助国家:日本
- 起止时间:1996 至 1997
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
本研究の目的は、「ルールを基礎としたプログラムの等価変換」という新しい計算パラダイムを用いたシステム構築方法を確立することである。本研究は、(1)等価変換の基礎理論の構築、(2)ルールの自動生成法の提案、(3)知識処理システムの試作からなる。(1)では、まず、否定を表現し、正しく計算するための基礎理論を与えた。本研究では,新たに「制約」を確定節のボディに導入して,「制約つき宣言的記述」のクラスを提案した.また負制約という概念を導入し、否定のための十分な表現力を得ることができた.次に、負制約の等価変換のための基礎的な理論を与えた.これらの理論に基づいて、プログラミング言語ETCに否定を導入し、否定の計算が正しく行なわれることを確認した。(2)では、仕様から等価変換ルールを生成する基礎理論を作り実験システムを構築した.本研究の方法は、メタルールを利用した等価変換によってルールの生成を行なうものである。これは従来のunfold/fold変換と異なり、ルールがモジュラー性を持つ。これによって、大規模なルール生成システムを構築する可能性が開けた。(3)では、提案したシステム構築方法を、自然言語理解、最良優先探索、パズルの解法、などに適用してその有効性を確認した。
In this study, the purpose of this study is to make sure that the information is correct by using the method of calculation and calculation. In this study, (1) and other basic theories, (2) the proposal of automatic generation method, and (3) knowledge management. (1) the basic theories and theories are different from each other in terms of performance, positive and positive calculation. In this study, the new treaty agreement confirms that it is necessary to enter into the treaty, and the record of the declaration of the treaty. On the basis of the system, the concept is introduced, and the negative effect is very important. The basic theories and regulations of the second and third parties are very important. Please tell me that the basic theory is not correct, that is, the ETC is negative, the calculation is positive, the line is correct, and the confirmation is correct. (2) the basic theory is based on the formation of basic theories, such as the production of basic theories, such as salary, salary, etc. In this study, the methods and methods were used to generate the row data. Please tell me that you have a problem with unfold/fold and that you have sex with you. There is a possibility that large-scale and large-scale data will be generated in a large scale. (3) to make sure that the method is correct, that is, to understand the natural language, to explore the best, to solve the problem, and to use the method to confirm the nature of the problem.
项目成果
期刊论文数量(8)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
赤間 清: "論理プログラムの等価変換による問題解決の枠組" 人工知能学会誌. 12・2. 90-99 (1997)
Kiyoshi Akama:“使用逻辑程序的等效变换解决问题的框架”日本人工智能学会杂志12・2(1997)。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
赤間 清: "″解なし″問題の抽象化による解法のための基礎理論" 電子情報通信学会論文誌. (発表予定).
Kiyoshi Akama:“通过抽象解决“无解”问题的基本理论,电子、信息和通信工程师学会杂志”。(待出版)。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
赤間 清: "特殊化システムの拡張による知識表現系の変更" 人工知能学会誌. 13.1. 341-349 (1998)
Kiyoshi Akama:“通过扩展专业化系统来改变知识表示系统”《人工智能学会杂志》13.1(1998)。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
畑山 満美子: "等価変換ルールの追加による知識処理システムの改善" 人工知能学会誌. 12,6. 861-869 (1997)
Mumiko Hatayama:“通过添加等效转换规则改进知识处理系统”人工智能学会杂志 12,6 (1997)。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
赤間 清: "項領域における包含制約の等価変換" 人工知能学会誌. (発表予定).
Kiyoshi Akama:“术语域中包含约束的等效变换”,日本人工智能学会杂志(待出版)。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
赤間 清其他文献
Conceptual Modeling and Transformation of Dynamic Interactive Systems
动态交互系统的概念建模和转换
- DOI:
- 发表时间:
2007 - 期刊:
- 影响因子:0
- 作者:
加藤 克宜;赤間 清;中村 佳祐;C.Powell and K.Akama - 通讯作者:
C.Powell and K.Akama
リンケージ同定とコンテクスト依存交叉を用いた遺伝的アルゴリズムの並列化
使用连锁识别和上下文相关交叉的遗传算法并行化
- DOI:
- 发表时间:
2007 - 期刊:
- 影响因子:0
- 作者:
辻 美和子;棟朝雅晴;赤間 清 - 通讯作者:
赤間 清
赤間 清的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('赤間 清', 18)}}的其他基金
メタ計算の進化的探索に基づく正当で効率的なプログラムの自動生成
基于元计算进化搜索自动生成有效高效的程序
- 批准号:
16650003 - 财政年份:2004
- 资助金额:
$ 1.09万 - 项目类别:
Grant-in-Aid for Exploratory Research
ソフトウェア発展を高度化するための等価変換ルールの自動生成法の研究
改进软件开发的等价转换规则自动生成研究
- 批准号:
10139202 - 财政年份:1998
- 资助金额:
$ 1.09万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas (A)
ソフトウェアの発展を可能にする等価変換に基づくシステム構築法の研究
基于等价变换的软件开发系统构建方法研究
- 批准号:
09245202 - 财政年份:1997
- 资助金额:
$ 1.09万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
不完全知識下の法的推論の実現方法の研究
不完全知识下如何实现法律推理研究
- 批准号:
08204203 - 财政年份:1996
- 资助金额:
$ 1.09万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
柔軟で高速な法的推論の実現方法の研究
如何实现灵活快速的法律推理研究
- 批准号:
07204201 - 财政年份:1995
- 资助金额:
$ 1.09万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
プログラム変換に基づいた知識処理マシンの作成
创建基于程序变换的知识加工机器
- 批准号:
07558161 - 财政年份:1995
- 资助金额:
$ 1.09万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
法的推論を基礎とした知識獲得支援システムの研究
基于法律推理的知识获取支持系统研究
- 批准号:
06207202 - 财政年份:1994
- 资助金额:
$ 1.09万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
法律知識ベースの構築支援システムの研究
法律知识库建设支撑系统研究
- 批准号:
05208202 - 财政年份:1993
- 资助金额:
$ 1.09万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
帰納的学習システムを作製するための言語の開発
开发用于创建归纳学习系统的语言
- 批准号:
58780018 - 财政年份:1983
- 资助金额:
$ 1.09万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
外界から得た情報を構造化して自己の知識体系をつくってゆく学習システムの作成
创建一个学习系统,通过构建从外部世界获得的信息来创建知识体系
- 批准号:
X00210----575221 - 财政年份:1980
- 资助金额:
$ 1.09万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
相似海外基金
ソフトウェア発展を高度化するための等価変換ルールの自動生成法の研究
改进软件开发的等价转换规则自动生成研究
- 批准号:
10139202 - 财政年份:1998
- 资助金额:
$ 1.09万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas (A)