ヴォルフガング・ビーベル

ヴォルフガング・ビーベル
2006年のFederated Logicカンファレンスにて
生まれる	1938 ニュルンベルク
教育	LMUミュンヘン
科学者としてのキャリア
機関	ダルムシュタット工科大学
論文	エイネム・テイルシステム・デア・インファッヘン・タイプンロジックにおけるシュニッテルリミネーション (1968)
博士課程の指導教員	クルト・シュッテ、ヘルムート・ゲリッケ
著名な学生	ホルガー・H・フーズ

レオンハルト・ヴォルフガング・ビーベル（1938年10月28日^[1]ニュルンベルク生まれ）は、ドイツのコンピュータ科学者、数学者であり、ダルムシュタット工科大学コンピュータサイエンス学部の名誉教授である。彼はドイツとヨーロッパにおける人工知能の研究分野の創始者の一人であり、ドイツ情報科学協会によってドイツの人工知能の歴史において最も重要な10人の研究者の一人に選ばれた。ビーベルは人工知能の分野を確立するために必要な機関、会議、科学雑誌を設立し、必要な研究プログラムを推進した。

ビベルは、自動演繹、知識表現、演繹システムと推論のアーキテクチャ、計画、学習、プログラム合成の分野、および AI 技術の社会への影響に関するトピックに取り組んできました。彼の最も顕著な科学的貢献は、論理的結論を非常に簡潔な方法で自動的に導き出すことができる接続法でした。ビベルは、自動推論への顕著な貢献に対して2006 年のエルブラン賞を受賞しました。

ヴォルフガング・ビーベルはドイツのニュルンベルクで生まれた。彼は大学に入学する前に産業経験を証明する必要があったため、フランケンの大規模発電所でインターンシップを行った。最終的に、1958年にエアランゲン大学で物理学を専攻し、数学と物理学を学び始めた。彼の研究の最初の年は、理系の学校から来た同級生とは異なり、内容が不明だったため、ビーベルにとって挑戦的な年であった。学期の休み中に、彼はシーメンス・シュッカートヴェルケで別のインターンシップを行った。彼は1961年5月4日に中級ディプロマを取得した。1962年からは、ハイデルベルク大学で研究の一部を修了した。数学への重点を変更したため、彼はミュンヘンのルートヴィヒ・マクシミリアン大学（LMU）に移り、1964年までそこで学び、数学のディプロマを取得した。彼の卒業論文は、レンメルトのイラストの定理の証明を扱った。 1964年から1966年にかけて、ビーベルはミュンヘンのマックス・プランク物理学・天体物理学研究所（当時所長はヴェルナー・ハイゼンベルク）で科学助手を務めた。マックス・プランク研究所でペーター・ミッテルシュテットと出会い、奨学金と指導を受けることができた。ミッテルシュテットはビーベルに、博士論文のために散乱理論における反転問題の解決に取り組むよう提案したが、その解決法はずっと前に見つかっていたことが後に判明した。当時、ミッテルシュテットはこのことを知らなかった。後に、ミッテルシュテットがケルン大学の教授職を引き受けていたことが判明した。ビーベルはミッテルシュテットとともにケルン大学に移り、科学助手として働いた。既に見つかっていた解決法、突然引き受けたミッテルシュテットの教授職、そして恋人との距離が遠かったことから、ビーベルは短期間で辞職した。 1968年、彼はLMUで クルト・シュッテの指導の下、数理論理学の博士号を優秀な成績で取得した。

