論理マシン – ウィキペディア

Posted on by
before-content-x4

いつ 論理マシン または、計算機に類似していた – 論理タスクを処理および解決するデバイス。

after-content-x4

理想的には、論理マシンはその有効性の議論を調べる必要があります。実際には、論理マシンは、与えられた施設からどの結論を引き出すことができるかを決定することにより、この目標をより頻繁に達成します。具体的には、シロロジズムの妥当性を直接的または間接的にチェックする機械が構築されましたが、後では、たとえば真理テーブルを設定したり、通常のフォームを形成したりするなど、ステートメントロジックの機械的アクティビティを自動化するマシンが構築されました。

のアイデア 論理マシン 多くの場合、13世紀の終わりに概念的な組み合わせの形成のためのさまざまな計算または計算デバイスをすでに提案しているマロルカの哲学者、論理学者、フランシスコ会の神学者ラモンLlull（約1232–1316）に起因しています。 [初め] 機械的には同様のレベルでですが、18世紀の終わりには論理的な基盤がより体系的です スタンホープデモンストレーター チャールズ（3番目のアール）スタンホープ。 [2] [3] ただし、最初の機械機械は「論理ピアノ」であり、1869年に建設されたキーボードのようなキーボードのために、つまりウィリアムスタンレージェボンズによってかなり後に建設されたためです。 [4]

ほとんどの初期の論理マシンは、変数が用語を表す概念論理に従って動作します。 zです。 B.「豚」という用語、「ピンク」という用語のbの場合、「すべてのaはb」などのこれらの用語から文章を形成することができます。 H. 「豚」という用語に該当するものはすべて、「ピンク」という用語にも該当します – 要するに、「すべての豚はピンクです。」ジェボンズは小さな文字を使用して、用語の「否定」を表現します。

Jevonsマシンを使用すると、任意の数の用語論理文を施設として入力できます。マシンは、入力された施設と矛盾するすべての概念的な組み合わせを排除します。あなたはzを与えます。 B. a “すべてaはb」、マシンは「ab」（「豚」と「非ピンク」）の組み合わせを除外します。結局のところ、入力されたすべての施設と一致する概念のみが残ります。マシンはこれらの組み合わせを示しています – この情報から興味深い結論を引き出すのはユーザー次第です。 [5]

Jevonのマシンとその基礎となる論理システムは論理的性質の用語ですが、マシンは、大文字が文の文字（ステートメント）として解釈され、小さな文字が否定として解釈される場合、ステートメントロジカルな質問（ステートメント論理）にすでに適用できます。 [6]

1874年から1881年の間にすでに機械的論理マシンを開発していたアラン・マーカンド – おそらく、より正確なデートは不可能です – 1885年にJevonのマシンの電気バージョンを構築するために提案されました。彼が自分の電気機械を実現できるかどうかは不明ですが、疑わしいですが、電気回路を通じて論理的な操作を実現するという考えが最初に持っていたのです。マルクンドの地所の下で、アロンゾ教会はこの機械の回路図を見つけました。 [7] しかし、ワインハートは、ジェボンズが彼の教師から提案を受け取ったことを指摘しています。 [8] ケトナーはそれを信じています [9] この回路図は、パース自体によって設計されている可能性があります。彼は、とりわけ、Peircenの手書きの回路図のラベルとの光学的類似性について、この推定を支持しています。ケトナーの記事は1984年にすでに公開されており、原稿の比較は一般的な法医学的実践ですが、この類似性は依然として科学的に検討されていないようであり、ケトナーの推定をまだ証明または反論していません。

ベンジャミンブラクは、1936年に最初の安全な電気論理機を建設しました。 [十] この問題によれば、Burackのマシンは概念的な性質でもありますが、アリストテレスの意味での古典的な三段論法のみをカバーしています。つまり、ちょうど2つの施設と閉鎖を伴う議論です。

after-content-x4

初期の論理マシンが、20世紀、特に1940年代後半、電気/電子回路の普及により、古代から支配的である概念論理によって依然として支配されていた場合、ステートメントロジックへの一定のシフトです。ただし、デザイナーが見た声明のロジカルカバーを備えた最初の論理マシンは、1910年にチャールズP. R.マコーレイによってマシンを提出した機械装置でした。機能的には、彼女はまた、この想像を絶する可能性で入力された各文に対して除外され、最終的に残りのバリアントを示すような方法で働いています。 [11]

