Loading article…
ジョン・フロリアン・ソワ（1940年生まれ）は、アメリカのコンピュータ科学者であり、人工知能とコンピュータ設計の専門家であり、概念グラフの発明者である。[ 1 ] [ 2 ]
ソワは1962年にマサチューセッツ工科大学で数学の学士号、1966年にハーバード大学で応用数学の修士号、 1999年にブリュッセル自由大学で「知識表現：論理的、哲学的、計算的基礎」というタイトルの論文でコンピュータサイエンスの博士号を取得した。[ 3 ]
ソワは、1962年にIBMの応用数学グループに入社して以来、そのキャリアのほとんどをIBMで過ごしました。数十年にわたり、コンパイラ、プログラミング言語、システムアーキテクチャ[ 4 ]から人工知能や知識表現に至るまで、コンピュータサイエンスの新興分野の研究開発を行ってきました。1990年代には、ニューヨークのIBM教育センターに所属していました。長年にわたり、IBMシステム研究所、ビンガムトン大学、スタンフォード大学、アメリカ言語学会、ケベック大学モントリオール校で講義を担当しました。人工知能振興協会のフェローでもあります。
IBMを早期退職した後、ソワは2001年にアルン・K・マジュムダーと共にVivoMind Intelligence, Inc.を共同設立した。この会社で彼はデータマイニングとデータベース技術、特に人工知能と自動自然言語理解のための高レベルの「オントロジー」の開発に携わった。現在、ソワは同じくマジュムダーが設立したKyndi Inc.で働いている。
ジョン・ソワは言語学者のコーラ・アンジャー・ソワと結婚しており[ 5 ] 、ニューヨーク州クロトン・オン・ハドソンに住んでいる。
ソワの研究対象は、1970年代以降、人工知能、エキスパートシステム、自然言語に関連付けられたデータベースクエリの分野であった。 [ 4 ]彼の研究では、アリストテレス、中世スコラ哲学からアルフレッド・ノース・ホワイトヘッドに至るまでの思想を応用し、データベーススキーマ理論を取り入れ、イスラム学者イブン・タイミーヤの類推モデルを作品に組み込むなど、現代と古代の数多くの分野や時代のアイデアを組み合わせている。 [ 6 ]
ソワは、意味ネットワークの構造とチャールズ・S・パースの存在グラフに基づいて、論理と自然言語の図式表記法である概念グラフを発明した。彼は、1976年にIBM Journal of Research and Developmentに掲載された論文「データベースインターフェースのための概念グラフ」でこの概念を紹介した。[ 7 ]彼は、1983年の著書『概念構造：心と機械における情報処理』でこの概念をさらに詳しく解説した。
1980年代には、この理論は「世界中の多くの研究開発グループに採用された」[ 4 ] 。概念構造に関する国際会議（ICCS）は、1986年に始まった一連の概念グラフワークショップに続き、1993年から開催されている[ 8 ]。
1991年、ソワは初めて「基準の法則」を提唱した。
ガルの法則と同様に、標準の法則は本質的に仕様不足を支持する議論である。例としては以下のようなものがある。