1969年から1987年まで、ビーベルはミュンヘン工科大学（TUM）のコンピュータサイエンス研究所で科学助手を務めた。実際、ビーベルは同大学で博士号を取得するつもりだった。1974年12月、ビーベルは博士号取得のための論文を審査に提出した。指導教官はクラウス・ザメルソンであった。しかし驚いたことに、当時研究所長だったフリードリヒ・ルートヴィヒ・バウアーが博士号取得を拒否し、資格を剥奪された。これはビーベルの業績を考えると異例のことだった。バウアーは、博士号取得を検討する前に、あと5年間研究を続けるようビーベルに勧めた。しかし、TUM外では彼の業績は認められていたため、バウアーが猛反対したため、ビーベルはバウアーの承認なしに博士号取得手続きを開始しようとした。この間、1975年から1976年にかけて、彼はドイツ連邦軍ミュンヘン大学のコンピュータサイエンス学部の講師に任命された。さらに、1975年の夏学期には、ザールラント大学のジャック・レックス教授の代理として、パーダーボルン大学の数学/コンピュータサイエンス学部長から教授職に応募するよう依頼された。資格審査委員会の委員長はカール・ハインツ・ヘルヴィヒで、彼は彼の専門分野である自動定理証明について全く知識のない審査員を任命した。その後、彼は当時のミュンヘン工科大学学長ウルリッヒ・グリグルに相談したが、うまくいかなかった。ビーベルの印象によると、グリグルは伝統には説明は不要であり、バウアーの言うことに耳を傾けるべきだったと言ったという。この間、ビーベルは他の役職に就き、肯定的な追加の意見を得た。これには、ブルーノ・ブッフベルガーとウッディ・ブレッドソーによる評価が含まれていた。しかし、1977年に彼の申請は31票の反対と3票の棄権で却下された。絶望した彼は動議を取り下げようとした。彼は、無分別な議論から、却下の理由をいくつかしか知らなかった。しかし、却下の理由については洞察を得ることができなかった。文書の閲覧申請も却下されたため、彼は訴訟を起こし、報告書の内容に誤りがあることを証明した。手続きは形式的に正しかったため、1982年に苦情は却下され、彼の資格認定手続きは7回の手続きを経て終了した。この間、同僚の彼に対する態度は変わり、彼はそれを「敵対的」と表現している。1978年、上級助手が教授職に就くことが認められる法律の変更があったため、彼は再度資格認定を申請した。しかし、これも1980年に、彼の分野には必要がないという理由で却下された。ビーベルは、この一連の出来事は彼を「学術的に抹殺する」試みであるとし、バウアーは権力に執着しており、個人的な理由でビーベルに反対していると考えていると説明した。バウアーと彼の同僚は、この主題を拒否し、ビーベルの科学的アプローチに自分たちを同一視できなかった。バウアーはALGOLによる命令型プログラミングの提唱者であり、ビーベルはPROLOGによる論理プログラミングに依存していた。バウアーが、ヴォルフガング・ヴァルスターが代表を務めるLISPによる関数型およびオブジェクト指向プログラミングを認識したのは、後になってからだった。特にバウアーは、この分野の将来を信じていなかった。当時、人工知能の拒否はミュンヘンに根ざしたものではなく、その外にも広がっていた。ヴァルスターはまた、バウアーのアプローチはイデオロギーに駆り立てられたものだと述べた。資格取得が失敗した同じ年に、ドイツ研究振興協会(DFG) は、ビーベルの要請により、「プログラミングにおける証拠手続きの使用」プロジェクトを支援した。話題の中心は、失敗した資格認定の話題だった。そのため、バウアーは資金提供に憤慨し、TUMのコンピュータへのアクセスがブロックされた。この問題は、当時のDFG会長の介入によってのみ解決できた。たとえば、バウアーのグループの一員で査読者の1人だったアイケルは、当時3人の著者と共著した論文が1つしかなかったにもかかわらず、資格認定を受けた。このアプローチにより、SAP、Software AG、Scheer AGなどの大手IT企業がTUMから生まれなかった。アンドレアス・フォン・ベクトルハイムも研究に飽きて腹を立て、カーネギーメロン大学に移った。この事件は広まり、彼の人生はより困難になった。当時、バウアーはドイツのコンピュータサイエンスに大きな影響力を持っていた。ビーベルは26件の不合格申請書を書いた。その後数年間、ビーベルはミュンヘンでの滞在を最小限に抑えようとした。この出来事はビーベルの人格形成に影響を与え、バウアーと彼の同僚の評価は間違っていたことが判明した。^{[2] [3]}

