決定ルールと構造オントロジーによる意思決定知識ベースシステム

• 研究課題/領域番号: 20700147
• 研究種目: 若手研究(B)
• 配分区分: 補助金
• 研究分野: 知能情報学
• 研究機関: 岩手大学 (2010-2011); 独立行政法人情報通信研究機構 (2008-2009)
• 研究代表者: 兼岩 憲 岩手大学, 工学部, 准教授 (00342626)
• 研究期間 (年度): 2008 – 2011
• 研究課題ステータス: 完了 (2011年度)
• 配分額: 4,160千円 (直接経費: 3,200千円、間接経費: 960千円); 2011年度: 780千円 (直接経費: 600千円、間接経費: 180千円); 2010年度: 910千円 (直接経費: 700千円、間接経費: 210千円); 2009年度: 910千円 (直接経費: 700千円、間接経費: 210千円); 2008年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
• キーワード: オントロジー / 決定ルール / 知識ベース / 知識構造の抽出

研究概要

研究成果の概要(和文):意思決定ルールと集合構造オントロジーを抽出するために、論理的推論とラフ集合データマイニングの異なる2つのタイプの推論メカニズムを研究開発した。それにより、データ分析と事例ベース推論の2つの意思決定の側面を取り入れた知識ベースシステムの基盤を与えている。さらに、実際の知識構造データから意思決定支援へ結びつけるために、ユーザーの入力を起点にして、そこからルールとオントロジーの推論を適用する方法を提案した。

研究成果

• [雑誌論文] An Order-Sorted Query System for Sort, Predicate, and Meta-Predicate Hierarchies (2012)
  • 著者名/発表者名: Ken Kaneiwa and Philip H. P. Nguyen
  • 雑誌名: Knowledge and Information Systems 巻: (掲載予定)
  • 査読あり
• [雑誌論文] Conceptual Modeling in Full Computation-Tree Logic with Sequence Modal Operator (2011)
  • 著者名/発表者名: Ken Kaneiwa and Norihiro Kamide
  • 雑誌名: International Journal of Intelligent Systems 巻: Vol.26, No.7 ページ: 636-651
  • 査読あり
• [雑誌論文] A Sequential Pattern Mining Algorithm using Rough Set Theory (2011)
  • 著者名/発表者名: Ken Kaneiwa and Yasuo Kudo
  • 雑誌名: International Journal of Approximate Reasoning 巻: Vol.52, No.6 ページ: 894-913
  • NAID: 120003308378
  • 査読あり
• [雑誌論文] Existential Rigidity and Many Modalities in Order-Sorted Logic (2011)
  • 著者名/発表者名: Ken Kaneiwa
  • 雑誌名: Knowledge-Based Systems 巻: Vol.24, No.5 ページ: 629-641
  • NAID: 120003308379
  • 査読あり
• [雑誌論文] Paraconsistent Computation Tree Logic (2011)
  • 著者名/発表者名: Ken Kaneiwa and Norihiro Kamide
  • 雑誌名: New Generation Computing 巻: Vol.29, No.4 ページ: 391-408
  • 査読あり
• [雑誌論文] A Rough Set Approach to Multiple Datasets Analysis (2011)
  • 著者名/発表者名: Ken Kaneiwa
  • 雑誌名: Applied Soft Computing 巻: Vol.11, No.2 ページ: 2538-2547
  • NAID: 120002808201
  • 査読あり
• [雑誌論文] A Sequential Pattern Mining Algorithm using Rough Set Theory. International Journal of Approximate Reasoning (2011)
  • 著者名/発表者名: Ken Kaneiwa, Yasuo Kudo
  • 雑誌名: International Journal of Approximate Reasoning 巻: Vol.52, No.6 ページ: 894-913
  • 査読あり
• [雑誌論文] A Rough Set Approach to Multiple Datasets Analysis. (2011)
  • 著者名/発表者名: Ken Kaneiwa
  • 雑誌名: Applied Soft Computing Vol.11, No.2 ページ: 2538-2547
  • NAID: 120002808201
  • 査読あり
