科学コミュニティの比喩

コンピュータサイエンスにおいて、科学コミュニティのメタファーは、科学コミュニティの理解を助けるために使用されるメタファーです。1981年と1982年に発表された科学コミュニティのメタファーに関する最初の出版物^{[1]には、プログラム実行中に新しいルールを動的に作成することで、目標とアサーションを同時に処理するための手続き型プランを呼び出すEtherという}プログラミング言語の開発が含まれていました。Etherは、複数の知識源と複数の視点による衝突と矛盾の問題にも対処しました。

科学者コミュニティのメタファーは、科学の哲学、歴史、社会学に基づいています。もともとは、カール・ポパーとイムレ・ラカトシュの科学哲学の研究に基づいて発展しました。特に、最初はラカトシュの証明と反証に関する研究を活用しました。その後、ジェフ・ボウカー、ミシェル・カロン、ポール・フェイエアベント、エリヒュー・M・ガーソン、ブルーノ・ラトゥール、ジョン・ロー、カール・ポパー、スーザン・リー・スター、アンゼルム・シュトラウス、ルーシー・サックマンの研究の影響を受け、発展してきました。

特に、ラトゥールの『Science in Action』は大きな影響を与えました。この本では、ヤヌス像が科学の発展について逆説的な主張をしています。科学界のメタファーにとって重要な課題は、これらの逆説的な主張を調和させることです。

科学研究は、科学的な方法、実践、理論を提案、修正、支持、反対するために、単調性、同時性、可換性、多元性に大きく依存しています。カール・ヒューイット[1]の言葉を引用すると、科学^{コミュニティ}のメタファーシステムは、単調性、同時性、可換性、多元性、懐疑主義、起源という特徴を持っています。

単調性: 一度何かが発表されると、元に戻すことはできません。科学者は結果を公開して、すべての人が利用できるようにします。公開された研究は図書館に収集され、索引付けされます。気が変わった科学者は、以前の記事と矛盾する記事を後から発表することができます。

同時実行性: 科学者は時間的に重なり合いながら同時に作業し、互いにやり取りすることができます。

可換性: 出版物は、それが新しい研究のきっかけになるか、進行中の研究に関連するかに関係なく読むことができます。科学的な疑問に興味を持つ科学者は、通常、その答えがすでに発表されているかどうかを調べる努力をします。さらに、彼らは研究を続ける中で、さらなる進展に遅れないように努めます。

多元主義: 出版物には、異質で重複し、矛盾する可能性のある情報が含まれています。科学コミュニティには、真実を裁定する中央機関は存在しません。

懐疑主義: 現在の情報をテストして検証し、より良い情報に置き換えるために多大な努力が費やされます。

出所: 情報の出所は慎重に追跡され、記録されます。

上記の特性は、実際の科学コミュニティでは制限されています。出版物は紛失したり、検索が困難になったりすることがあります。同時実行性は、人員や資金などのリソースによって制限されます。結果を再導出する方が、調べるよりも簡単な場合もあります。科学者が文献を読んで理解しようとするために使える時間とエネルギーには限りがあります。科学的な流行は、時には分野のほぼ全員を巻き込みます。情報が受け取られる順序は、それが処理される方法に影響を与える可能性があります。スポンサーは科学活動を制御しようとする可能性があります。Ether では、この段落で説明されている種類の活動のセマンティクスは、アクター モデルによって制御されます。

科学研究には、理論の創出と、その理論を修正、支持、反対するプロセスが含まれます。 カール・ポパーは、このプロセスを「推測と反駁」と呼びました。これは、核心的な洞察を表現しているものの、ミシェル・カロン、ポール・フェイエアベント、エリヒュー・M・ガーソン、マーク・ジョンソン、トーマス・クーン、ジョージ・レイコフ、イムレ・ラカトシュ、ブルーノ・ラトゥール、ジョン・ロー、スーザン・リー・スター、アンゼルム・シュトラウス、ルーシー・サックマン、ルートヴィヒ・ヴィトゲンシュタインなどの研究によって、あまりに制限された特徴付けであることが示されました。イーサへの参加には、提案、支持、反対の 3 つの基本的な種類があります。科学コミュニティは、協力だけでなく競争もサポートするように構成されています。

