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

• 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 岩手大学, 工学部, 准教授 (00342626)
• Project Period (FY): 2008 – 2011
• Project Status: Completed (Fiscal Year 2011)
• Budget Amount: ¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000); Fiscal Year 2011: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000); Fiscal Year 2010: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000); Fiscal Year 2009: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000); Fiscal Year 2008: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
• Keywords: オントロジー / 決定ルール / 知識ベース / 知識構造の抽出

Research Abstract

We have developed a logical reasoning system and rough set data mining algorithm for inferring decision rules and conceptual ontologies. These system and algorithm provide a basis of the knowledge-based system that contains logical and ontological reasoning and data analysis. In addition, we have proposed a method that connects reasoning to a decision support system such that rule and ontology reasoning from users' keywords are used to support their decision making.

Research Products

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