1970/1971年度、デトロイトのウェイン州立大学数学科のコンピュータサイエンス部門でコンピュータサイエンスの助教授を務めた。1985年にはデューク大学の客員准教授となった。ベルリン工科大学、アムステルダム自由大学、ウィーン工科大学、ウルム大学からのオファーを断った。

1987年、彼はバンクーバーのブリティッシュコロンビア大学のコンピュータサイエンスの教授となり、1年後にはダルムシュタット工科大学に移ったため、大学から名誉称号である非常勤教授に就任した。^[4]

1985/1986年冬学期、ビーベルは後に初めて任命される学部長を務めました。1988年10月1日、彼は当時のダルムシュタット工科大学コンピュータサイエンス学部の知性学教授になりました。このときビーベルはすでに50歳でした。ダルムシュタット工科大学はビーベルの16番目の雇用主であり、また最後の雇用主でもありました。それはまた、ビーベルにとって初めての安定した適切な労働環境でもありました。1991/1992年度、彼はダルムシュタット工科大学コンピュータサイエンス学部の学部長に就任しました。この間、彼は3つの任命委員会を率いました。その中には、オスカー・フォン・ストリクとカルステン・ヴァイエが含まれていました。彼は在職中に研究グループも構築し、ダルムシュタット工科大学を人工知能の世界有数の大学にしました。最も優れた科学プロジェクトは、ドイツ研究振興協会（DFG）の資金提供を受けた国家優先プログラム控除であった。このプロジェクトにより、ドイツは人工知能の分野で主導的な地位を獲得した。彼は2004年から名誉教授を務めている。^{[1] [5]}

ビーベルの要請により、ヴォルフガング・ヴァルスターは1994年にダルムシュタット工科大学から最初の名誉博士号を授与され、ジョン・アラン・ロビンソンはダルムシュタット工科大学での6か月間の滞在を含むフンボルト賞を受賞しました。2017年までに、彼の博士課程の学生またはスタッフのうち25人が教授になりました。彼は、雑誌「人工知能」のセクション編集者として働きました。^[3]

ミュンヘン工科大学(TUM)での困難にもかかわらず、彼は自分の分野の研究を続けました。1975 年は、ドイツにおける人工知能の始まりの年と言えます。ゲルト・フェーンカーはボンで会議を招集し、ヴォルフガング・ビーベルとヴォルフガング・ヴァルスターも参加しました。会議の結果、彼らはニュースレター KI を創刊しました。これが後に雑誌 KI となりました。最初の 6 号はハンス・ヘルムート・ナーゲルが発行しました。7 号目以降は、ビーベルが 1998 年までの 2 年間を引き継ぎました。この間、彼は TUM からのサポートを受けられなかったため、すべての作業を自分で行わなければなりませんでした。会議では、ビーベルが1975年からメンバーとして所属していた情報科学協会の認知システム技術委員会に人工知能の小委員会を設置することも決定されました。委員長はハンス=ヘルムート・ナーゲルで、当時最高レベルで人工知能を認めていた唯一の教授でした。この委員会は、ドイツにおける科学分野としての人工知能の確立を調整しました。後にビーベルがその役割を引き継ぎました。彼はまた、最も長くこの職に就きました。1975年に彼は自動証拠に関するワークショップを組織し、科学とビジネスで国際的に高く評価されました。このワークショップは、今日のドイツ人工知能会議の前身です。1982年に彼はイェルク・ジークマンとともに、研究結果がまだ学生に届いていなかったため、2週間のKIスプリングスクール（KIFS）を設立しました。これにより、ドイツで最初の人工知能に関する本の1つが出版され、学生をこのトピックに近づけました。今日、このスクールは常設機関となっています。 1985年、彼はヨーロッパのKIFSに相当する、初のAI上級コース（ACAI）も開講した。これもまた、別の本を出版した。ビベルは1979年には早くも、人工知能のためのヨーロッパ組織を設立したいと考えていた。1982年には、初のヨーロッパ人工知能会議が開催され、今日のヨーロッパ人工知能協会（EurAI）の前身であるヨーロッパ人工知能調整委員会が設立された 。彼はその初代会長となった。その間、彼はTUMから教授職も支援も得られなかった。TUMがそれを拒否したためである。

