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

2010 年度 自己評価報告書

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

研究概要

本研究では、データ分析と事例ベース推論の融合から整合的に意思決定を支援するために、意思決定ルールと集合構造オントロジーの2タイプの知識構造を発見するメカニズムを提案する。特に、知識構造を扱うために論理的推論を用いて、実データの曖昧さを扱うためにソフトコンピューティング(ラフ集合の理論)を用いる。その結果、意思決定に価値のある知識として知識構造の2タイプを出力して従来の発想にはない意思決定知識ベースシステムを構築する。

研究成果

• [雑誌論文] 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, 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, Riichiro Mizoguchi.
  • 雑誌名: Journal of Web Semantics Vol.7, Vol.3 ページ: 252-270
  • 査読あり
• [学会発表] 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.
  • 年月日: 20100322-20100326
• [学会発表] 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
  • 年月日: 20100122-20100124
• [学会発表] 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
• [学会発表] 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
• [学会発表] 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.
  • 年月日: 20091201-20091204
• [学会発表] 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.
  • 年月日: 20091025-20091029