研究者紹介

Revision    1
2007. 2.20  現在      
 
【氏名】 さとう けん
佐藤   健

No Image

【生年月日】
1959年2月6日(満48才)
【博士号】
博士(理学)東京大学
【所属・役職】
情報学基礎研究系 記号科学研究部門・教授
【部屋番号】 1304
【電話番号】 03-4212-2000
【ファクシミリ】 03-3556-1916
【電子メールアドレス】 ksatoh at nii.ac.jp
【個人ホームページ】 http://research.nii.ac.jp/~ksatoh
【JST ReaD】 http://read.jst.go.jp/ddbs/plsql/KNKY_24?code=1000200081
【専門分野】
人工知能基礎


研究概要
学歴
主要経歴
受賞等
教育活動歴
大学院担当講義
学協会活動
社会貢献活動
重要論文・著書(上位10件)
重要活動の実績(上位10件)
査読付き論文/それらに相当する論文・著書 等
特許・公開ソフトウェア・作品等
上記に含まれない論文・記事・著作物等
講演・口頭発表等
教育指導等の実績
競争的研究資金獲得状況(公開)


【研究概要】

研究としては,一貫して人工知能に関する理論的な基礎を与え,それに基づいた実装や応用の研究を行ってきた.特に人間の推論の機械化について興味があり,非単調推論,仮説推論や機械学習に関する理論的基礎、応用,ならびに実装について研究している.

非単調推論においては,とくに論理的解釈間の順序付けに基づいた推論の性質の検証,実装,応用についての研究を行っている.性質の検証においては,確率推論や信念翻意との関係を明らかにし,さまざまな推論がこの枠組みで表現されることを明らかにした.実装においては,階層制約論理型言語を用いた極小モデルの計算,論理式の拡張論理プログラムへの変換による極小限定定理の導出,整数計画法を用いた極小モデルの計算などの手法を提案している.応用においては,柔らかい制約の定式化や自然言語におけるあいまい性の処理に上記枠組みを用いることを明らかにしている.

仮説推論においては,仮説論理プログラミングに対する証明系の提案および仮説を用いたマルチエージェントシステムにおける投機的計算の理論および実装,仮説論理プログラミングによるソフトウェア発展の研究を行ってきた.

学習においては、事例ベース推論による概念学習および相関ルールで用いる極大頻出集合の列挙の研究を行っている。事例ベース推論による概念学習では、集合差をベースにした類似度関数を用いたときに命題論理の論理関数を表現するための極小な事例の集合のサイズの理論的な上限およびそのような極小事例集合を近似するアルゴリズムの開発を行った.極大頻出集合の列挙では、冗長性のない極小非頻出集合の列挙を用いることで、既存のアルゴリズムの質問複雑度の大幅な改善を行った.

【学歴】

1981年3月東京大学理学部情報科学科卒業

【主要経歴】

1981年4月 富士通研究所入社

1987年6月 新世代コンピュータ技術開発機構出向

1992年6月 富士通研究所帰社

1995年7月 北海道大学工学部助教授

2001年4月 国立情報学研究所情報学基礎研究系教授(現在に至る)

【受賞等】

平成2年9月 情報処理学会第40回全国大会学術奨励賞

平成12年7月 人工知能学会99年度研究奨励賞

2003 Best Paper Award in PRIMA'03

【教育活動歴】

1995年~2000年度 電気回路(北海道大学工学部情報エレクトロニクス系2年生対象)

1995年~2000年度 知能ソフトウェア工学(北海道大学工学部電子工学科3年生対象)

1995年~2000年度 計算機アーキテクチャ工学特論(北海道大学大学院工学研究科博士前期課程)

1995年~2000年度 計算機情報通信工学特別演習(北海道大学大学院工学研究科博士前期課程)

1995年~2000年度 計算機情報通信工学特別研究第一(北海道大学大学院工学研究科博士後期課程)

1995年~2000年度 計算機情報通信工学特別研究第二(北海道大学大学院工学研究科博士後期課程)

1998年~2002年度 情報科学特別講義3(東京大学理学部情報科学科)

【大学院担当講義】

知能システム科学概論(総合研究大学院大学博士課程、隔年)

推論科学(総合研究大学院大学博士課程、隔年)

知能システム科学概論II

【学協会活動】

情報処理学会会員(1982~)

人工知能学会会員(1993~)

ソフトウェア科学会会員(1998~)

電子情報通信学会員(2005~)

1992年 FGCS’92(第5世代コンピュータ国際会議’92)プログラム委員会基礎分野委員

1992年 Journal of Theoretical Computer Science vol 122 No. 1~2 FGCS’92特集号共同ゲストエディター

1993年~1995年 情報処理学会英文図書委員会委員

1993年~1997年 IJCAI’97(人工知能合同国際会議’97)実行委員会幹事

1994年 CADE-12(第12回定理証明国際会議)プログラム委員

1996年 CADE-13(第13回定理証明国際会議)プログラム委員

1998年 ECAI’98(人工知能欧州会議’98)プログラム委員