声明 – ロジカルマシンの絶え間ない開発は1947年に始まります。セオドアA.カリンとウィリアムバークハートは、ウィラードヴァンオーマンクインとの講義に出席した後、電気機械を設計しました。 [12番目] KalinとBurkhartのデバイスは、すでに次の論理マシンのほとんどの特徴です。最大12の異なるステートメント変数を持つ特定のステートメントについて、真実値から変数までのすべての可能な割り当ての下での評価の真理値を計算します。完全なテーブルのセットアップに加えて、デバイスは複雑な声明が満たされたり反論されたりする職業を決定することもできました。ただし、職業の検索は純粋に元のハウス（「ブルートフォース」）です。つまり、真実を設定するとき、それはすべての可能な割り当てを通過し、割り当てまたは否定的な割り当てに影響するとすぐに停止します。 12の変数（マシンの制限）のステートメントの完全な真理テーブルを計算するのに38分かかります。 [13]

1951年に1951年に「フェランティイギリスメーカー（sic！）」「フェランティフェランティ、フェランティフェランティ、フェランティイギリスメーカー（sic！）」は、その後作成された機械からのみ際立っています。 H.これらのすべてのステートメントが真実であるステートメントで見つかった文の文字への真実の値の割り当てを検索する。知られるようになった他のすべての論理マシンとは対照的に、フィードバック論理コンピューターは、検証が見つかるまで整然と順序で可能なすべての真理価値許可を通過することで「ブルートフォース」には機能しません。むしろ、彼はすべての可能な真実の価値の量を経験しようとします。この手順については、McCallumとSmithの元のテキストで詳細に説明されています。 [14]

ほとんどのステートメント論理マシンでは、エントリはピアノとルッセルの表記法、インフィックス通知、またはマシンに適合したバリエーションで入力されます。たとえば、カリンとバークハートでのロータリースイッチ、ヨハンワイポルトシャマーの「ロジスティックリレーレーレマシン」。ただし、ポーランド表記などの他のスペルがマシンの問題解決（ハードウェアであろうとソフトウェアであろうと）に適していることが比較的早く認識されていました。ポーランド表記を使用する最も有名なマシンは、1956年にバロウズのウィリアム・ミーレによって建てられたバロウズ・トゥルース関数の評価者と、1950年から1951年にミュンヘンのフリードリッヒ・ルートヴィヒ・バウアーが1956年に完成させたスタニスラウスです。 BauerのStanislausは、検討すべき声明を快適なキーボードに入力できるため、操作の面で優れていますが、公開装置を使用する必要があります。ただし、Burroughsデバイスは最大10の変数を許可しますが、Stanislausは5つに制限され、長さが最大11文字の比較的短い式しか許可されていません。このため、Stanislausは、入力されたステートメントが構文的によく描かれているかどうかをチェックし、それを拒否します。機能的には、両方のマシンが同じカテゴリに分類されます。すべての真理値の割り当てを定義された順序で計算し、必要に応じて特定の結果に達したときに停止できます。

1950年代は、クライマックスと論理マシンの歴史の終わりを告げています。原則として、この目的は、論理マシンでしっかりと配線されたすべてのタスクをソフトウェアで解決できるため、プログラム可能なコンピューターの可用性とともに正当化されます。 [15] この説明は客観的に正しいですが、同じ引数が算術マシンにアクセスできることを自分自身に示す場合は完全にすることはできません。その時点では程度はありませんでしたが、それどころか、全盛期しかあり、まだ最新のポケット計算機の形で表されています。むしろ、論理マシンによって長い間解決できるため、この種の論理的な質問に対する解決策の必要性は非常に小さいこと、またはそのようなタスクを解決する必要がある場合（たとえば、サーキット設計などのステートメントの単純化）、現代的なテクノロジーのパフォーマンスは十分に程遠いものです。

二次文献 [ 編集 | ソーステキストを編集します ]

  • エドマンドC.バークレー： 考えている巨大な脳や機械 、ニューヨーク：ジョン・ワイリーと息子1949（7.Aufl。1963）
  • B. V.ボーデン： 思考よりも速い 、ロンドン：Isaac Pitman ir 1953
  • マーティン・ガードナー： ロジックマシンと図 、ニューヨーク：McGraw-Hill 1958
  • Karl Weinhart（Hg。）： コンピューターサイエンスと自動。展覧会を通してリーダー 、ミュンヘン：ドイツ博物館1990 ISBN 3-924183-14-7
  • ウィリアム・ニール、マーサ・ニール： ロジックの開発 、オックスフォード：オックスフォード大学出版局1962（1984）ISBN 0-19-824773-7
  • ケネス・レーン・ケトナー、A。F。スチュワート： コンピューター設計の初期の歴史：C。S.パースとマーカンドの論理マシン、 プリンストン大学図書館クロニクル1984 XLV 3、187-224ページ
  • クリスチャンゴットショール： 理論的、実用的、歴史的観点からの電子算術システムでの論理表記とその処理 （卒業証書）、ウィーン：2005

