推論による学習の基礎研究

推理学习的基础研究

• 批准号: 63633011
• 负责人: 有川 節夫
• 金额: $ 1.79万
• 依托单位: Kyushu University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas
• 财政年份: 1988
• 资助国家: 日本
• 起止时间: 1988 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-63633011/
• 关键词: 推論; 学習; 類推; 帰納推論; 不完全情報; 並列計算量; P完全性; インターフェース

本研究の目的は,学習の様々な局面で活用される各種推論について、理論的に定式化し、それを計算可能なレベルまで導き、さらに効率化することである。この目的を達成するために、本年度は次の各点に重点を置き、基礎となる成果を得た。(1)類推理論の拡張・原口・有川により確定節を対象にして展開されていた類推の理論を、推論結果に妥当性という概念が自然に導入できるように、また最近注目されているdeterminationの概念も含めることができるように拡張した。さらに、原口・有川による類推和を帰納推論の観点から捉え、類推のもとになるペアリングを帰納推論する方式を得た。(2)帰納推論の研究。大人の学習をモデル化して、学習の出発点になる知識を類推により獲得し、それに双方向の精密化を適用する帰納推論の方式を提案し、その方式の完全性を証明した。また、形式言語の帰納推論を統一的に扱え、モデル推論の手法も適用できる枠組みを基本形式的体系を利用して支えた。(3)デフォールト推論の研究。デフォールト推論における拡張集合を逐次的に求められるようにして、信念修正の問題を帰納推論の観点から究明した。(4)不完全情報を含む知識ベースの研究。節形式のOr型の不完全情報を含む知識ベースからの推論方式を提案し、その意味論を展開した。(5)推論の並列化と並列計算量。推論における逐次的部分を高度に並列化する方式を提案し、推論システムにおける並列性の抽出のための方法論を展開した。また、多くの問題が、効率的に並列化できないことを示す(すなわち、P完全であることを示す)強力な定理を得た。(6)学習による言語翻訳。類推システムとの間のホーン節と日本語文のインターフェースで学習機能をもつものを開発した。

は の purpose, this study learning の others 々 な situation で use さ れ る various inference に つ い て, theory of に demean し, そ れ を computing may な レ ベ ル ま で き, さ ら に sharper rate change す る こ と で あ る. The objective of を is to achieve するために, the focus of に at each point of <s:1> this year is を to set を, and the basic となる results are を to た. (1) the theory of analogy の company, zhang, the mouth, with sichuan に よ り section determine を like に seaborne し て expand さ れ て い た analogy を の theory, inference results に justice と い う concept が natural に import で き る よ う に, ま た recent attention さ れ て い る determination の concept contains も め る こ と が で き る よ う に company, zhang し た. さ ら に, original mouth have sichuan に よ る analogy and を 帰, inference の 観 point か ら catch え, analogy の も と に な る ペ ア リ ン グ を 帰, inference す る た を ways. (2)帰 conduct research by inference. Adult の learning を モ デ ル change し て, learning の に 発 point な る knowledge を analogy に よ り し, そ れ に both sides to の motors を applicable す る 帰 inference を proposal し の way, そ の way の completeness を prove し た. ま た, form words の 帰 unity, inference を に Cha え, モ デ の ル inference technique も applicable で き る 枠 group み system of the basic form of を を using し て branch え た. (3)デフォ デフォ ト ト inferences デフォ research. デ フ ォ ー ル ト inference に お け る を company, a set of successive に o め ら れ る よ う に し て, belief revision の を 帰, inference の 観 point か ら investigate Ming し た. (4) Incomplete information を containing む knowledge ベ ス ス research. Section form の type Or incomplete information を の containing む knowledge ベ ー ス か ら の way of reasoning を proposal し, そ を の mean theory on し た. (5) Infer that <s:1> parallelization と parallel computations. Inference に お け る part of successive を tied for the highly に す る way を proposal し, reasoning シ ス テ ム に お け る tied for sexual の spare の た め の methodology を expand し た. ま た, multiple く の problem が, に sharper rates tied for で き な い こ と を shown す (す な わ ち, P completely で あ る こ と を す) in strong た を な theorem. (6) Learn to translate による into 訳. Between analogical シ ス テ ム と の の ホ ー ン section と Japanese language の イ ン タ ー フ ェ ー ス で learning function を も つ も の を open 発 し た.

项目成果

S.Miyano: Proc.International conference on Fifth Generation Computer Systems. 2. 532-541 (1988)

S.Miyano：Proc.第五代计算机系统国际会议。

有川節夫,原口誠: "述語論理と論理プログラミング" オーム社, 1-217 (1988)

Setsuo Arikawa、Makoto Haraguchi：“谓词逻辑和逻辑编程” Ohmsha，1-217 (1988)

原口誠: 人工知能会研究学会資料SIG-FAI. 8804. 31-39 (1989)

Makoto Haraguchi：人工智能研究材料协会 SIG-FAI。8804. 31-39 (1989)

有川節夫: 計測自動制御学会「知識獲得と学習に関する特別講演会」資料. 1-7 (1988)

Setsuo Arikawa：知识获取和学习特别讲座材料，仪器与控制工程师协会，1-7 (1988)

H.Yuasa;S.Arikawa: Spring LNCS. (1989)

H.Yuasa；S.Arikawa：春季 LNCS。