これらの活動は、科学コミュニティにおけるアプローチ、理論、方法などへの遵守に影響を及ぼします。現在の遵守は、将来もずっと遵守されることを意味するものではありません。その後の展開により、現在の理解は修正され、拡張されます。遵守は、グローバルな現象ではなく、ローカルな現象です。科学コミュニティ全体を代弁する人は誰もいません。

コミュニティ内では、対立する考えが何世紀にもわたって共存することがあります。まれに、コミュニティが突破口を開き 、それまで混乱していた問題を明確に解決することがあります。

イーサーは、出版物内の相対主義的な情報に視点を使用しました。しかし、多くの情報は視点間で共有されています。そのため、イーサーは継承を利用して、ある視点の情報を他の視点で簡単に使用できるようにしました。ニュートン力学の物理法則が特殊相対性理論の物理法則から派生する場合など、この継承は正確ではない場合があります。そのような場合、イーサーは継承ではなく 翻訳を使用しました。ブルーノ・ラトゥールは、アクターネットワーク理論の文脈で科学コミュニティにおける翻訳を分析しました。 イムレ・ラカトシュは、数学（多面体のオイラーの公式など）および科学理論の非常に洗練された種類の翻訳を研究しました。

ビューポイントは、Ether で自然演繹 (Fitch [1952]) を実装するために使用されました。ビューポイントVで(P はQ を意味する) という形式の目標を証明するには、 Vから継承する新しいビューポイントV'を作成し、V'でP をアサートし、次にV'でQ を証明すれば十分です。このようなアイデアは、もともと Rulifson、Derksen、および Waldinger [1973] によってプログラミング言語の証明に導入されましたが、Ether は順次的ではなく並行的であるため、他のビューポイントに移動するために順次プッシュおよびポップできる単一のビューポイントにあることに依存しません。

最終的にこれらの視点の間での問題を解決するのは交渉の問題です（ジェフ・ボウカー、ミシェル・カロン、ポール・フェイエアベント、エリヒュー・M・ガーソン、ブルーノ・ラトゥール、ジョン・ロー、カール・ポッパー、スーザン・リー・スター、アンゼルム・シュトラウス、ルーシー・サックマンなどが社会学と科学哲学で研究したように）。

アラン・チューリングは、有名なチューリングテストの概念を通じて、個々の知能をより正確に特徴づけようとした最初の人物の 1 人です。このパラダイムは、人工知能の分野で発展し、深められました。 アレン・ニューウェルとハーバート・A・サイモンは、パズルにおける個々の人間の問題解決行動のプロトコルを分析する先駆的な研究を行いました。最近では、マービン・ミンスキーが「心の社会」で、個々の人間の心はエージェントの社会で構成されているというアイデアを展開しました(プッシュ・シンの分析を参照)。

個々の人間の問題解決に関する上記の研究は、科学コミュニティのメタファーを 補完するものです。

インターネットのハードウェアとソフトウェア技術のいくつかの発展は、科学コミュニティのメタファーに照らして適用されている。Hewitt ²⁰⁰⁶

法的な懸念 (例: HIPAA、サーベンス・オクスリー法、SEC 規則 17a-3/4 の「帳簿および記録規則」、米国 DOD 5015.2 の「電子記録管理ソフトウェア アプリケーションの設計基準標準」)により、組織は情報を永久に単調に保存するようになっています。現在では、多くの場合、磁気ディスクに情報を保存する方がテープに保存するよりもコストが低くなっています。ストレージ容量の増加に伴い、サイトはインターネットから読み取った内容を単調に記録できるだけでなく、サイト自身の操作も単調に記録できます。