1998年 ALT’98(アルゴリズム的学習理論国際会議’98)プログラム委員

2002年 Annals of Mathematics and AIマルチエージェントシステム特集号共同ゲストエディタ

2002年 ICML2002(機械学習国際会議2002)プログラム委員

2002年 DS2002(発見科学国際会議2002)共同プログラム委員長

2002年 IEEE ICDM2002(IEEE データマイニング国際会議)プログラム副委員長

2002年~2003年 IJCAI’03(人工知能合同国際会議’03)プログラム委員

2002年~2003年 AAMAS’03(マルチエージェント合同国際会議’03) シニアプログラム委員

2003年 DS2003(発見科学国際会議2003)プログラム委員

2003年~2004年 AAMAS’04(マルチエージェント合同国際会議’04) シニアプログラム委員

2004年 JELIA'04(欧州人工知能論理会議'04)プログラム委員

2004年 ECAI'04(人工知能欧州会議’04)プログラム委員

2004年~2005年 AAMAS’05(マルチエージェント合同国際会議’05) プログラム委員

2004年~2005年 IJCAI'05(人工知能合同国際会議’05)顧問委員

2005年 AAAI'05(人工知能米国会議'05)プログラム委員

2005年~2006年 AAMAS’06(マルチエージェント合同国際会議’06) プログラム委員

2006年 PRICAI'06(環太平洋人工知能会議'06) プログラム委員

2006年 JELIA'06(欧州人工知能論理会議'06)プログラム委員

人工知能学会論文誌 特集「データマイニングと統計数理」論文編集幹事

2006年~2007年 AAMAS’07(マルチエージェント合同国際会議’07) プログラム委員

2000年~2004年 人工知能学会誌編集委員

2001年~2005年 人工知能学会評議員

2002年~2006年 ソフトウェア科学会理事

2002年~2006年 ソフトウェア科学会誌編集委員

2004年~2006年 人工知能学会人工知能基本問題研究会主査

2006年~  人工知能学会理事

【社会貢献活動】

なし

【重要論文・著書(上位10件)】

  1. Satoh, K., ``Nonmonotonic Reasoning by Minimal Belief Revision'', Proceedings of the International Conference on Fifth Generation Computer Systems 1988, pp. 455 -- 462, Tokyo, Japan (1988).

  2. Satoh, K.,``A Probabilistic Interpretation for Lazy Nonmonotonic Reasoning'', Journal of Information Processing, Vol. 15, pp. 29 -- 39 (1992). A preliminary version appeared as ``A Probabilistic Interpretation for Lazy Nonmonotonic Reasoning'', Proceedings of the Eighth American Conference on Aritificial Intelligence, pp. 659 -- 664, Boston, Massachusetts, USA (1990).

  3. Katsuno, H., and Satoh, K., ``A Unified View of Consequence Relation, Belief Revision, and Conditional Logic'', G. Crocco, L. Farinas del Cerro and A. Herzig (eds.), Conditionals: from Philosophy to Computer Science, pp. 33 -- 65, Oxford Science Publications (1995). A preliminary version appeared in Proceedings of the Twelfth International Conference on Artificial Intelligence, pp. 406 -- 412, Sydney, Australia (1991).

  4. Satoh, K., "Learning Taxonomic Relation by Case-based Reasoning", Theoretical Computer Science, Vol. 348, pp. 58 - 69 (2005). A preliminary version appeared as Satoh, K., ``Learning Taxonomic Relation by Case-based Reasoning'', Proceedings of the Eleventh International Conference on Algorithmic Learning Theory, LNAI1968 pp. 179 -- 193 (2000).

  5. 佐藤 健, 解釈の順序による柔らかい制約の定式化, 情報処理学会論文誌 Vol. 31, No.6, pp. 772 -- 782 (1990). A preliminary English version appeared as ``Formalizing Soft Constraints by Interpretation Ordering'', Proceedings of the Ninth European Conference on Artificial Intelligence, pp. 585 -- 590, Stockholm, Sweden (1990).

  6. Satoh, K., Iwayama, N., ``A Query Evaluation Method for Abductive Logic Programming Based on Generalized Stable Models'', 人工知能学会誌 Vol. 11, No.1, pp. 137 -- 147 (1996). A preliminary version appeared as Satoh, K. and Iwayama, N., ``A Query Evaluation Method for Abductive Logic Programming'', Proceedings of the Joint International Conference and Symposium on Logic Programming, pp. 671 -- 685, Washington D.C., USA (1992).

  7. Satoh, K., ``A Goal-directed Procedure for an Extension Membership Problem in Propositional Arbitrary Default Theories'', 人工知能学会誌 Vol. 11, No.2, pp. 290 -- 299 (1996). A preliminary version appeared as Satoh, K., ``A Top Down Proof Procedure for Default Logic by Using Abduction'', Proceedings of the Eleventh European Conference on Artificial Intelligence, pp. 65 -- 69, Amsterdam, the Netherlands (1994).

  8. 佐藤 健, 井上 克己, 岩沼 宏治, 坂間 千秋, エージェント間通信におけるアブダクションによる投機的計算, コンピュータソフトウェア, Vol. 20 No.1, pp. 27 -- 35 (2003). A preliminary English version appeared as Satoh, K., Inoue, K., Iwanuma, K., Sakama, C., ``Speculative Computation by Abduction under Incomplete Communication Environments'', Proceedings of the Fourth International Conference on MultiAgent Systems, pp. 263 -- 270, Boston, USA (2000).

  9. Satoh, K., ``Analysis of Case-Based Representability of Boolean Functions by Monotone Theory'', Proceedings of the Ninth International Conference on Algorithmic Learning Theory, LNAI1501 pp. 179 -- 190 (1998).

  10. Satoh, K., Uno, T., Enumerating Maximal Frequent Sets using Irredundant Dualization, Proc. of 6th International Conference on Discovery Science (DS2003), LNAI 2843, pp. 256 -- 268 (2003)