• [雑誌論文] Sequence-Indexed Linear-Time Temporal Logic : Proof System and Application (2010)
  • 著者名/発表者名: Ken Kaneiwa and Norihiro Kamide
  • 雑誌名: Applied Artificial Intelligence 巻: Vol.24, No.10 ページ: 896-913
  • 査読あり
• [雑誌論文] Sequence-Indexed Linear-Time Temporal Logic : Proof System and Application. (2010)
  • 著者名/発表者名: Ken Kaneiwa, Norihiro Kamide
  • 雑誌名: Applied Artificial Intelligence Vol.24, No.10 ページ: 896-913
  • 査読あり
• [雑誌論文] Distributed Reasoning with Ontologies and Rules in Order-Sorted Logic Programming (2009)
  • 著者名/発表者名: Ken Kaneiwa and Riichiro Mizoguchi
  • 雑誌名: Journal of Web Semantics 巻: Vol.7, Vol. 3 ページ: 252-270
  • 査読あり
• [雑誌論文] Distributed Reasoning with Ontologies and Rules in Order-Sorted Logic Programming (2009)
  • 著者名/発表者名: Ken Kaneiwa, Riichiro Mizoguchi.
  • 雑誌名: Journal of Web Semantics Vol.7, Vol.3 ページ: 252-270
  • 査読あり
• [雑誌論文] Distributed Reasoning with Ontologies and Rules in Order-Sorted Logic Programming (2009)
  • 著者名/発表者名: Ken Kaneiwa
  • 雑誌名: Journal of Web Semantics Vol.7 No.3 ページ: 252-270
  • 査読あり
• [学会発表] Sorted Hyper-Predicate Knowledge Bases for Ontologies and Rules (2012)
  • 著者名/発表者名: Ken Kaneiwa, Philip H.P. Nguyen
  • 学会等名: 27th Symposium On Applied Computing
  • 発表場所: Riva del Garda (Trento), Italy
  • 年月日: 2012-03-29
• [学会発表] Sorted Hyper-Predicate Knowledge Bases for Ontologies and Rules (2012)
  • 著者名/発表者名: Ken Kaneiwa and Philip H.P. Nguyen
  • 学会等名: In proceedings of 27th Symposium On Applied Computing (ACM SAC 2012)
• [学会発表] Resource-Sensitive Reasoning with Sequential Information. (2010)
  • 著者名/発表者名: Norihiro Kamide, Ken Kaneiwa
  • 学会等名: In Proceedings of the 23rd Australian Joint Conference on Artificial Intelligence (AI 2010)
  • 発表場所: University of South Australia, Australia.
  • 年月日: 2010-12-08
• [学会発表] Resource-Sensitive Reasoning with Sequential Information (2010)
  • 著者名/発表者名: Norihiro Kamide, Ken Kaneiwa
  • 学会等名: 23rd Australian Joint Conference on Artificial Intelligence
  • 発表場所: University of South Australia, Adelaid, Australia
  • 年月日: 2010-12-08
• [学会発表] Local Pattern Mining from Sequences using Rough Set Theory. (2010)
  • 著者名/発表者名: Ken Kaneiwa, Yasuo Kudo
  • 学会等名: In Proceedings of the 2010 IEEE International Conference on Granular Computing (IEEE GrC 2010)
  • 発表場所: San Jose State University, USA.
  • 年月日: 2010-08-14
• [学会発表] Local Pattern Mining from Sequences using Rough Set Theory (2010)
  • 著者名/発表者名: Ken Kaneiwa, Yasuo Kudo
  • 学会等名: 2010 IEEE International Conference on Granular Computing
  • 発表場所: San Jose State University, San Jose, USA
  • 年月日: 2010-08-14
• [学会発表] A Rough Set Approach to Mining Connections from Information Systems (2010)
  • 著者名/発表者名: Ken Kaneiwa
  • 学会等名: 25th ACM Symposium on Applied Computing (ACM SAC 2010)
  • 発表場所: University of Applied Sciencesシエール(スイス)
  • 年月日: 2010-03-24
• [学会発表] Paraconsistent Negation and Classical Negation in Computation Tree Logic (2010)
  • 著者名/発表者名: Norihiro Kamide
  • 学会等名: 2nd International Conference on Agents and Artificial Intelligence (ICAART 2010)
  • 発表場所: Hotel Sidi Salerヴァレンシア(スペイン)
  • 年月日: 2010-01-23
