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

2011 年度 研究成果報告書

• 研究課題/領域番号: 20700147
• 研究種目: 若手研究(B)
• 配分区分: 補助金
• 研究分野: 知能情報学
• 研究機関: 岩手大学 (2010-2011); 独立行政法人情報通信研究機構 (2008-2009)
• 研究代表者: 兼岩 憲 岩手大学, 工学部, 准教授 (00342626)
• 研究期間 (年度): 2008 – 2011
• キーワード: オントロジー

研究概要

研究成果の概要(和文):意思決定ルールと集合構造オントロジーを抽出するために、論理的推論とラフ集合データマイニングの異なる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
  • 査読あり
• [雑誌論文] Existential Rigidity and Many Modalities in Order-Sorted Logic (2011)
  • 著者名/発表者名: Ken Kaneiwa
  • 雑誌名: Knowledge-Based Systems 巻: Vol.24, No.5 ページ: 629-641
  • 査読あり
• [雑誌論文] 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
  • 査読あり
• [雑誌論文] 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
  • 査読あり
• [雑誌論文] 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
  • 査読あり
• [学会発表] 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)
  • 年月日: 20120000
• [学会発表] 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)
  • 年月日: 20100000
• [学会発表] 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)
  • 年月日: 20100000
• [学会発表] 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
  • 年月日: 20100000
• [学会発表] 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)
  • 年月日: 20100000
• [学会発表] 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)
  • 年月日: 20090000
• [学会発表] 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)
  • 年月日: 20090000
• [備考]
  • URL: http://www.ai.cis.iwate-u.ac.jp/kaneiwa/index-j.html