Loading article…
マーク・E・スティッケル | |
|---|---|
| 生まれる | 1947年6月22日 |
| 死亡 | 2013年4月13日（65歳） |
| 職業 | コンピュータ科学者 |
| 知られている | 自動定理証明と人工知能 |
| 注目すべき作品 | 皮肉 |
| 受賞歴 | アメリカ人工知能学会フェロー、 エルブランド賞 |
マーク・E・スティッケル（1947年6月22日 - 2013年4月13日）は、自動定理証明と人工知能の分野で活躍するコンピュータ科学者でした。彼は30年以上にわたりSRIインターナショナルに勤務し、人工知能センターの主任科学者でした。[1]
スティッケルの研究には、理論解決、結合可換（AC）統一、Prolog技術定理証明器（PTTP）の開発、SRIの新しい自動推論キットであるSNARKの開発が含まれていました。 [2]
彼は1992年にアメリカ人工知能学会のフェローに選出され、 2002年には自動推論への貢献によりエルブランド賞を受賞した。 [3]
参考文献
- ^ Perrault, Ray; Waldinger, Richard (2013年4月13日). 「Mark Stickel」. AItopics . aitopics.org . 2014年9月26日閲覧。
- ^ スティッケル、マーク。「マーク・E・スティッケル」。SRIインターナショナル。 2014年9月26日閲覧。
- ^ 「自動推論への顕著な貢献に対するエルブラン賞」 CADE Inc. 2016年12月11日閲覧。