A knowledge-based decision-support system using decision rules and ontologies

2010 Fiscal Year Self-evaluation Report

• Project/Area Number: 20700147
• Research Category: Grant-in-Aid for Young Scientists (B)
• Allocation Type: Single-year Grants
• Research Field: Intelligent informatics
• Research Institution: Iwate University (2010-2011); National Institute of Information and Communications Technology (2008-2009)
• Principal Investigator: KANEIWA Ken National Institute of Information and Communications Technology, 工学部, 准教授 (00342626)
• Project Period (FY): 2008 – 2011
• Keywords: オントロジー

Research Abstract

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

Research Products

• [Journal Article] A Rough Set Approach to Multiple Datasets Analysis. (2011)
  • Author(s): Ken Kaneiwa
  • Journal Title: Applied Soft Computing Vol.11, No.2 Pages: 2538-2547
  • Peer Reviewed
• [Journal Article] Sequence-Indexed Linear-Time Temporal Logic : Proof System and Application. (2010)
  • Author(s): Ken Kaneiwa, Norihiro Kamide
  • Journal Title: Applied Artificial Intelligence Vol.24, No.10 Pages: 896-913
  • Peer Reviewed
• [Journal Article] Distributed Reasoning with Ontologies and Rules in Order-Sorted Logic Programming (2009)
  • Author(s): Ken Kaneiwa, Riichiro Mizoguchi.
  • Journal Title: Journal of Web Semantics Vol.7, Vol.3 Pages: 252-270
  • Peer Reviewed
• [Presentation] A Rough Set Approach to Mining Connections from Information Systems. (2010)
  • Author(s): Ken Kaneiwa
  • Organizer: In Proceedings of the 25th ACM Symposium on Applied Computing (ACM SAC 2010), Track on Data Mining
  • Place of Presentation: University of Applied Sciences Western Switzerland (HES-SO) in Sierre, Switzerland.
  • Year and Date: 20100322-20100326
• [Presentation] Paraconsistent Negation and Classical Negation in Computation Tree Logic. (2010)
  • Author(s): Norihiro Kamide, Ken Kaneiwa
  • Organizer: In Proceedings of the 2nd International Conference on Agents and Artificial Intelligence (ICAART 2010)
  • Place of Presentation: Valencia, Spain
  • Year and Date: 20100122-20100124
• [Presentation] Resource-Sensitive Reasoning with Sequential Information. (2010)
  • Author(s): Norihiro Kamide, Ken Kaneiwa
  • Organizer: In Proceedings of the 23rd Australian Joint Conference on Artificial Intelligence (AI 2010)
  • Place of Presentation: University of South Australia, Australia.
  • Year and Date: 2010-12-08
• [Presentation] Local Pattern Mining from Sequences using Rough Set Theory. (2010)
  • Author(s): Ken Kaneiwa, Yasuo Kudo
  • Organizer: In Proceedings of the 2010 IEEE International Conference on Granular Computing (IEEE GrC 2010)
  • Place of Presentation: San Jose State University, USA.
  • Year and Date: 2010-08-14
• [Presentation] Extended Full Computation-Tree Logic with Sequence Modal Operator : Representing Hierarchical Tree Structures. (2009)
  • Author(s): Norihiro Kamide, Ken Kaneiwa
  • Organizer: In Proceedings of the 22nd Australian Joint Conference on Artificial Intelligence (AI 2009)
  • Place of Presentation: The University of Melbourne, Melbourne, Australia.
  • Year and Date: 20091201-20091204
• [Presentation] Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring. (2009)
  • Author(s): Ken Kaneiwa, Philip H, P, Nguyen
  • Organizer: In Proceedings of the 8th International Semantic Web Conference (ISWC 2009)
  • Place of Presentation: Westfields Conference Center, USA.
  • Year and Date: 20091025-20091029