• [学会発表] Local Pattern Mining from Sequences using Rough Set Theory (2010)
  • 著者名/発表者名: Ken Kaneiwa and Yasuo Kudo
  • 学会等名: In Proceedings of the 2010 IEEE International Conference on Granular Computing (IEEE GrC 2010)
• [学会発表] Resource-Sensitive Reasoning with Sequential Information (2010)
  • 著者名/発表者名: Norihiro Kamide and Ken Kaneiwa
  • 学会等名: In Proceedings of the 23rd Australian Joint Conference on Artificial Intelligence (AI 2010)
• [学会発表] A Rough Set Approach to Mining Connections from Information Systems (2010)
  • 著者名/発表者名: Ken Kaneiwa
  • 学会等名: In Proceedings of the 25th ACM Symposium on Applied Computing (ACM SAC 2010)
  • 発表場所: Track on Data Min
• [学会発表] Paraconsistent Negation and Classical Negation in Computation Tree Logic (2010)
  • 著者名/発表者名: Norihiro Kamide and Ken Kaneiwa
  • 学会等名: In Proceedings of the 2nd International Conference on Agents and Artificial Intelligence (ICAART 2010)
• [学会発表] A Rough Set Approach to Mining Connections from Information Systems. (2010)
  • 著者名/発表者名: Ken Kaneiwa
  • 学会等名: In Proceedings of the 25th ACM Symposium on Applied Computing (ACM SAC 2010), Track on Data Mining
  • 発表場所: University of Applied Sciences Western Switzerland (HES-SO) in Sierre, Switzerland.
• [学会発表] Paraconsistent Negation and Classical Negation in Computation Tree Logic. (2010)
  • 著者名/発表者名: Norihiro Kamide, Ken Kaneiwa
  • 学会等名: In Proceedings of the 2nd International Conference on Agents and Artificial Intelligence (ICAART 2010)
  • 発表場所: Valencia, Spain
• [学会発表] Extended Full Computation-Tree Logic with Sequence Modal Operator, Representing Hierarchical Tree Structures (2009)
  • 著者名/発表者名: Norihiro Kamide
  • 学会等名: 22nd Australian Joint Conference on Artificial Intelligence (AI 2009)
  • 発表場所: University of Melbourneメルボルン(オーストラリア)
  • 年月日: 2009-12-03
• [学会発表] Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring (2009)
  • 著者名/発表者名: Ken Kaneiwa
  • 学会等名: 8th International Semantic Web Conference (ISWC 2009)
  • 発表場所: Westfields Conference CenterワシントンDC(アメリカ)
  • 年月日: 2009-10-28
• [学会発表] Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring (2009)
  • 著者名/発表者名: Ken Kaneiwa and Philip H, P, Nguyen
  • 学会等名: In Proceedings of the 8th International Semantic Web Conference (ISWC 2009)
• [学会発表] Extended Full Computation-Tree Logic with Sequence Modal Operator : Representing Hierarchical Tree Structures (2009)
  • 著者名/発表者名: Norihiro Kamide and Ken Kaneiwa
  • 学会等名: In Proceedings of the 22nd Australian Joint Conference on Artificial Intelligence (AI 2009)
• [学会発表] Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring. (2009)
  • 著者名/発表者名: Ken Kaneiwa, Philip H, P, Nguyen
  • 学会等名: In Proceedings of the 8th International Semantic Web Conference (ISWC 2009)
  • 発表場所: Westfields Conference Center, USA.
• [学会発表] Extended Full Computation-Tree Logic with Sequence Modal Operator : Representing Hierarchical Tree Structures. (2009)
  • 著者名/発表者名: Norihiro Kamide, Ken Kaneiwa
  • 学会等名: In Proceedings of the 22nd Australian Joint Conference on Artificial Intelligence (AI 2009)
  • 発表場所: The University of Melbourne, Melbourne, Australia.
• [備考]
  • URL: http://www.ai.cis.iwate-u.ac.jp/kaneiwa/index-j.html