Loading article…
ドブ・M・ギャベイ | |
|---|---|
| 生まれる | 1945年10月26日 |
| 教育 | ヘブライ大学（学士、修士、博士） |
| 知られている | ガバイの分離定理、エキスパートシステムにおける非単調推論の基礎 |
| 受賞歴 | カナダ王立協会外国人フェロー（FRSC）、アレクサンダー・フォン・フンボルト財団 フェロー（FAvH） |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス 数学 哲学 論理学 |
| 機関 | キングス・カレッジ・ロンドン バー・イラン大学 ルクセンブルク 大学 マンチェスター大学 インペリアル・カレッジ・ ロンドン ポール・サバティエ 大学 アシュケロン・アカデミック・カレッジ |
| 論文 | 非古典的論理学 （1969） |
| 博士課程の指導教員 | アズリエル・ レヴィ マイケル・O・ラビン[1] |
ドヴ・M・ガバイ（/ ɡəˈb eɪ /、1945年10月26日生まれ）はイスラエルの論理学者。ロンドン大学キングス・カレッジ、コンピュータサイエンス学部、論理・言語・計算グループのオーガスタス・ド・モーガン 名誉論理学教授 。
仕事
ギャベイは、450 本以上の研究論文と 30 本以上の研究論文集を執筆しています。また、いくつかの国際ジャーナルの編集者でもあり、 Handbook of Philosophical Logic (フランツ・ゲントナーとの共著)、Handbook of Logic in Computer Science] (サムソン・アブラムスキー、TSE マイバウムとの共著)、Handbook of Logic in Artificial Intelligence and Logic Programming (CJ ホガー、JA ロビンソンとの共著) など、論理学に関する多くの参考書やハンドブックの編集者でもあります。
彼は、コンピュータサイエンスと人工知能における論理、特にコンピュータサイエンスにおける（実行可能な）時相論理の応用、特に形式検証、非単調推論と人工知能の論理的基礎、ファイバーリング論理の導入、ラベル付き演繹システムの理論に関する先駆的な研究でよく知られています。
彼はいくつかの国際会議の議長および創設者であり、ヨーロッパ論理、言語および情報財団の幹部であり、国際IGPL論理グループの会長です。彼は国際計算論理連盟の創設者であり共同会長です。[2] [3]彼はまた、論理、言語および情報協会であるFoLLIの4人の創設者の1人で、長年評議員を務めていましたが、現在は同協会から引退しています。彼は終身会員です。
彼はジェーン・スパーとともに、非営利の新興学術出版社カレッジ・パブリケーションズの共同設立者であり、手頃な価格で著者に著作権譲渡を求めず、高額な大手出版社と競争することを目指している。 [4] 2005年にはカレッジ・パブリケーションズから彼に敬意を表した2巻の記念論文集が出版された。[5]
レギュラーポジション
- 1968年～1970年 –エルサレム・ヘブライ大学講師
- 1970～1973年 –スタンフォード大学哲学助教授
- 1973年～1975年 スタンフォード大学哲学准教授
- 1975～1977年 –バーイラン大学准教授
- 1977–1983 – バーイラン大学レディ・デイビス論理学教授
- 1983–1998 –ロンドンのインペリアル・カレッジ・オブ・サイエンス、テクノロジー、医学、コンピューティング学教授
- 1998年～現在 – ロンドン大学キングス・カレッジのコンピューター科学教授、哲学教授、オーガスタス・ド・モーガン論理学教授
- 2009年～現在 バーイラン大学特別教授
- 2015–2017 –アシュケロンアカデミックカレッジ論理学教授
選りすぐりの著作
- Samson Abramsky、Dov M. Gabbay、TSE Maibaum。コンピュータサイエンスにおける論理ハンドブック、第1巻～第5巻。Clarendom Press、オックスフォード、1992～2000年。
- アルトゥール・S・ダビラ・ガルセズ、ルイス・C・ラム、ドブ・ギャベイ。神経記号的認知推論。シュプリンガー、2009 年。ISBN 978-3540732457
- Michael D. Fisher、Dov M. Gabbay、Lluis Vila (編)。人工知能における時間的推論ハンドブック。Elsevier、2005 年。
- Dov M. Gabbay: エキスパート システムにおける非単調推論の理論的基礎。In: Apt KR (ed) 並行システムのロジックとモデル。NATO ASI シリーズ (シリーズ F: コンピュータとシステム サイエンス)、第 13 巻。Springer、ベルリン、ハイデルベルク、pp. 439–457、1985 年。
- Dov M. Gabbay (編)。論理システムとは何か? 論理と計算の研究、オックスフォード大学出版局、1994 年。
- Dov M. Gabbay. ラベル付き演繹システム、第 1 巻。Clarendon Press、オックスフォード、1996 年。ISBN 9780198538332
- Dov M. Gabbay. Fibring Logics. Clarendon Press、オックスフォード、1998年。ISBN 9780191590108
- Dov M. Gabbay、Ian Hodkinson、Mark Reynolds: Temporal Logic: Mathematical Foundations and Computational Aspects、第 1 巻。Clarendon Press、オックスフォード、1994 年。ISBN 978-0198537694
- Dov M. Gabbay、Agi Kurucz、Frank Wolter、Michael Zakharyaschev: 「多次元様相論理: 理論と応用」 North-Holland、2003 年。
- Dov M. Gabbay、Amir Pnueli、Saharon Shelah、Jonathan Stavi。公平性の時間的分析について。POPL'80: Proceedings of the 7th SIGPLAN-SIGACT ACM Annual Symposium on Principles of Programming Languages、1980 年 1 月、163 ～ 173 ページ、ACM Press。
- Dov M. Gabbay とJohn Woods。「アジェンダの関連性: 形式語用論の研究」North-Holland、2003 年。
- Ruth M. Kempson、Wilfried Meyer-Viol、Dov M. Gabbay: Dynamic syntax: The flow of language understanding 2019年5月27日アーカイブ、Wayback Machine。Blackwell、2000年。ISBN 978-0-631-17612-1
参考文献
- ^ 数学系譜プロジェクトの Dov Gabbay
- ^ 「公式サイト」. 2019年1月25日. 2020年12月26日閲覧。
- ^ [1] [リンク切れ ]
- ^ 「College Publications - 会社概要」www.collegepublications.co.uk。
- ^ セルゲイ・アルテモフ、アルトゥール・ダビラ・ガルセズ、ルイス・C・ラム、ハワード・バリンジャー、ジョン・ウッズ (2005)。『We Will Show Them! Essays in Honour of Dov Gabbay』第 1 巻、第 2 巻。ロンドン: 国際計算論理連盟、カレッジ出版。ISBN 9781904987123。
{{cite book}}: CS1 maint: 複数の名前: 著者リスト (リンク)
外部リンク
- ホームページ