Loading article…
ロバート・アンソニー・コワルスキー（1941年5月15日生まれ）は、アメリカとイギリスの論理学者であり、コンピュータ科学者である。彼の研究は、人間中心の計算モデルと人間の思考の計算モデルの両方の開発に関係している。[ 1 ]彼はキャリアのほとんどをイギリスで過ごしている。
彼はシカゴ大学、ブリッジポート大学（数学学士、1963年）、スタンフォード大学（数学修士、1966年）、ワルシャワ大学、エディンバラ大学（コンピュータ科学博士、1970年）で教育を受けた。[ 1 ]
彼はエディンバラ大学の研究員（1970～75年）であり、1975年からはインペリアル・カレッジ・ロンドンの計算機科学科に所属し、1982年に計算論理学の教授職に就任、1999年に名誉教授となった。[ 1 ]
彼は自動定理証明の分野で研究を始め、ドナルド・キューナーと共にSL分解[ 2 ]と接続グラフ証明手続き[ 3 ]の両方を開発しました。彼はSLD分解とホーン節の手続き的解釈[ 4 ]を開発し、これらは論理プログラミングにおける後方推論の操作的意味論の基礎となっています。マールテン・ファン・エムデン[ 5 ]と共に、彼はまた、論理プログラミングの論理的意味論の基礎となるホーン節の最小モデルと不動点意味論を開発しました。
彼はマレク・セルゴットと共に、イベント計算[ 6 ]と論理プログラミングの法的推論への応用[ 7 ] [ 8 ]の両方を開発した。コワルスキーとセルゴットは、法的エキスパートシステムの最初のユースケースの1つを監督した[ 9 ]。ファリバ・サドリと共に、信念が論理プログラムで表現され、目標が整合性制約で表現されるエージェントモデル[ 10 ] [ 11 ]を開発した。
コワルスキーは、論理プログラムに整合性制約と未定義の推論可能な述語を追加するアブダクティブ論理プログラミングの開発者の一人でした。 [ 12 ] [ 13 ]この研究は、ファン・ミン・ズンとフランチェスカ・トニとともに、デフォルト推論のほとんどの論理は仮定に基づく議論の特殊なケースとみなせることを実証しました。[ 14 ] [ 15 ]
コワルスキーは、1979年の著書『問題解決のための論理』[ 16 ]の中で、論理的推論は人間とコンピュータの両方が使用できる、シンプルで強力な問題解決モデルを提供すると主張している。2011年の著書『計算論理と人間の思考 ― 人工知能になる方法』 [ 17 ]では、計算論理の使用は一般の人々の自然言語コミュニケーション能力の向上に役立ち、意思決定理論と組み合わせることで、実践的な問題解決能力の向上にも使用できると主張している。
ファリバ・サドリとの共同研究で、彼は論理とコンピュータ言語である論理生産システム（LPS）を開発しました[ 18 ] [ 19 ]。これは、彼の以前の計算論理に関する研究の多くを統合したものです。
最近では、彼は Prolog やその他の論理プログラミング言語の構文糖衣として論理英語 (LE) を開発している。LE の記述には特別な訓練が必要だが、LE の理解には英語の読解力さえあればよい。コワルスキーは、LE の制限された構文は、よく書かれた法律規則や規制の構文に似ていると主張しており、[ 8 ]彼は法律契約の再作成のための LE のいくつかの応用開発に貢献してきた。 [ 20 ] [ 21 ]また、彼は教育において論理的思考と文章作成を導入するためにLEを使用することを提唱している。 [ 22 ]
コワルスキーは、1978年に娘の中学校で12歳の子供たちに授業を行ったことから始まり、あらゆる教育レベルで論理プログラミングを使って論理を教えることに長年携わってきた。[ 23 ] [ 24 ]これらの初期の授業では、子供にも分かりやすいPrologの構文が使われており、それが後のLogical Englishの開発につながった。彼はProlog教育グループの共同議長として、論理プログラミングを通して論理的思考を教えるという使命に貢献し続けている。[ 25 ]
コワルスキーは、1991年に米国人工知能学会のフェロー、1999年に欧州人工知能調整委員会のフェロー、2001年に計算機学会のフェローに選出された。 [ 1 ] 2011年には、自動定理証明と論理プログラミングに関する先駆的な研究を含む、知識表現と問題解決のための論理への貢献に対して、IJCAI研究優秀賞を受賞した。 [ 26 ] 2012年には、 2012～2014年度の日本学術振興会特別功労賞を受賞した。 [ 27 ] 2021年、彼はファリバ・サドリとマレク・セルゴットとの共同研究で、第1回CodeX賞を受賞しました。「英国国籍法の形式化と分析への論理プログラミングの適用に関する彼らの研究が認められたものです。著者らの先駆的な論文「論理プログラムとしての英国国籍法」は、1986年にCommunications of the ACM誌に掲載され、計算法における最初期かつ最もよく知られた研究の1つであり、この分野で最も広く引用されている論文の1つです。」[ 28 ]