現実データからの知識獲得問題に対するブール関数的アプローチ

从实际数据获取知识问题的布尔函数方法

• 批准号: 11750059
• 负责人: 牧野 和久
• 金额: $ 1.54万
• 依托单位: Osaka University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1999
• 资助国家: 日本
• 起止时间: 1999 至 2000
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-11750059/
• 关键词: データマイニング; 知識表現; 推論; ホーンブール関数; 部分定義論理関数; 論理関数; 拡大; ホーン理論; 推論問題; データ分析

ある事象を引き起こす例(正例)のデータ集合T⊆{0,1}^nと,引き起こさない例(負例)のデータ集合F⊆{0,1}^nの組である部分定義論理関数(T,F)が与えられたとき,なぜその事象が起こるのかということを説明する理論fを求める問題を考察した.正確に言うと,理論fとは,すべてのυ∈Tに対してf(υ)=1を満たし,かつ,すべてのυ∈Fに対してf(υ)=0を満たす論理関数(拡大)のことです.この問題は人工知能分野における知識獲得の一形式であり,データベース理論においてデータ発掘,及び,知識発見と呼ばれ,近年盛んに成りつつある分野である.本年度は,まず与えられたデータが未知ビットを含んだ場合,どのような理論を作ることが望ましいかということを様々な尺度から議論し,その尺度に基づく理論構築のアルゴリズムを構成した[E.Boros, T.Ibaraki and K.Makino,Fully consistent extensions of partially defined Boolean functions with missing bits, IFIP TCS2000, LNCS 1872,(2000)257-272].また,与えられたデータを説明する本質的な変数(属性)を求めるアルゴリズム[E.Boros, T.Horiyama, T.Ibaraki, K.Makino and M.Yagiura, Finding essential attributes in binary data,IDEAL2000 LNCS 1983,(2000)133-138],および,変数間の分解構造を利用した理論構成アルゴリズムを提案した[H.Ono, K.Makino and T.Ibaraki, Logical analysis of data with decomposable structures, COCOON2000,LNCS 1858,(2000)396-406].ホーン理論が複数与えられたとき,それらを利用してdeductionあるいは,abductionという推論を高速に行うために理論をどのように合成するか考察した.[T.Eiter, T,Ibaraki and K.Makino, On the Difference of Horn theories, Journal of Computer and System Sciences,61(2000)478-507など].その他に,q-ホーン理論の関数従属性,決定リスト等の性質を明らかにした.

あ る things like を lead き up こ す cases (positive) の デ ー タ set T ⊆ {0, 1} ^ n と, lead き up こ さ な い cases (negative) の デ ー タ set F ⊆ {0, 1} ^ n の group で あ る section defines logical masato number (T, F) が and え ら れ た と き, な ぜ そ の things like が up こ る の か と い う こ と を illustrate す る theory め を o F る を inspection problem Youdaoplaceholder0 た. Correct に said う と, theory of f と は, す べ て の nu ∈ T に し seaborne て f (nu) = 1 を against た し, か つ, す べ て の nu ∈ f に し seaborne て (nu) = 0 f を against た す logical masato number (company) の こ と で す. こ の problem は artificial can know eset に お け る knowledge acquisition の form で あ り, デ ー タ ベ ー ス theory に お い て デ ー タ 発 dug, and び In recent years, knowledge has been divided into と and ばれ. This year は ま ず and え ら れ た デ ー タ が unknown ビ ッ ト を containing ん だ occasions, ど の よ う な theoretical を る こ と が hope ま し い か と い う こ と を others 々 な scale か ら comment し, そ の scale に base づ く theory to construct の ア ル ゴ リ ズ ム を constitute し た [E.B oros, T.Ibaraki and K.Makino,Fully consistent extensions of partially defined Boolean functions with missing bits, IFIP TCS2000, LNCS 1872, (2000) 257-272] ま た, with え ら れ た デ ー タ を illustrate す る な nature - number (attributes) を o め る ア ル ゴ リ ズ ム [E.B oros, Todd Harper oriyama, T.I baraki, K.Makino and M.Yagiura, Finding essential attributes in binary data,IDEAL2000 LNCS 1983,(2000)133-138],および, <s:1> decomposition construction between variables を construct using the <s:1> た theory ア ゴリズムを ゴリズムを proposal た た[H. onno] K.Makino and T.Ibaraki, Logical analysis of data with decomposable structures, COCOON2000,LNCS 1858, (2000) 396-406] ホ ー ン theory が plural and え ら れ た と き, そ れ ら を using し て deduction あ る い は, abduction と い う inference を high-speed line に う た め に theory を ど の よ う に synthetic す る か investigation し た. [T.E iter, T,Ibaraki and K.Makino, On the Difference of Horn theories, Journal of Computer and System Sciences, 61 (2000) 478-507 な ど] そ の he に, q - ホ ー ン theory の masato 従 attribute, decided to リ ス ト を の properties such as Ming ら か に し た.

项目成果

Boros,E.: "Fully consistent extensions of partially defined Boolean functions with missing bits"IFIP TCS2000, LNCS. 1872. 257-272 (2000)

Boros,E.：“部分定义的布尔函数与缺失位的完全一致的扩展”IFIP TCS2000，LNCS。

Eiter,T.: "On the difference of Horn theories"Journal of Computer and System Sciences. 61. 478-50 (2000)

Eiter,T.：“论霍恩理论的差异”计算机与系统科学杂志。

Boros,E.: "Dual-bounded generating problems : partial and multiple transversals of a hypergraph"SIAM Journal on Computing. (採録決定済).

Boros, E.：“双有界生成问题：超图的部分和多重横截面”SIAM 计算杂志（已接受）。

Cor Bioch: "Minimum self-dual decompositions of positive dual-minor Booleans functions"Discrete Applied Mathematics. 96-97. 307-326 (1999)

Cor Bioch：“正对偶布尔函数的最小自对偶分解”离散应用数学。

牧野和久: "Inner-core and outer-core functions of partially defined Boolean functions"Discrete Applied Mathematics. 96-97. 443-460 (1999)

Kazuhisa Makino：“部分定义的布尔函数的内核和外核函数”离散应用数学 96-97（1999）。