常識機能を実現するための不完全性を含む知識構造と操作メカニズムの研究

研究知识结构和运行机制，包括不完善之处，以实现常识功能

• 批准号: 01633505
• 负责人: 石塚 満
• 金额: $ 1.66万
• 依托单位: The University of Tokyo
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas
• 财政年份: 1989
• 资助国家: 日本
• 起止时间: 1989 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-01633505/
• 关键词: 知識ベ-ス; 人工知能; 仮説推論; 高速推論; 論理

知識の対応の幅の狭さ、知識獲得のボトルネックといった現状の知識ベ-スの問題を克服する次世代知識べ-スへ向けて、不完全な知識の操作を鍵となる技術と認識し、論理に基づく仮説推論に関する研究を進めた。非単調論理の一種であるこの仮説推論システムは、昨年度までの研究で実証したように、診断や設計といった実用的問題に適用できる非常に有用な枠組みであるが、推論速度が遅いことが大きな問題である。そこで、この推論の高速化手法の研究を重点課題として研究を行った。この推論の高速化を図るため、まず数理計画法(simplex法)を適用した推論手法について検討した。数理計画法では不等式で表わした制約(論理の公理に相当)をまとめて大局的に操作するため、与えられたゴ-ルを証明するのに必要な仮説のみを抽出して操作する機能に欠けるため、結果的には高速化は達成されなかった。しかし、この検討を通じてモデル論的視点からの仮説推論の構造を明らかにできた。この検討結果に基づき、第1フェ-ズでゴ-ルの証明に関与する可能性のある仮説の絞り込みと仮説合成のパスを設定する後向き推論を行い、第2フェ-ズでゴ-ルの証明に必要な無矛盾な仮説集合の合成をバックトラックなしの前向きの推論で行うBPFH(Backward Path generation and Foward Hypothesis Synthesis)法と名付けた高速仮説推論法を開発した。非単調推論システムでは無矛盾性制約により後に否定される可能性のある知識(defeasible knowledge)の使用に起因する推論時でのバックトラックの発生が推論速度低下の最も大きな要因であるが、開発したBPFH法はこのバックトラックの回避により高速化を達成している。BPFH法にパスのネットワ-ク状へのコンパイルも加えた高速仮説推論システムを作成し、単純なPrologによる実装と比較して1,000倍以上の推論速度が達成されることを実証した。

Knowledge の 応 seaborne の の narrow さ, knowledge acquisition の ボ ト ル ネ ッ ク と い っ た status quo の knowledge ベ - ス の を overcome す る nextgen knowledge べ - ス へ to け て, incomplete knowledge な の を operation key と な と る technology knowledge し, logical に base づ く 仮 said inference に masato す を る research into め た. Non 単 adjustable logical の a で あ る こ の 仮 said inference シ ス テ ム は, yesterday's annual ま で の research で card be し た よ う に, diagnostic や design と い っ た be with problems に applicable で き る very useful に な 枠 group み で あ る が, inference speed が 遅 い こ と が big き な problem で あ る. Youdaoplaceholder0 そ で で, research on high-speed techniques of <s:1> <s:1> inference <e:1> を Key project と て て research on を field った. The high-speed を of <s:1> inference <e:1> and まず mathematical programming methods (simplex method)を apply the <s:1> た inference technique に て検 て検 て検 て検 seek た. Mathematical planning law で は inequality で table わ し た restriction (logical の axiom に quite) を ま と め て overall に operation す る た め and え ら れ た ゴ - ル を prove す る の に necessary な 仮 said の み を spare し て operation す る function に owe け る た め, results of に high speed は は reached さ れ な か っ た. Beg を し か し, こ の 検 tong じ て モ デ ル theory viewpoint か ら の 仮 say inference の construction を Ming ら か に で き た. Beg results に こ の 検 づ き, 1 フ ェ - ズ で ゴ - ル の prove に masato and す る possibility の あ る 仮 said の ground り 込 み と 仮 said synthetic の パ ス を set す る to line を い き inference, after 2 フ ェ - ズ で ゴ - ル の prove に な no necessary contradiction な 仮 said collection の synthetic を バ ッ ク ト ラ ッ ク な し の forward き の inference で line う BPFH (Bac The kward Path generation and Foward Hypothesis Synthesis method と is called けた high-speed 仮 theory inference method を developed た た. Non-単 modulation inference システムで システムで non-contradiction constraint によ に negation される possibility <s:1> ある knowledge (defeasible Knowledge) の use に cause す る inferences で の バ ッ ク ト ラ ッ ク の 発 が inference low speed の も most big き な by で あ る が, open 発 し た BPFH method は こ の バ ッ ク ト ラ ッ ク の avoid に よ high speed り を reached し て い る. BPFH method に パ ス の ネ ッ ト ワ - ク shape へ の コ ン パ イ ル も plus え た high-speed 仮 said inference シ ス テ ム を し, consummate 単 pure な Prolog に よ る be loaded と compare し て が の inference speed reached 1000 times above さ れ る こ と を card be し た.

项目成果

M.Ishizuka,T.Matsuda: "Knowledge Aquisition Mechanisms for a Logical Knowledge-base including Hypothesis" Knowledge-Based Systems. 3. (1990)

M.Ishizuka，T.Matsuda：“逻辑知识库的知识获取机制，包括假设”知识库系统。

M.Ishizuka: "Knowledge Assimilation & Management Mechanism for Frame Knowledge-base including Hypothesis Knowledg" Workshop on Theoretical Foundation for Knowledge Information Processing(at Prague). (1989)

M.Ishizuka：“知识同化

牧野俊朗、石塚満: "制約評価機構付き仮説推論システムとその回路ブロック設計への応用" 人工知能学会誌. (1990)

Toshiro Makino、Mitsuru Ishizuka：“具有约束评估机制的假设推理系统及其在电路块设计中的应用”日本人工智能学会杂志（1990）。

伊藤史朗,石塚満: "数理計画法を適用した仮説推論システム" 人工知能学会研究資料. SIG-F/H/K-8901-5 (1988)

Shiro Ito、Mitsuru Ishizuka：《应用数学规划的假设推理系统》日本人工智能学会研究资料SIG-F/H/K-8901-5（1988）。

伊藤史朗,石塚満: "シンプレックス法に基づく仮説推論システム" 情報処理学会第39回全国大会講演論文集. No.5C-8 (1989)

Shiro Ito、Mitsuru Ishizuka：“基于单纯形法的假设推理系统”第 39 届日本信息处理学会全国会议论文集 No.5C-8 (1989)。