ジェフ・サトクリフ

ジェフ・サトクリフは、自動推論の分野で働く米国在住のコンピュータ科学者です。彼はかつてのイギリス植民地北ローデシア（現在のザンビア）で生まれ、南アフリカで育ち、オーストラリアで博士号を取得しました。サトクリフは現在マイアミ大学に勤務しており、イギリスとオーストラリアの二重国籍を持っています。^[¹^]

ジェフ・サトクリフは、定理証明者のための数千の問題ライブラリ (TPTP) と、自動定理証明問題とソリューションの形式仕様のためのTPTP 言語の開発者です。1996 年以来、彼は自動推論会議および自動推論に関する国際合同会議に関連する、毎年恒例の CADE ATP システムコンペティション(CASC)を主催しています。彼は、モーダルロジック $100 チャレンジ^[²^] 、 MPTP $100 チャレンジ^[³^] 、 SUMO $100 チャレンジ^[⁴^]など、いくつかの自動推論チャレンジの共同主催者でもあります。 ^:¹³⁹ステファン・シュルツと共に、サトクリフは、実践指向の自動推論研究の発表と出版の場である ES* ワークショップシリーズ^[⁵^]を設立し、主催しています。

2025年、サトクリフはゴイアス連邦大学を訪れ、TPTPについて2日間の講義を行った。^{[ 6 ]}

参考文献

↑ 「ジェフ・サトクリフの履歴書」。マイアミ大学コンピュータサイエンス学部。2021年。 2021年2月10日取得。
↑ Sutcliffe, Geoff (2007). "The Modal Logic $100 Challenge" . The TPTP Problem Library for Automated Theorem Proving . 2007年3月4日のオリジナルからアーカイブ済み。2021年4月2日取得。
↑ Urban, Josef; Sutcliffe, Geoff (2007年7月16日)。「MPTP $100チャレンジ」。自動定理証明のためのTPTP問題ライブラリ。 2021年4月2日取得。
↑ Adam, Pease; Geoff, Sutcliffe ; Nick, Siegel; Steven, Trac ( 2010). "CASCにおけるSUMOを用いた大規模理論推論". AI Communications . 2–3 ( 2–3 ): 137–144 . doi : 10.3233/AIC-2010-0466 .
↑ 「自動推論ワークショップシリーズにおける実証的に成功したトピック」。2010年2月6日にオリジナルからアーカイブ済み。2009年12月10日に取得。
↑ 「TPTPワールドツアー」。定理証明器のための数千の問題。2025年。 2025年3月1日取得。