【研究概要】
|
|
研究テーマ１「オントロジー指向の知識ベース推論」
順序ソート論理においてソートと単項述語は意味論的に同等と見なされるが，形式オントロジーではそれらは異なった種類の属性として分類される(例えば，ソートと非ソート). こうしたオントロジー的な分析は，知識表現と推論の中で個体の属性(またはソート)を扱うのに有用な指針を与えてくれる．本研究では，形式オントロジーの属性分類を取り込むことで順序ソート論理を拡張する方法を提案する．このソート論理は，本質ソート，非本質ソートおよび非ソー ト属性に分類される概念を，タイプ(rigid ソート)，non-rigid ソートおよ び単項述語によって区別する．さらに，独立した複数の知識ベースを想定したとき，各知識ベースがrigidな属性情報を他の知識ベースから抽出できる推論(本質属性の導出と呼ぶ)を提案する．
研究テーマ２「UMLクラスダイアグラムにおける矛盾判定アルゴリズムの設計と実装」
UML(Unified Modeling Language)は，オブジェクト指向の流れを汲んだ，ソフ トウェア設計の描画ツールとして用いられるモデリング言語である．その特徴 は，ビジュアル的にソフトウェアの仕様を設計できることにある．現在，モデ リング言語の世界的なスタンダードとして認知されており，国内でも産業界で はUMLによるソフトウェア設計を提唱する動きが盛んである．一方，UMLのビジュ アル的な利点とは裏腹に，UMLで設計した仕様が整合的であるかどうかを形式 的に判断する難しさがある．特に，UMLで設計したクラスダイアグラムが論理 的に矛盾を生じていないかを調べ，矛盾があればそのエラーを抽出するメカニ ズムが求められる．本研究では人工知能研究などで培われた論理的な知識表現 や推論の技術を用いて，UMLクラスダイアグラムにおける矛盾判定アルゴリズムの設計と実装を行っている．具体的には，クラスダイアグラムから論理的に 矛盾を生じる部分を点滅させて知らせてくれるシステムを考えている．こうした機能は，ソフトウェアの設計者に有用なものであると同時に，形式論理によ り安全性が保障されていることに価値がある．
|
【学歴】
|
|
1998年3月 北陸先端科学技術大学院大学情報科学研究科博士前期課程修了
2001年3月 北陸先端科学技術大学院大学情報科学研究科博士後期課程修了
|
【主要経歴】
|
|
1993年4月～1996年3月 富士通株式会社
2001年4月～ 国立情報学研究所 情報学基礎研究系 助手
2002年4月～ 総合研究大学院大学 数物科学研究科 助手（併任）
|
【受賞等】
|
|
Best Paper Award (1st Indian International Conference on Artificial Intelligence)
|
【教育活動歴】
|
|
2002年4月～ 総合研究大学院大学 数物科学研究科 助手（併任）
|
【大学院担当講義】
|
|
2002年度「推論科学」(総合研究大学院大学博士課程) ２コマ担当
2004年度「推論科学」(総合研究大学院大学博士課程) ２コマ担当
|
【学協会活動】
|
|
2nd Indian International Conference on Artificial Intelligence プログラム委員，Ninth Pacific Rim International Conference on Artificial Intelligence (PRICAI2006) プログラム委員, 2006年度人工知能学会全国大会 プログラム委員
The Association for Logic Programming(ALP), ソフトウェア科学会, 電子情報通信学会, 情報処理学会, 人工知能学会, Association for Symbolic Logic(ASL) 各会員
|
【社会貢献活動】
|
|
なし
|
【重要論文・著書（上位10件）】
|
|
- Ken Kaneiwa and Ken Satoh, Consistency Checking Algorithms for Restricted UML Class Diagrams. In Proceedings of the Fourth International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2006), pp. 219-239, LNCS 3861, 2006. Springer-Verlag.
- K. Kaneiwa and R. Mizoguchi. Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity. In Proceedings of the Ninth International Conference on the Principles of Knowledge Representation and Reasoning (KR2004), pp. 278-288, Canada, 2004.
- Ken Kaneiwa. Order-Sorted Logic Programming with Predicate Hierarchy. Artificial Intelligence, Vol.158, No.2, pp. 155-188, 2004. Elsevier.
- K. Kaneiwa and R. Mizoguchi. An Order-Sorted Quantified Modal Logic for Meta-Ontology. In Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2005), Koblenz, Germany, pp. 169-184, LNCS 3702, 2005. Springer-Verlag
- Ken Kaneiwa and Satoshi Tojo, Event, Property and Hierarchy in Order-Sorted Logic. In Proceedings of the 1999 International Conference on Logic Programming (ICLP'99), Las Cruces, New Mexico, USA, pp.94-108, 1999, The MIT Press.
- Ken Kaneiwa and Satoshi Tojo. An Order-sorted Resolution with Implicitly Negative Sorts. In Proceedings of the 2001 International Conference on Logic Programming (ICLP'01), Cyprus, pp.300-314, 2001 (Lecture Notes in Computer Science 2237, Springer-Verlag, Logic Programming.)
- Ken Kaneiwa, Resolution for Label-based Formulas in Hierarchical Representation, New Generation Computing, Vol.22, No.3, pp. 253-269, 2004.
- K. Kaneiwa. Negations in Description Logic -- Contraries, Contradictories, and Subcontraries. In Proceedings of the 13th International Conference on Conceptual Structures (ICCS '05), Kassel, Germany, pp. 66-79, 2005. Kassel University Press.
- 兼岩 憲, 佐藤 健, レクチャーシリーズ「哲学とAIにおける対象世界モデリング」〔第6回〕DL: Description Logics(解説論文), 人工知能学会誌, Vol. 18, No.1, pp. 73 - 82, 2003.
- 兼岩 憲. 特集号＜セマンティックWebと計算機科学＞解説論文「OWLの推論とその計算量」, コンピュー タソフトウェア, Vol. 22, No. 4, pp. 26 - 34, 2005.
|
【重要活動の実績（上位10件）】
|
|
- (財)先端情報技術研究所(AITEC)の委託研究(平成9年度)の成果ソフトウエア「法的推論システム Shaky v2.0」（http://www.icot.or.jp/ARCHIVE/Museum/FUNDING/97/catalogue01.htmlにて公開）
- 兼岩 憲, 「Description Logicについて」（招待講演）, 第11回オントロジー整備委員会, 東大ゲノムセンター, 2003
- 兼岩 憲. セマンティックWebと記述論理（レクチャー講演）, 人工知能学会全国大会, 2005年6月.
|
【査読付き論文／それらに相当する論文・著書 等】
|
|
- 兼岩 憲, 「型階層を導入した状況推論システム」, 修士論文, JAIST, 1998.
- 兼岩 憲, 東条 敏, 「法律知識の事象的/属性的読みを区別した推論システム」, 情報処理学会論文誌, Vol.40, No.7, pp.2892-2904, 1999
- Ken Kaneiwa and Satoshi Tojo, Event, Property and Hierarchy in Order-Sorted Logic. In Proceedings of the 1999 International Conference on Logic Programming (ICLP'99), Las Cruces, New Mexico, USA, pp.94-108, 1999, The MIT Press.
- 兼岩 憲, 東条 敏, 「イベントとプロパティの区別を導入した型階層論理」, コンピュータソフトウェア, Vol.17, No.2, pp.10-24, 2000.
- 兼岩 憲, 東条 敏, 「ソートと述語の二つの階層をもつ論理のホーン節計算の完全性」, 電子情報通信学会論文誌 Vol.J83-D-I, No.12, pp.1239-1248, 2000.
- Ken Kaneiwa. An Order-Sorted Logic with Predicate-Hierarchy, Eventuality and Implicit Negation. PhD thesis, JAIST, 2001.
- Ken Kaneiwa and Satoshi Tojo. An Order-sorted Resolution with Implicitly Negative Sorts. In Proceedings of the 2001 International Conference on Logic Programming (ICLP'01), Cyprus, pp.300-314, 2001 (Lecture Notes in Computer Science 2237, Springer-Verlag, Logic Programming.)
- 兼岩 憲, 東条 敏, 「否定的意味が内在するソートを含んだソート階層の論理」, 情報処理学会論文誌, Vol.43, No.5, pp.1505-1517, 2002.
- 兼岩 憲, 「ソート述語を導入した論理プログラミングの完全性」, 電子情報通信学会論文誌 Vol.J85-D-I, No.7, pp.662-671, 2002.
- Ken Kaneiwa, A Logic with Multi-purpose Labels for Hierarchical Representation, Proceedings of the Fifth International Workshop on Computational Semantics (IWCS-03), 461 - 463, 2003.
- 兼岩 憲, 佐藤 健, レクチャーシリーズ「哲学とAIにおける対象世界モデリング」〔第6回〕DL: Description Logics(解説論文), 人工知能学会誌, Vol. 18, No.1, pp. 73 - 82, 2003.
- Satoshi Tojo and Ken Kaneiwa. Toward a Proper Semantics for the Logic of Occurrence. In Proceedings of the Context '03 Workshop on Barwise and Situation Theory, 2003.
- Suguru Yoshioka, Ken Kaneiwa and Satoshi Tojo. Occurrence Logic with temporal heredity. In Proceedings of the 1st Indian International Conference on Artificial Intelligence (IICAI'03), pp.1296-1309, 2003.
- Ken Kaneiwa, The completeness of logic programming with sort predicates, Systems and Computers in Japan, Vol.35, No.1, pp. 37-46, 2004.
- 兼岩 憲, 「オントロジー構築に対する概念階層の整合性」, コンピュータソフトウェア, Vol.21, No.2, pp. 12-24, 2004.
- Ken Kaneiwa, A Hybrid Reasoning System for Terminologies and Clause Sets, In Proceedings of the Twenty-Second IASTED International Multi-Conference on Applied Informatics, Innsbruck, Austria, 564- 570, 2004.
- Ken Kaneiwa, Resolution for Label-based Formulas in Hierarchical Representation, New Generation Computing, Vol.22, No.3, pp. 253-269, 2004.
- K. Kaneiwa and R. Mizoguchi. Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity. In Proceedings of the Ninth International Conference on the Principles of Knowledge Representation and Reasoning (KR2004), pp. 278-288, Canada, 2004.
- Ken Kaneiwa. Order-Sorted Logic Programming with Predicate Hierarchy. Artificial Intelligence, Vol.158, No.2, pp. 155-188, 2004. Elsevier.
- K. Kaneiwa. Negations in Description Logic -- Contraries, Contradictories, and Subcontraries. In Proceedings of the 13th International Conference on Conceptual Structures (ICCS '05), Kassel, Germany, pp. 66-79, 2005. Kassel University Press.
- K. Kaneiwa and R. Mizoguchi. An Order-Sorted Quantified Modal Logic for Meta-Ontology. In Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2005), Koblenz, Germany, pp. 169-184, LNCS 3702, 2005. Springer-Verlag
- 兼岩 憲. 特集号＜セマンティックWebと計算機科学＞解説論文「OWLの推論とその計算量」, コンピュー タソフトウェア, Vol. 22, No. 4, pp. 26 - 34, 2005.
- 兼岩 憲, 溝口 理一郎, 形式オントロジーと順序ソート論理の拡張, 人工知能学会論文誌, Vol. 20, No.6, pp. 387-395, 2005.
- Ken Kaneiwa, A Hybrid Reasoning System for Terminologies and First-order Clauses in Knowledge Bases, New Generation Computing, Vol.24, pp. 29-51, 2005.
- Ken Kaneiwa and Satoshi Tojo, Logical Aspects of Events: Quantification, Sorts,Composition and Disjointness. In Proceedings of Australasian Ontology Workshop (AOW 2005), pp. 33-40, Sydney, Australia, 2005.
- Ken Kaneiwa. On the Semantics of Classical First-Order Logic with Constructive Double Negation. In Proceedings of the 2nd Indian International Conference on Artificial Intelligence, pp. 1225-1242, 2005.
- Ken Kaneiwa and Ken Satoh, Consistency Checking Algorithms for Restricted UML Class Diagrams. In Proceedings of the Fourth International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2006), pp. 219-239, LNCS 3861, 2006. Springer-Verlag.
|
【特許・公開ソフトウェア・作品等】
|
|
- (財)先端情報技術研究所(AITEC)の委託研究(平成9年度)の成果ソフトウエア「法的推論システム Shaky v2.0」（http://www.icot.or.jp/ARCHIVE/Museum/FUNDING/97/catalogue01.htmlにて公開）
|
【上記に含まれない論文・記事・著作物等】
|
|
- 兼岩 憲, 東条 敏, 「述語の型階層と二面性を導入した状況推論システム」, 電子情報通信学会技術研究報告, pp. 47-54, 1997.
- 兼岩 憲, 東条 敏, 「語彙項目の否定を導入した推論機構」, 第13回人工知能学会全国大会論文集, pp. 34-37, 1999.
- 兼岩 憲, 「節集合を導入したDescription Logicの知識ベース推論」, 日本ソフトウェア科学会第19回大会論文集, 2002.
- 兼岩 憲, 溝口 理一郎, 「形式オントロジーによる順序ソート論理の拡張」, 第56回人工知能基本問題研究会, 北海道, 2004.
- 佐藤 健，兼岩 憲, 「UMLのクラス図における論理プ ログラミングを用いた無矛盾検査について」, 日本ソフトウェア科学会第24回大会論文集, 2005.
- 兼岩 憲, 「記述論理」（小項目，pp. 193-194）, 人工知能学事典, 人工知能学会（編）, オーム社, 2005.
- Bhanu Prasad (Editor), Ken Kaneiwa et al.(Associate Editors), Proceedings of the 2nd Indian International Conference on Artificial Intelligence, Pune, India, 2005.
- 佐藤 健, 兼岩 憲, 宇野 毅明, 「UMLクラス図の論理プログラミングへの変換によるデバッグについて」, 第62回人工知能基本問題研究会(SIG-FPAI), 北海道, 2006.
|
【講演・口頭発表等】
|
|
- 新田 克巳, 東条 敏, 兼岩 憲，加藤 丈智,「動的に変化する状況における法的推論システムの研究開発」, 知的ソフトウェア研究討論会, 芝マイプラザ(東京), pp. 42-47, 1998.
- 兼岩 憲, 「Description Logicについて」（招待講演）, 第11回オントロジー整備委員会, 東大ゲノムセンター, 2003
- 兼岩 憲. セマンティックWebと記述論理（レクチャー講演）, 人工知能学会全国大会, 2005年6月.
- 兼岩 憲. 「上位オントロジーによる知識表現と推論」（講演）, 公立はこだて未来大学研究談話会, 2005年6月.
|
【競争的研究資金獲得状況（公開）】
|
(1) 科研費
|
|
- 平成14～16年度科学研究費補助金若手研究(B) 「オントロジー指向による論理体系の研究」(研究代表者：兼岩 憲)
- 平成16～17年度科学研究費補助金特定領域研究：ITの深化の基盤を拓く情報学研究A01新しいソフトウェアの実現「宣言的プログラミングにおけるソフトウェア発展の研究」(研究代表者：佐藤 健，研究分担者：兼岩 憲)
- 平成17～19年度科学研究費補助金若手研究(B) 「形式オントロジーと矛盾要因に関する研究」(研究代表者：兼岩 憲)
|
(2) 科研費以外の政府関係の研究費
|
|
なし
|
(3) その他の研究費
|
|
- 栢森情報科学振興財団助成金（平成14年1月～平成15年11月末）「情報の意味を記述するために構造表現を導入した論理言語の研究」(研究代表者：兼岩 憲)
|