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

例外を許容する知識ベースシステムからの帰納論理プログラミングを用いた知識獲得

使用归纳逻辑编程从容忍异常的基于知识的系统获取知识

基本信息

批准号：
11780269
负责人：
大原剛三
金额：
$ 1.28万
依托单位：
Osaka University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1999
资助国家：
日本
起止时间：
1999 至 2000
项目状态：
已结题

项目摘要

本年度は,当初の計画に従い,背景知識中に例外を含む知識が存在する場合の知識獲得メカニズムの検討と,例外を含む知識の獲得プロセスの並列化手法について検討した.具体的な研究内容は以下の通りである.1.背景知識中の例外を含む知識を利用するための論理的枠組みの検討例外を含む背景知識を利用した帰納論理プログラミングによる知識獲得のため,一般論理プログラムと呼ばれる例外を含む知識を扱える論理プログラムのクラスに対する新たな意味論として条件付き解集合を提案した.従来の意味論では,プログラム中のルール間の競合関係により複数のモデル(解集合)が存在する場合があり,ある事象の真偽の証明にはモデルの選択が必要であった.これに対し,条件付き解集合では一部のモデルにしか含まれないような仮説的な事象を条件付きファクトとして表現することにより,形式上,複数のモデルを1つの解集合に統合し,モデルの選択を意識する必要のない証明環境を提供している.これにより,例外を含む知識を伴う背景知識からのInverse Entailmentを用いた候補仮説集合を限定するためのMost Specific Clauseの計算と,各候補仮説により被覆される事例の証明が可能となった.2.例外を含む知識の獲得プロセスの並列化手法の提案提案手法では,獲得した知識に対する例外を予測するためのルールの再帰的な学習プロセスを,ネットワーク上の複数の計算機で分散処理する手法を提案した.提案手法では,例外を予測するルールの学習プロセスが独立した学習タスクとして捉えることができることに着目し,通常の知識獲得と例外を予測するルールの獲得をそれぞれサーバ,およびクライアントのタスクとして分割した.事例数約8,000のテストデータに対し,3クライアントを用いたプロトタイプシステムでは約40〜50%の速度向上に成功している.

This year, in contrast to the original plan, the background knowledge includes the exception of knowledge acquisition where knowledge exists, and the exception of knowledge acquisition where knowledge exists. The specific research contents are as follows: 1. Exceptions in background knowledge include knowledge utilization, logic grouping, exception discussion, background knowledge utilization, logic grouping, knowledge acquisition, general logic grouping, exception knowledge inclusion, logic grouping, new meaning discussion, conditional solution set proposal. In the theory of meaning, there is a need for the selection of a complex set of objects (solution set) in the context of the existence of a complex set of objects (solution set). The conditional solution set is a partial solution set, which contains the conditional solution set and the conditional solution set. The conditional solution set is a partial solution set. The conditional solution set contains the conditional solution set and the conditional solution set. The conditional solution set is a partial solution set. The conditional solution set contains the conditional solution set and the conditional solution set. The conditional solution set contains the conditional solution set and the conditional solution set. The exception contains knowledge, background knowledge, candidate statement set, calculation of Most Specific Clause, candidate statement, proof of covered case, proposal method, acquisition of knowledge, exception prediction, re-examination of candidate statement set. A proposal for distributed processing on a plurality of computers. The proposed method is to predict the future of a group of learning options for independent learning options and to predict the future of a group of learning options for ordinary knowledge acquisition options. The number of cases is about 8,000, and the speed of upward movement is about 40 ~ 50%.