ソース [ 編集 | ソーステキストを編集します ]

  • B.ブレック、 電気論理マシン 、Science、Vol。109、1949年6月17日、610ページ
  • R.ハーレー、 スタンホープのデモンストレーター 、マインド、vol。 4、1879年4月
  • ウィリアム・スタンリー・ジェボンズ： 論理推論の機械的パフォーマンスについて 、王立協会の哲学的取引、Vol。 160、1870、Seite 497–5
  • チャールズP. R.マコーレー：U.S.-Patent 1.079.504 VOM 25. 1913年11月
  • ウルフ・メイズ、D。G。プリンツ： シンボリックロジックの実証のためのリレーマシン 、Nature、Vol。165、1950年2月4日、197ページ
  • ウルフ・メイズ： 電気論理マシンの最初の回路 、Science、New Series、Vol。 118、いいえ3062、4。1953年9月、Seite 281 ff。
  • D. M.マッカラム、J.B。スミス： フィードバック論理コンピューター（sic！） 、Electronic Engineering、Vol。23、1951年12月、458–461ページ
  • D. M.マッカラム、J.B。スミス： 機械化された推論。論理コンピューターとそのデザイン 、電子工学、1951年4月、126〜133ページ
  • ウィリアム・ミーレ： Burroughs Truth Function Evaluator 、Journal of the ACM（JACM）、Vol。 4、第2号、1957年4月、189〜192ページ
  • JohannWeipoltshammer： 物流リレー計算機LRR1 、ウィーン：1954（卒業証書）
  • F. L.バウアー： フォーミュラ制御の論理コンピューター「スタニスラウス」 、Math。Table。AidsComp。 14（1960）、64〜67ページ。
  1. ↑ マーティン・ガードナー： ロジックマシンと図 、ニューヨーク：McGraw-Hill 1958、Page 9ff。
  2. ↑ R.ハーレー、 スタンホープのデモンストレーター 、マインド、vol。 4、1879年4月
  3. ↑ マーティン・ガードナー： ロジックマシンと図 、ニューヨーク：McGraw-Hill 1958、Page 80ff。
  4. ↑ ウィリアム・ニール、マーサ・ニール： ロジックの開発 、オックスフォード：オックスフォード大学出版局1962、421ページ
  5. ↑ ウィリアム・スタンリー・ジェボンズ： 論理推論の機械的パフォーマンスについて 、王立協会の哲学的取引、Vol。 160、1870、Seite 497–5
  6. ↑ マーティン・ガードナー： ロジックマシンと図 、ニューヨーク：McGraw-Hill 1958、Page 95ff。
  7. ↑ ウルフ・メイズ： 電気論理マシンの最初の回路 、Science、New Series、Vol。118、No。 3062、1953年9月4日、281ffページ。
  8. ↑ Karl Weinhart（Hg。）： コンピューターサイエンスと自動。展覧会を通してリーダー 、ミュンヘン：ドイツ博物館1990、113ページ
  9. ↑ ケネス・レーン・ケトナー、A。F。スチュワート： コンピューター設計の初期の歴史：C。S.パースとマーカンドの論理マシン、 プリンストン大学図書館クロニクル1984 XLV 3、187-224ページ
  10. ↑ マーティン・ガードナー： ロジックマシンと図 、ニューヨーク：McGraw-Hill 1958; B.ブレック、 電気論理マシン 、Science、Vol。109、1949年6月17日、610ページ
  11. ↑ マーティン・ガードナー： ロジックマシンと図 、ニューヨーク：McGraw-Hill 1958、113ページ
  12. ↑ マーティン・ガードナー： ロジックマシンと図 、ニューヨーク：McGraw-Hill 1958、128ページ
  13. ↑ エドマンドC.バークレー： 考えている巨大な脳や機械 、ニューヨーク：John Wiley and Sons 1949（7thed。1963）、144fff。
  14. ↑ D. M.マッカラム、J.B。スミス： フィードバック論理コンピューター（sic！） 、Electronic Engineering、Vol。23、1951年12月、458–461ページ
  15. ↑ Karl Weinhart（Hg。）： コンピューターサイエンスと自動。展覧会を通してリーダー 、ミュンヘン：ドイツ博物館1990、114ページ
after-content-x4