【重要活動の実績(上位10件)】

なし

【査読付き論文/それらに相当する論文・著書 等】

  1. 有馬 淳,佐藤 健,非単調推論,知識プログラミング,古川康一,溝口文雄編,pp. 189 -- 214, 共立出版 (1988).

  2. 佐藤 健, 解釈の順序による柔らかい制約の定式化, 情報処理学会論文誌 Vol. 31, No.6, pp. 772 -- 782 (1990). A preliminary English version appeared as ``Formalizing Soft Constraints by Interpretation Ordering'', Proceedings of the Ninth European Conference on Artificial Intelligence, pp. 585 -- 590, Stockholm, Sweden (1990).

  3. Satoh, K. and Aiba, A.,``Computing Soft Constraints by Hierarchical Constraint Logic Programming'',情報処理学会論文誌 Vol. 34, No.7, pp. 1555 -- 1569 (1993).

  4. 佐藤 健, 7.3章 論理と推論, コンパクト・エンサイクロペディア情報処理 pp. 258 -- 259 (1993).

  5. Satoh, K., Iwayama, N., ``A Query Evaluation Method for Abductive Logic Programming Based on Generalized Stable Models'', 人工知能学会誌 Vol. 11, No.1, pp. 137 -- 147 (1996). A preliminary version appeared as Satoh, K. and Iwayama, N., ``A Query Evaluation Method for Abductive Logic Programming'', Proceedings of the Joint International Conference and Symposium on Logic Programming, pp. 671 -- 685, Washington D.C., USA (1992).

  6. 佐藤 健,岡本 青史, 距離情報による類似度関数の重み学習について, 人工知能学会誌 Vol. 11, No.2, pp. 238 -- 245 (1996). A preliminary English version appeared as Satoh, K. and Okamoto, S., ``Toward PAC-Learning of Weights from Qualitative Distance Information'', Proceedings of 1994 AAAI Case-Based Reasoning Workshop, pp. 128 -- 132, Seatle, USA (1994).

  7. Satoh, K., ``A Goal-directed Procedure for an Extension Membership Problem in Propositional Arbitrary Default Theories'', 人工知能学会誌 Vol. 11, No.2, pp. 290 -- 299 (1996). A preliminary version appeared as Satoh, K., ``A Top Down Proof Procedure for Default Logic by Using Abduction'', Proceedings of the Eleventh European Conference on Artificial Intelligence, pp. 65 -- 69, Amsterdam, the Netherlands (1994).

  8. 若木 利子, 佐藤 健, 論理プログラムへの翻訳による優先順位つき極小限定の計算, 人工知能学会誌 Vol. 11, No.5, pp. 786 -- 794 (1996). A preliminary English version appeared as Wakaki, T. and Satoh, K., ``Computing Prioritized Circumscription by Logic Programming'', Proceedings of the Twelfth International Conference on Logic Programming, pp. 283 -- 297, Tokyo, Japan (1995).

  9. 佐藤 健,岡本 青史, 事例の相対距離による類似度学習とその検索誤り率について, 人工知能学会誌 Vol. 12, No.4, pp. 600 -- 607 (1997).

  10. 佐藤 健, 事例ベース推論における動的類似性の仮説論理プログラミングによる実現, 人工知能学会誌 Vol. 12, No.6, pp. 901 -- 910 (1997). A preliminary English version appeared as Satoh, K., ``Translating Case-Based Reasoning into Abductive Logic Programming'', Proceedings of the Twelfth European Conference on Artificial Intelligence, pp. 142 -- 146, Budapest, Hungary (1996).

  11. 佐藤 健,「機械推論」, CD-ROM 世界大百科辞典, 日立デジタル平凡社(1998).

  12. 若木 利子, 佐藤 健, 拡張論理プログラミングへの意味論的関係に基づく変換による優先順位付き極小限定の計算, 人工知能学会誌 Vol. 14, No.3, 466 -- 472 (1999). A preliminary English version appeared as Wakaki, T., Satoh, K., ``Compiling Prioritized Circumscription into Extended Logic Programs'', Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, pp. 182 -- 187, Nagoya, Japan (1997).

  13. 岡本 英紀, 佐藤 健, 0-1整数計画法を用いた優先順位付き極小限定における極小モデルの計算, 人工知能学会誌 Vol. 15, No.3, pp. 511 -- 517 (2000).

  14. 佐藤 健, 仮説論理プログラミングによる極小変更仕様の計算およびその応用, コンピュータソフトウェア別冊,「ソフトウェア発展」, 日本ソフトウェア科学会編, pp. 109 -- 121 (2000). A preliminary English version appeared as Satoh, K., ``Consistency Management in Software Engineering by Abduction'', Proceedings of the ICSE-2000 Workshop on Intelligent Software Engineering, pp. 90 -- 99, Limerick, Ireland (2000).

  15. 中越 智哉, 佐藤 健, 画像のグルーピングとグループ間類似度に基づく主観的類似検索, 情報処理学会研究会論文誌「データベース」Vol.42 No.Sig 1(TOD 8), pp. 21 -- 31 (2001).

  16. Ken Satoh, Polynomial PAC learnability of Learning Weights of Multi-Objective Functions by Pairwise Comparison, 情報処理学会研究会論文誌「数理モデル化と応用」Vol. 42, No.SIG 5 (TOM 4) pp. 1 -- 8 (2001). A preliminary abstract appeared as ``PAC-Learning of Weights in Multi-objective Function by Pairwise Comparison'', Proceedings of the Workshop on Applied Learning Theory, DOI-TR-154, pp. 27 -- 37, Kaiserslautern, Germany (1998).

  17. 佐藤 健, 認知科学辞典(共同執筆),日本認知科学会編,p.208,p.400,p.428,p.590,p.641,p.691,p.739, p.756,p.809,p.864(2002).

  18. 佐藤 健, 極小性チェックを必要としない極小変更ソフトウェア仕様の導出, Proc. of FOSE02, pp. 143 -- 150 (2002).

  19. 佐藤 健, 井上 克己, 岩沼 宏治, 坂間 千秋, エージェント間通信におけるアブダクションによる投機的計算, コンピュータソフトウェア, Vol. 20 No.1, pp. 27 -- 35 (2003). A preliminary English version appeared as Satoh, K., Inoue, K., Iwanuma, K., Sakama, C., ``Speculative Computation by Abduction under Incomplete Communication Environments'', Proceedings of the Fourth International Conference on MultiAgent Systems, pp. 263 -- 270, Boston, USA (2000).

  20. Satoh, K., 人工知能学辞典 (共著), 人工知能学会 (編),pp. 170-173, pp. 185, pp. 200-202 (2005).

  21. Sohma, Y., Satoh, K., Kumon, K., Masuzawa, H. and Itashiki, A., ``A New Parallel Inference Mechanism Based on Sequential Processing'', J. V. Woods (ed.), Fifth Generation Computer Architectures, pp. 3 -- 14, Elsevier Science Publishers (1986).

  22. Kumon, K., Masuzawa, H., Itashiki, A., Satoh, K. and Sohma, Y., ``KABU-WAKE: A New Parallel Inference Method and Its Evaluation'', Proceedings of COMPCON86 Spring, pp. 168 -- 172 (1986).

  23. Masuzawa, H., Kumon, K., Itashiki, A., Satoh, K. and Sohma, Y.,``KABU-WAKE'' Parallel Inference Mechanism and Its Evaluation'', Proceedings of FJCC86, pp. 955 -- 962 (1986).

  24. Foster, I., Gregory, S., Ringwood, G. and Satoh, K.,``A Sequential Implementation of PARLOG'', Proceeding of the Third Internatioal Conference on Logic Programming, LNCS 225, pp. 149 -- 156, London, UK (1986).

  25. Satoh, K., ``Nonmonotonic Reasoning by Minimal Belief Revision'', Proceedings of the International Conference on Fifth Generation Computer Systems 1988, pp. 455 -- 462, Tokyo, Japan (1988).

  26. Satoh, K., ``Relative Plausibility based on Model Ordering: Preliminary Report'', Z. W. Ras (ed.), Methodologies for Intelligent Systems, Vol 4, pp. 17 -- 24, North-Holland (1989).

  27. Satoh, K., ``Minimal Change -- A Criterion for Choosing between Competing Models'', P. Brazdil and K. Konolige (eds.), Machine Learning, Meta-Reasoning and Logics, pp. 257 -- 276, Kluwer Academic Publishers (1990).

  28. Satoh, K., ``Formalizing Nonmonotonic Reasoning by Preference Order'', Proceedings of the International Conference organized by the IPSJ to Commemorate the 30th Anniversary, Part II, pp. 155 -- 162, Tokyo, Japan (1990).

  29. Satoh, K. and Iwayama, N., ``Computing Abduction by Using the TMS'', Proceedings of the Eighth International Conference on Logic Programming, pp. 505 -- 518, Paris, France (1991).

  30. Satoh, K.,``A Probabilistic Interpretation for Lazy Nonmonotonic Reasoning'', Journal of Information Processing, Vol. 15, pp. 29 -- 39 (1992). A preliminary version appeared as ``A Probabilistic Interpretation for Lazy Nonmonotonic Reasoning'', Proceedings of the Eighth American Conference on Aritificial Intelligence, pp. 659 -- 664, Boston, Massachusetts, USA (1990).

  31. Iwayama, N., Satoh, K. and Arima, J., ``A Formalization of Generalization-based Analogy in General Logic Programs'', Proceedings of the Tenth European Conference on Artificial Intelligence, pp. 129 -- 133, Wien, Austria (1992).

  32. Satoh, K. and Iwayama, N.,``A Correct Goal-Directed Proof Procedure for a General Logic Program with Integrity Constraints'', E. Lamma and P. Mello (eds.), Extensions of Logic Programming, LNAI 660, pp. 24 -- 44, Springer-Verlag (1993).

  33. Okamoto, S. and Satoh, K., ``An Average-Case Prediction of the Nearest Neighbor Classifier'', P. J. Haton, M. Keane, and M. Manago (eds.), Advances in Case-Based Reasoning, LNAI 984, pp. 101 -- 112, Springer-Verlag (1995).

  34. Katsuno, H., and Satoh, K., ``A Unified View of Consequence Relation, Belief Revision, and Conditional Logic'', G. Crocco, L. Farinas del Cerro and A. Herzig (eds.), Conditionals: from Philosophy to Computer Science, pp. 33 -- 65, Oxford Science Publications (1995). A preliminary version appeared in Proceedings of the Twelfth International Conference on Artificial Intelligence, pp. 406 -- 412, Sydney, Australia (1991).

  35. Okamoto, S., Satoh K., ``An Average-case Analysis of k –Nearest Neighbor Classifier'', M. Veloso and A. Aamodt (eds.), Proceedings of The First International Conference on Case-Based Reasoning, LNAI 1010, pp. 253 -- 264, Springer-Verlag (1995). A preliminary version appeared as ``A Mathematical Predictive Accuracy for the Nearest Neighbor Classifier'', Proceedings of the Second European Workshop on Case-Based Reasoning, pp. 347 -- 355 (1994).

  36. Satoh, K., ``Disambiguation by Prioritized Circumscription'', Proceedings of the Sixteenth International Conference on Computational Linguistics, pp. 901 -- 906, Copenhagen, Denmark (1996).

  37. Satoh, K., ``Statutory Interpretation by Case-based Reasoning through Abductive Logic Programming'', Journal of Advanced Computational Intelligence, Vol. 1, No.2, pp. 94 -- 103 (1997).

  38. Wakaki, T., Satoh, K., Nitta, K., ``Reasoning about Dynamic Preferences in Circumscriptive Theory by Logic Programming'', Journal of Advanced Computational Intelligence, Vol. 1, No.2, pp. 121 -- 129 (1997).

  39. Wakaki, T., Satoh, K., Nitta, K., Sakurai, S., ``Finding Priorities of Circumscription Policy as a Skeptical Explanation in Abduction'', IEICE Transactions on Information and Systems, Vol. E81-D, No. 10, pp. 1111 -- 1120 (1998).

  40. Satoh, K., ``Computing Minimal Revised Logic Program by Abduction'', Proceedings of the International Workshop on the Principles of Software Evolution, IWPSE98, pp. 177 -- 182, Kyoto, Japan (1998).

  41. Satoh, K., ``Using Two Level Abduction to Decide Similarity of Cases'', Proceedings of the Thirteenth European Conference on Artificial Intelligence, pp. 398 -- 402, Brighton, UK (1998).

  42. Satoh, K., ``Analysis of Case-Based Representability of Boolean Functions by Monotone Theory'', Proceedings of the Ninth International Conference on Algorithmic Learning Theory, LNAI1501 pp. 179 -- 190 (1998).

  43. Satoh, K., ``Adding and Deleting Pollution Marker by Abductive Logic Programming(extended abstract)'', Proceedings of the First Asia-Pacific Workshop on Intelligent Software Engineering, pp. 48 -- 53, Singapore, Singapore (1998).

  44. Satoh, K., ``Consistency Management by Prioritized Minimal Revision'', Proceedings of the International Workshop on the Principles of Software Evolution, IWPSE99, pp. 125 -- 129, Fukuoka, Japan (1999)

  45. Iwayama, N., Satoh, K., ``Computing Abduction by Using TMS with Top-Down Expectation'', Journal of Logic Programming, Vol. 44 No.1-3, pp. 179 -- 206 (2000).

  46. Satoh, K., ``PAC-learning of Preference Relation over Interpretations in Lazy Nonmonotonic Reasoning'',H. Motoda and S. Muggleton (eds)., Machine Intelligence 15, Oxford University Press, pp. 285 -- 297 (2000).

  47. Satoh, K., ``Consistency Management of Normal Logic Program by Top-down Abductive Proof Procedure'', Proceedings of the Eighth International Workshop on Non-Monotonic Reasoning, Breckenridge, Colorado, USA (2000).

  48. Iwanuma, K., Inoue, K., Satoh, K., ``Completeness of Pruning Methods for Consequence Finding Procedure SOL'', Proceedings of the Third International Workshop on First-order Theorem Proving, pp. 89-100, St. Andrews, Scotland, UK (2000).

  49. Sakama, C., Inoue, K., Iwanuma, K., Satoh, K., ``A Defeasible Reasoning System in Multi-Agent Environments'', Proceedings of the CL2000 Workshop on Computational Logic in Multi Agent Systems, pp. 1 -- 6, London UK (2000).

  50. Sawada, T., Satoh, K., ``Composer Classification based on Patterns of Short Note Sequences'', Proceedings of the AAAI-2000 Workshop on AI and Music, pp. 24 -- 27,, Austin, Texas, USA (2000).

  51. Satoh, K., Okamoto, H., ``Computing Circumscriptive Databases by Integer Programming: Revisited'', Proceedings of the AAAI-2000, pp. 429 -- 435, Austin, Texas, USA (2000).

  52. Satoh, K., ``Formalizing Prioritized Consistency Management in Requirement Engineering'', T. Katayama, T. Tamai, and N. Yonezaki (eds), Proceedings of the International Symposium on Principles of Software Evolution, IEEE Computer Society, pp. 184 -- 188 (2000).

  53. Satoh, K., ``Computing Minimal Belief Revision by Extended Logic Programming without Minimality Check'', Proceedings of IJCAI-01 Workshop on Abductive Reasoning, pp. 48 -- 55 (2001).

  54. Satoh, K., Yamamoto, K., ``Speculative Computation with Multi-Agent Belief Revision'', Proceedings of the First International Conference on Autonomous Agents and Multi-Agent Systems, pp. 897 -- 904, Bologna, Italy (2002).

  55. Satoh, K., ``Constructing a Critical Casebase to Represent a Lattice-Based Relation'', Setsuo Arikawa, Ayumi Shinohara (Eds.)., Progress in Discovery Science 2002, LNCS 2281 pp. 214 -- 223 (2002).

  56. Satoh, K., ``Nonmonotonic Reasoning and Consistency Management in Software Engineering'', Shi-Kuo Chang (ed.), Handbook of Software Engineering and Knowledge Engineering, Vol. 2, World Scientific, pp. 629 -- 644 (2002).

  57. Satoh, K., Formalizing Retrieval Goal Change by Prioritized Circumscription - Preliminary Report - Cooperative Information Agents VII, LNAI 2782, pp. 324 -- 335 (2003).

  58. Satoh, K., Computing Minimal Revised Specifications by Default Logic Proc. of Workshop on Intelligent Technologies in Software Engineering (WITSE2003) pp. 7 -- 12 (2003).

  59. Satoh, K., Uno, T., Enumerating Maximal Frequent Sets using Irredundant Dualization, Proc. of 6th International Conference on Discovery Science (DS2003), LNAI 2843, pp. 256 -- 268 (2003)

  60. Satoh, K., Codognet, P., Hosobe, H., ``Speculative Constraint Processing in Multi-agent Systems'', Proc. of Sixth Pacific Rim International Workshop on Multi-Agents (PRIMA2003), LNAI 2891, pp. 133 -- 144 (2003)

  61. Uno, T., Satoh, K., ``Detailed Description of an Algorithm for Enumeration of Maximal Frequent Sets with Irredundant Dualization'', Online CEUR Workshop Proceedings of the ICDM 2003 Workshop on Frequent Itemset Mining Implementations (FIMI 2003), Melbourne, Florida, USA (2003)

  62. Satoh, K. ``"All's Well that Ends Well" - A Proposal of Global Abduction -'', Proceedings of the Tenth International Workshop on Non-Monotonic Reasoning, pp. 360 -- 367, Whislter, Canada (2004).

  63. Akaishi, M., Satoh, K., Tanaka. Y.,``An Associative Information Retrieval based on the Dependency of Term Co-occurrence'', Proc. of 7th International Conference on Discovery Science (DS2004), LNAI 3245, pp. 195 -- 206, Padova, Italy (2004).

  64. Satoh, K., ``Formalizing Retrieval Goal Change by Prioritized Abduction'', G. Grieser and Y. Tanaka (eds.), Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets: International Workshop, Dagstuhl Castle, Germany, March 1-5, 2004, Revised Selected Papers, LNAI3359, pp. 215 -- 232 (2005).

  65. Satoh, K., ``An Application of Global Abduction to an Information Agent which Modifies a Plan upon Failure - Preliminary Report -'', J. Leite and P. Torroni (eds.), Computational Logic in Multi-Agent Systems, Revised Selected and Invited Papers, LNAI3487, pp. 213 -- 229 (2005). A preliminary version appeared as Satoh, K. ``An Application of Global Abduction to an Information Agent which Modifies a Plan upon Failure - Preliminary Report -'', Pre-Proceedings of CLIMA-V, pp. 150 -- 165, Lisbon, Portugal (2004).

  66. Satoh, K., Uno, T., ``Enumerating Minimally Revised Specifications using Dualization", Workshop on Learning with Logics and Logics for Learning, pp. 19 - 23 (2005).

  67. Satoh, K., "Learning Taxonomic Relation by Case-based Reasoning", Theoretical Computer Science, Vol. 348, pp. 58 - 69 (2005). A preliminary version appeared as Satoh, K., ``Learning Taxonomic Relation by Case-based Reasoning'', Proceedings of the Eleventh International Conference on Algorithmic Learning Theory, LNAI1968 pp. 179 -- 193 (2000).

  68. Kaneiwa, K., Satoh, K., "Consistency Checking Algorithms for Restricted UML Class Diagrams", Proceedings of the Fourth International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2006), LNCS 3861, pp. 219 -- 239, Budapest, Hungary(2006).

  69. Ceberio, M., Hosobe, H., Satoh, K.,``Speculative Constraint Processing with Iterative Revision for Disjunctive Answers'', F. Toni and P.Torroni (eds.), Computational Logic in Multi-Agent Systems: 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers, LNAI 3900, pp. 340 - 357 (2006). A preliminary version appeared as Ceberio, M., Hosobe, H., Satoh, K.,``Speculative Constraint Processing with Iterative Revision for Disjunctive Answers'', Proc. of CLIMA-VI, pp. 119 -- 134, London, UK (2005).

  70. Satoh, K., Uno, T.,``Enumerating Minimally Revised Specifications Using Dualization'' T. Washio, A. Sakurai, K. Nakajima, H. Takeda, S. Tojo, M. Yokoo (eds.), New Frontiers in Artificial Intelligence: Joint JSAI 2005 Workshop Post-Proceedings, LNAI 4012, pp. 182 - 189 (2006). A preliminary version appeared as Satoh, K., Uno, T.,``Enumerating Minimal Revised Specification using Dualization'', Proc. of Workshop on Learning with Logics and Logics for Learning, pp. 19 -- 23, Kita-kyushu, Japan (2005).

  71. Akaishi, M., Hori, K., Satoh, K., "Topic Tracer: a Visualization Tool for Quick Reference of Stories Embedded in Document Set", Proceedings of the 10th International Conference on Information Visualisation (IV06), pp. 101 -- 106, London, UK (2006).

  72. Satoh, K., Uno, T., "Enumerating Minimal Explanations by Minimal Hitting Set Computation", Proceedings of the First International Conference on Knowledge Science, Engineering and Management (KSEM'06), LNAI 4092, pp. 354 -- 365, Guilin, China (2006).

  73. Satoh, K., Kaneiwa, K., Uno, T., "Contradiction Finding and Minimal Recovery for UML Class Diagrams", 21st IEEE/ACM International Conference on Automated Software Engineering (ASE2006), pp 277 -- 280, Tokyo, Japan (2006).

  74. Satoh, K., Tojo, S., "Disjunction of Causes and Disjunctive Cause: a Solution to the Paradox of 'Conditio Sine Qua Non' using Minimal Abduction", Legal Knowledge and Information Systems, JURIX 2006: The Nineteenth Annual Conference, pp. 163 -- 168, Paris, France (2006).

  75. Minato, S., Satoh, K., Sato, T., "Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-suppressed BDDs", Proceedings of the 20th International Joint Conference on Artificial Intelligence, pp. 2550-2555, Hyderabad, India (2007).

  76. 鷲尾隆、樋口知之、井元清哉、玉田嘉紀、佐藤健、元田浩、グラフマイニングとその統計的モデリングへの応用、統計数理第54巻第2号, pp. 315-332 (2006)

【特許・公開ソフトウェア・作品等】

  1. 佐藤 健, 増沢 秀穂, 板敷 晃弘, 久門 耕一, 相馬 行雄:「並列処理方式」(特願昭60--120637)

  2. 佐藤 健, 岡本 青史: ``Propositional Probability Determining Method and Apparatus, and Probabilistic Inference Apparatus''(European Patent No. 95118546.1)(1995)

【上記に含まれない論文・記事・著作物等】

  1. 佐藤 健、アルゴリズム、インターネットが電話になった, pp. 168 - 198, 丸善ライブラリー (2005).

  2. 佐藤 健,Yale Shooting問題とその解決へのアプローチ(解説論文), 人工知能学会誌 Vol. 3, No.2, pp. 132 -- 138 (1988).

  3. 松本 裕治,佐藤 健,非単調推論と常識推論(解説論文), 情報処理, Vol. 30, No.6, pp. 674 -- 683 (1989).

  4. 佐藤 健,非単調推論(解説論文), 電子情報通信学会, AIの最新技術動向講習会資料, pp. 1 -- 17 (1990).

  5. 佐藤 健, ``Logical Foundations of Artificial Intelligence'', 邦題「人工知能基礎論」(翻訳), M.R. Genesereth, N. J. Nilsson共著, 古川康一監訳, 第9章(pp. 247 -- 286), 第11章(pp. 315 -- 338),オーム社 (1993).

  6. 佐藤 健, ``Artificial Intelligence --A Modern Approach--'', 邦題「エージェントアプローチ人工知能」 (翻訳) , Stuart Russell, Peter Norvig共著, 古川康一監訳, 第14章(pp. 417 -- 438), 共立出版 (1997).

  7. 佐藤 健, 松原 仁, 篠原 拓嗣, 香山 健太郎, 指し将棋における盤面類似度の学習, 第4回ゲーム・プログラミング ワークショップ, pp. 114 -- 123, 箱根(1997).

  8. 佐藤 健, 中川 竜一, クリティカルな事例ベースの近似構築, 人工知能学会研究会報告, SIG-FAI/KBS-9902-18, pp. 103 -- 109 人工知能学会99年度研究奨励賞受賞論文 (2000).

  9. 岩山 登, 佐藤 健, 論理プログラムの解集合意味論に関する証明系(解説論文), 人工知能学会誌 Vol. 16, No.5, pp. 665 -- 660 (2001).

  10. 兼岩 憲、佐藤 健、 DL: Description Logics 人工知能学会誌 Vol 18 No 1 pp. 73 -- 82 (2003)

  11. 佐藤 健、 記号処理の現在-論理による知識表現と推論- 計測と制御 Vol 42 No 6 pp 463 -- 467 (2003).

  12. 佐藤 健 人工知能への論理的アプローチにおける学習 人工知能学会誌 Vol 18 No 5 pp. 546 -- 549 (2003).

  13. Satoh, K., ``Speculative Contraint Processing (Extended Abstract)'', Proceedings of CP 2005 workshop on Distributed and Speculative Constraint Processing, (invited talk), Sitges, Spain, October 1 2005, pp. 3 -- 6 (2005).

  14. Terasaki, S., Hawley, D. J., Sawada, H., Satoh, K., Menju, S., Kawagishi, T., Iwayama, N., Aiba, A., ``Parallel Constraint Logic Programming Language GDCC and its Parallel Constraint Solvers'', Proceedings of the Fifth Generation Computer Systems '92, pp. 330 -- 346, Tokyo, Japan (1992).

【講演・口頭発表等】

  1. 佐藤 健, 極小限定の確率的意味について, 情報処理学会第40回全国大会, 情報処理学会全国大会学術奨励賞受賞論文 (1990).

【教育指導等の実績】

  1. 1995年-2001年 北海道大学大学院工学研究科修士研究指導5名

【競争的研究資金獲得状況(公開)】

  (1) 科研費

  • 平成10年度科学研究費補助金特定領域研究 領域番号290 「発展機構を備えたソフトウェアの構成原理の研究」公募研究(170万円)「仮説論理プログラミングを用いたソフトウェア発展モデルの実現」(10139201)
  • 平成11年度科学研究費補助金特定領域研究 領域番号290 「発展機構を備えたソフトウェアの構成原理の研究」計画研究分担者(160万円)
  • 平成11年度科学研究費補助金特定領域研究 領域番号294「巨大学術社会情報からの知識発見に関する基礎研究」公募研究(190万円)「事例ベース推論におけるクリティカルな事例の発見」(11130202)
  • 平成11年度科学研究費補助金基盤研究B(1)(平成12年度まで, 1110万円) 「不完全通信環境下における論理型マルチエージェントシステムの構築」(11480070)
  • 平成11年度度科学研究費補助金萌芽的研究(平成12年度まで, 180万円) 「可能世界の順序に基づいた定性的意思決定モデルの構築」(11878067)
  • 平成12年度科学研究費補助金特定領域研究 領域番号294「巨大学術社会情報からの知識発見に関する基礎研究」計画研究分担者(180万円)
  • 平成13年度科学研究費補助金基盤研究A(1)(平成15年度まで, 3536万円)「先行投機的処理機能を持つマルチエージェントシステムの構築」(13358004)
  • 平成13年度科学研究費補助金特定領域研究C「ITの深化の基盤を拓く情報学研究」公募研究(500万円)「宣言的プログラミングにおけるソフトウェア発展の研究」(13224088)
  • 平成14年度科学研究費補助金特定領域研究「ITの深化の基盤を拓く情報学研究」公募研究(540万円)「宣言的プログラミングにおけるソフトウェア発展の研究」(14019084)
  • 平成15年度科学研究費補助金特定領域研究「ITの深化の基盤を拓く情報学研究」公募研究(480万円)「宣言的プログラミングにおけるソフトウェア発展の研究」(15017283)
  • 平成16年度科学研究費補助金基盤研究A(2)(平成18年度まで, 3300万円)「ウェブサービス連携における高信頼かつ高度相互運用性を持つエージェント技術の開発」(16200010)
  • 平成16年度科学研究費補助金特定領域研究「ITの深化の基盤を拓く情報学研究」公募研究(平成17年度まで, 990万円)「宣言的プログラミングにおけるソフトウェア発展の研究」(16016284)
  (2) 科研費以外の政府関係の研究費

  • 平成14年度 日本学術振興会日豪科学協力事業・共同研究(平成15年度まで, 490万円)
  • 平成16年度 日本学術振興会仏交流促進事業「SAKURA」(平成17年度まで, 200万円)
  (3) その他の研究費

  • 平成10―15年度 民間との共同研究/委託研究:総額550万円