Loading article…
マイケル・ジェネセレス | |
|---|---|
| 生まれる | 1948年10月15日[要出典] |
| 母校 | マサチューセッツ工科大学
ハーバード大学 |
| 知られている | 人工知能 計算法則 一般的なゲームプレイ |
| 受賞歴 | AAAIフェロー（1990年創設）。[1] |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス 論理 |
| 機関 | スタンフォード大学 |
| 論文 | 複雑なコンピュータシステムのための自動コンサルテーション[2] (1978) |
| 博士課程の指導教員 | トーマス・チーサム（ハーバード大学） ジョエル・モーゼス（MIT） |
| 博士課程の学生 | ラッセル・グレイナー ジョック・D・マッキンレイ スチュアート・J・ラッセル ヴィシャル ・シッカ |
マイケル・ジェネセレス（1948年生まれ）は、アメリカの論理学者、コンピュータ科学者であり、計算論理とその企業経営、計算法、ゲーム全般への応用に関する研究で最もよく知られています。[3]ジェネセレスは、スタンフォード大学コンピュータサイエンス学部の教授であり、スタンフォード大学ロースクールの名誉教授でもあります。[4] 1987年の著書「Logical Foundations of Artificial Intelligence」[5]は、シンボリック人工知能に関する重要な参考文献の1つです。[6]彼は、影響力のあるゲーム記述言語（GDL）と知識交換フォーマット（KIF）の著者であり、後者はISO Common Logic標準につながりました。[7]
教育
ジェネセレスはマサチューセッツ工科大学で物理学の学士号（1972年） 、ハーバード大学で応用数学の修士号（1974年）と博士号（1978年）を取得しました[8] 。大学院生として、彼はMacsymaコンピュータ代数システムに取り組み、Macsymaユーザーのための自動アドバイザーに関する論文を執筆しました[9] 。
キャリア
ジェネセレスは1979年からスタンフォード大学コンピュータサイエンス学部の教員を務めている。スタンフォード大学のロジックグループのディレクターであり、スタンフォードCodeX法情報センターの創設者兼研究ディレクターでもある。[10] [11] [12] [ 13] [14] [15]彼はTeknowledge、[16] CommerceNet、[17] Mergent Systems、[18] SIPX [19]およびSymbium [20]の各社の創設者の一人である。SymbiumはCodeXが行っている計算法研究から生まれた最新のスピンオフ企業であり、政策および規制改革に関するアイボリーイノベーション賞を受賞している。[21]
研究
ジェネセレスの研究[22]は、幅広い分野で計算論理 の利用を基盤としており、異種ソースからの知識の統合、[23]知識交換の共通フォーマット、[24] [25] [26]エージェントベースの知識表現とソフトウェアエンジニアリングの基盤、[27] [28] [29] [30]論理スプレッドシートとして知られるスプレッドシートの拡張機能、[31]演繹データベースシステムでのクエリの最適化などへの応用が考えられています。[32] [33]彼は、 Mycinなどのシステムで当時流行していた症状ベースのアプローチとは対照的に、モデルベース診断 の概念を考案し、これは人工知能 (ジャーナル)の 50 巻の回顧録に掲載されたことで評価されました。[34]彼のデータ統合に関する研究[35]は、1997 年のデータベースシステム原理に関するシンポジウムで最優秀論文賞を受賞しました。[36]合理的エージェント間の取引に関する研究[37]は、 2007年に国際自律エージェント・マルチエージェントシステム財団から影響力のある論文賞を受賞した。 [38]
論理教育
2016年、ジェネセレスは、エルブラン意味論[41]を教育的アプローチの基礎として挙げ、アメリカ全土の高校に論理教育を導入する取り組みを開始しました。[ 39] [40]このプログラムには、スタンフォード大学のキャンパスで提供される高校生向けのサマーキャンプや、米国内のさまざまな研究分野で提供される教師の専門能力開発が含まれています。[42]高校で提供されるコースでは、同じトピックのMOOCと同じコース教材が使用されています。 [43]
社会
ジェネセレスは、第3回全国人工知能会議のプログラム委員長を務め、[44] 1985年までの任期でアメリカ人工知能協会の評議員を務め、 [45] 1990年に同協会のフェローに選出されました。[1]また、国際総合ゲームプレイ競技会の主催者、[46] 1993年の ウェブカンファレンスのプログラム委員長、[47] 2010年アメリカ人工知能協会のインテリジェントプライバシー管理に関する春季シンポジウムの共同主催者、 [48]第9回抽象化、再定式化、近似に関するシンポジウムの議長も務めました。[49]
文献
- —— ;ニルソン、ニルス J. (1987)。人工知能の論理的基礎。モーガン カウフマン。ISBN 978-0-934613-31-6。
- —— (2010).データ統合: リレーショナル ロジック アプローチ. 人工知能と機械学習に関する統合講義. 第 4 巻. Morgan & Claypool. pp. 1–97. doi :10.2200/S00226ED1V01Y200911AIM008. ISBN 978-1-59829-741-6。
- ——; カオ、エリック (2012)。論理入門。コンピュータサイエンスの統合講義。モーガン＆クレイプール。doi : 10.2200/ S00734ED2V01Y201609CSL008。ISBN 978-1-62705-006-7。
- ——; Thielscher, Michael (2014).一般的なゲームのプレイ. 人工知能と機械学習に関する統合講義. Morgan & Claypool. doi :10.2200/S00564ED1V01Y201311AIM024. ISBN 978-1-62705-256-6. S2CID 23241902。
- ——; Chaudhri, Vinay (2020).論理プログラミング入門. 人工知能と機械学習に関する統合講義. Morgan & Claypool. doi :10.2200/S00966ED1V01Y201911AIM044. ISBN 978-1681737225. S2CID 213262584。
参照
参考文献
- ^ a B AAAIフェロー
- ^ Michael, Genesereth. 「複雑なコンピュータシステムのための自動コンサルテーション」。ホリス図書館カタログ、ハーバード大学。 2020年7月15日閲覧。
- ^ ゲイロード、クリス。「コンピューターがゲームボードを制覇」クリスチャン・サイエンス・モニター。 2020年7月16日閲覧。
- ^ 「マイケル・ジェネセレス」スタンフォード大学人物。スタンフォード大学。 2020年7月16日閲覧。
- ^ ジェネセレス、マイケル、ニルソン、ニルス (1987)。人工知能の論理的基礎。モルガン・カウフマン出版社。ISBN 978-0-934613-31-6。
- ^ Genesereth, Michael; Nilsson, Nils. 「人工知能の論理的基礎」。Google Scholar の引用。 2020年7月15日閲覧。
- ^ ISO/IEC 24707:2018. 「情報技術 - 共通ロジック (CL) - 論理ベース言語ファミリーのフレームワーク」。国際標準化機構。2020年7月15日閲覧。
{{cite web}}: CS1 maint: 数値名: 著者リスト (リンク) - ^ 数学系譜プロジェクトのマイケル・ジェネセレス
- ^ マイケル・ジェネセレス、「複雑なコンピュータシステムのための自動コンサルテーション」、博士論文、ハーバード大学、1977 年 11 月
- ^ 「Fast Case 50、2016年度の法律界で最も優秀な人材を表彰」Fast Case 50 . 2020年7月30日閲覧。
- ^ Bay, Monica (2017年3月15日). 「太陽とチャットボット」。Above the Law 。 2020年5月21日閲覧。
- ^ Riyanka Roy、Chaudhri。「CodeXへの旅：法律の未来を形作る」。LAWXAM 。 2020年5月21日閲覧。
- ^ Bowman, Mark (2014年1月9日). 「IP集中プログラム：スタンフォード大学のCodeXでのインターンシップ：ロースクールでの経験のハイライト」. IP OSGOODE . 2020年5月21日閲覧。
- ^ マシュー・キャロル（2017年6月21日）。「コミュニティハイライト：スタンフォードのCodeXと自動化法の未来」。IMMUTA 。 2020年5月21日閲覧。
- ^ エリオット、ランス。「FutureLaw 2020は、AIの影響を含め、テクノロジーが法律をどのように変革しているかを紹介します」。Forbes.COM 。 2020年7月17日閲覧。
- ^ 「Teknowledge Corp」。ブルームバーグニュース。 2020年5月21日閲覧。
- ^ Tanenbaum, Marty; Trip, Chowdry. 「Commercenetコンソーシアムの最終報告書」(PDF)。国防技術情報センター。 2020年7月17日時点のオリジナルよりアーカイブ(PDF) 。 2020年7月17日閲覧。
- ^ 「Commerce OneがMergent Systemsを買収」。responsesource 。 2020年7月17日閲覧。
- ^ 「Sipx Inc」.リレーションシップサイエンス. 2020年7月17日閲覧。
- ^ 「Symbium」 . 2020年5月21日閲覧。
- ^ 「2020年アイボリー賞受賞者発表」アイボリーイノベーションズ。 2020年7月15日閲覧。
- ^ DBLP書誌サーバーの Michael Genesereth
- ^ Genesereth, MR, Keller, AM および Duschka, OM、1997 年 6 月。Infomaster: 情報統合システム。ACM SIGMOD Record (Vol. 26、No. 2、pp. 539–542)。ACM。
- ^ Studer, Rudi; Benjamins, Richard; Fensel, Dieter (1998). 「知識工学：原理と方法」.データ＆知識工学. 25 (1–2): 161–97. doi :10.1016/S0169-023X(97)00056-6. S2CID 2521178.
- ^ Genesereth, MR および Fikes, RE, 1992. 知識交換フォーマット バージョン 3.0: リファレンス マニュアル。
- ^ Genesereth, MR、1991 年 4 月。知識交換フォーマット。知識表現および推論の原理に関する第 2 回国際会議の議事録 (pp. 599–600)。Morgan Kaufmann Publishers Inc.
- ^ ジェネセレス、マイケル、ギンズバーグ、マシュー、ローゼンシャイン、ジェフリー (1986)。「コミュニケーションのない協力」(PDF)。人工知能に関する全国会議の議事録: 51–57 。 2020年8月3日閲覧。
- ^ Genesereth, MR および Ketchpel, SP、1994。「ソフトウェア エージェント」。Communications of the ACM。
- ^ ウールドリッジ、マイケル（2013年3月8日）。マルチエージェントシステム入門（第2版）。ジョン・ワイリー・アンド・サンズ。ISBN 978-0-470-51946-2. 2020年5月21日閲覧。
- ^ Bradshaw, John (1997). 「ソフトウェアエージェント入門」(PDF) .ソフトウェアエージェント. 6 (4): 466–469 . 2020年5月21日閲覧。
- ^ 「Logical Spreadsheets」. ZDNet . 2020年11月27日時点のオリジナルよりアーカイブ。2020年7月16日閲覧。
- ^ Chirkova, Rada; Genesereth, Michael (2000)。「線形境界付き結合データベースの再定式化」。計算論理 — CL 2000。コンピュータサイエンスの講義ノート。第 1861 巻。pp. 987–1001。doi : 10.1007 /3-540-44957-4_66。ISBN 978-3-540-67797-0。
{{cite book}}:|journal=無視されました (ヘルプ) - ^ Genesereth, Michael; Mohapatra, Abhijeet (2019). 「演繹データベースの実用的な再定式化」2019 IEEE 第2回人工知能および知識工学に関する国際会議 (AIKE)。pp. 65–72。doi : 10.1109 / AIKE.2019.00020。ISBN 978-1-7281-1488-0. S2CID 160018891。
- ^ Bobrow, Daniel G. (1993年2月). 「人工知能の展望：人工知能ジャーナル50巻の回顧」.人工知能. 59 (1–2): 5–20. doi :10.1016/0004-3702(93)90163-6 . 2020年7月30日閲覧。
- ^ Genesereth, Michael; Duschka, Oliver (1997). 「ビューを使用した再帰クエリへの応答」。第 16 回 ACM SIGACT-SIGMOD-SIGART シンポジウム「データベース システムの原理 - PODS '97」の議事録。pp . 109–116。doi :10.1145/ 263661.263674。ISBN 0897919106. S2CID 2995653。
- ^ 「PODS Best Paper Awards」。SIGMOD.ORG。Association for Computing Machinery、Special Interest Group on Management of Data 。 2020年7月30日閲覧。
- ^ Rosenschtein, Jeffrey; Genesreth, Michael (1985). 「Deals Among Rational Agents」（PDF）。人工知能に関する国際合同会議：91–99 。 2020年8月3日閲覧。
- ^ 「IFAAMAS Influential Paper Award」。自律エージェントおよびマルチエージェントシステムのための国際財団。2020年8月3日閲覧。
- ^ マイヤーズ、アンドリュー（2016年6月9日）。「スタンフォード大学のコンピューター科学者が高校向けの論理カリキュラムを設計」スタンフォード工学。 2020年5月21日閲覧。
- ^ ジェネセレス、マイケル、チャウドリ、ヴィナイ。「中等教育における論理」。インフォシス財団。 2020年5月21日閲覧。
- ^ Genesereth, Michael; Kao, Eric (2015). 「The Herbrand Manifesto - Thinking Inside the Box」.ルールテクノロジー: 基礎、ツール、およびアプリケーション. RuleML 2015 . doi :10.1007/978-3-319-21542-6_1. S2CID 3530910.
- ^ 「スタンフォード論理学入門」。Stanford IntroLogic 。 2020年5月21日閲覧。
- ^ 「論理学入門」。2020年5月21日閲覧。
- ^ 「第3回全国人工知能会議」。AAAI。AAAI.ORG 。 2020年7月30日閲覧。
- ^ AAAI. 「過去のAAAI役員」 。 2020年7月15日閲覧。
- ^ 「International General Game Playing Competition」. AAAI . aaai.org . 2020年7月30日閲覧。
- ^ “WWW6プログラム委員会”. 2012年7月22日時点のオリジナルよりアーカイブ。2020年7月30日閲覧。
- ^ 「インテリジェント情報プライバシー管理」。AAAI。aaai.org 。 2020年7月30日閲覧。
- ^ 「議事録、第 9 回抽象化、再定式化、近似に関するシンポジウム (SARA 2011)」。AAAI。AAAI.ORG。