検索エンジンは現在、これらすべての情報への基本的なアクセスを提供しています。将来のシステムは、幅広い概念に基づくインタラクティブな質問回答を提供し、これらすべての情報をはるかに有用なものにします。

大規模な同時実行（Webサービスやマルチコアコンピュータアーキテクチャなど ）は将来的に科学コミュニティのメタファーに大きな課題と機会をもたらすでしょう。特に、科学コミュニティのメタファーはクライアントクラウドコンピューティングで使用されています。^[2]

• 矛盾のない論理
• プランナー
• 科学研究
• 科学革命の構造

• Julian Davies. 「Popler 1.5 リファレンス マニュアル」、エディンバラ大学、TPU レポート No. 1、1973 年 5 月。
• フレデリック・フィッチ『記号論理学入門』ロナルド・プレス、ニューヨーク、1952年。
• Ramanathan Guha.コンテキスト: 形式化といくつかのアプリケーション、博士論文、スタンフォード大学、1991 年。
• Pat Hayes。「計算と演繹」、コンピュータサイエンスの数学的基礎：シンポジウムおよびサマースクールの議事録、Štrbské Pleso、High Tatras、チェコスロバキア、1973 年 9 月 3 ～ 8 日。
• カール・ヒューイット。「PLANNER: ロボットの定理を証明するための言語」IJCAI 1969
• Carl Hewitt。「Planner における知識の手続き的埋め込み」IJCAI 1971。
• Carl Hewitt、Peter Bishop、Richard Steiger。「人工知能のためのユニバーサル モジュラー アクター形式」IJCAI 1973。
• Carl Hewitt。「大規模な組織コンピューティングには、階層化されていないリフレクションと強いパラコンシステンシーが必要」、Jaime Sichman、Pablo Noriega、Julian Padget、Sascha Ossowski 編著「エージェント システムにおける調整、組織、制度、規範 III」、Springer、2008 年。
• Carl Hewitt。論理プログラミングの開発: 何が悪かったのか、それに対して何が行われたのか、そしてそれが将来にどのような意味を持つのか^{[ permanent dead link ‍ ]}何が悪かったのか、そしてその理由: AI 研究とアプリケーションからの教訓; 2008 AAAI ワークショップの論文。技術レポート WS-08-14。AAAI プレス。2008 年 7 月。
• ウィリアム・コーンフェルドとカール・ヒューイット。「科学コミュニティのメタファー」IEEE Transactions on Systems, Man, and Cyber​​netics、SMC-11。1981
• Bill Kornfeld、「並列処理を使用したヒューリスティック検索の実装」IJCAI 1981。
• ビル・コーンフェルド。 問題解決における並列性、 MIT EECS 博士論文。1981 年 8 月。
• Bill Kornfeld、「組み合わせ的爆発アルゴリズム」CACM。1982 年。
• ロバート・コワルスキー「プログラミング言語としての述語論理」メモ 70、エディンバラ大学人工知能学部、1973 年
• イムレ・ラカトシュ。「証明と反駁」ケンブリッジ：ケンブリッジ大学出版局。1976年。
• ブルーノ・ラトゥール。『科学の実践：科学者とエンジニアを社会の中でどのようにフォローするか』ハーバード大学出版局、マサチューセッツ州ケンブリッジ、米国、1987年。
• ジョン・マッカーシー。「人工知能における一般性」CACM。1987 年 12 月。
• Jeff Rulifson、Jan Derksen、Richard Waldinger。「QA4、直感的推論のための手続き型計算」SRI AI センター技術ノート 73、1973 年 11 月。
• Earl Sacerdoti 他、「QLISP 複雑なシステムの対話型開発のための言語」AFIPS。1976
• プッシュ・シン「心の社会を検証する」コンピューティングとインフォマティクス誌に掲載予定