1975 年、ドイツ研究振興協会(DFG) はビーベルの研究助成金申請を承認しました。ビーベルはまた、1991 年秋に承認された国家優先プログラム「Deduction」を含む、ダルムシュタット工科大学向けのいくつかの研究プロジェクトを調達しました。このプロジェクトにより、ドイツは人工知能の分野で主導的な地位を獲得しました。

1977年の国際人工知能合同会議（IJCAI）で、ビーベルはナゲルとともに初めてドイツにおける人工知能の状況を発表した。1986年から1992年までIJCAIの理事会メンバー、1987年から1989年まで会長を務めた。当時のビーベルの影響力により、日本は丸10年にわたる研究プログラム、第五世代コンピュータシステム（FGCS）を立ち上げた。^[3]この研究プログラムは大きな反響を呼び、1979年の日本会議には政界の著名人が出席した。ビーベルはドイツを代表して会議に出席した。この会議に続いて、欧州情報技術研究開発戦略計画や連邦研究技術省（BMFT）が資金提供した情報技術プログラムなど、他の主要な研究プログラムも開催された。

1984年、ビーベルはフランツ・ヨーゼフ・シュトラウスに人工知能の重要性の高まりを指摘し、これが1988年のバイエルン知識ベースシステム研究センター（BayWiss）の設立につながりました。同時に、ドイツ人工知能研究センターが設立され、バーデン・ヴュルテンベルクに応用指向知識処理研究所（IAW）が設立されました。

2018年4月23日、彼はCLAIRE（欧州人工知能研究機関連合）イニシアチブの立ち上げにつながるイベントを開始しました。 ^{[6] [7]}

ヴォルフガング・ビーベルは、人工知能の研究はむしろ知性学と呼ばれるべきだと主張した。^[8]

• 1990年人工知能推進協会のドイツ人フェロー第1号^[9]
• カナダ高等研究機構フェロー
• Gesellschaft für Informatik によるドイツの人工知能の歴史で最も重要な 10 人の研究者の 1 人^[10]
• 欧州人工知能協会フェロー^[11]
• Gesellschaft für Informatikのフェロー、2006 ^[12]
• 国際人工知能合同会議ドナルド・E・ウォーカー功労賞受賞者、1999年^[13]
• 1998年国際情報処理連盟シルバーコア賞受賞者^[14]
• 2006年エルブラン賞受賞
• 2018年欧州人工知能協会功労賞^[15]

• ビーベル、ヴォルフガング (1987)。自動化された定理証明。ブラウンシュヴァイク: F. Vieweg. ISBN 3-528-18520-1. OCLC  16641802.
• ——;エリック・キュヴィリエ・フィルマ（2017）。Reflexionen vor Reflexen Memoiren eines Forschers (ドイツ語)。ゲッティンゲン。ISBN 978-3-7369-9524-6. OCLC  987574903.{{cite book}}: CS1 メンテナンス: 場所が見つかりません 発行者 (リンク)
• Otten, Jens; —— (2003). 「leanCoP: 無駄のない接続ベースの定理証明」Journal of Symbolic Computation . 36 (1–2). Elsevier BV: 139–161. doi : 10.1016/s0747-7171(03)00037-3 . ISSN  0747-7171.
• Otten, Jens; —— (2017). 「証明可能な正しいシステム」。NASAのシステムおよびソフトウェア エンジニアリングに関するモノグラフ。Cham: Springer International Publishing。doi :10.1007 / 978-3-319-48628-4。ISBN 978-3-319-48627-7. ISSN  1860-0131. S2CID  7091220.

• ヴォルフガング・ビーベルのホームページ