LESSWRONG AI WIKI · SELECTED TRANSLATIONS

AI Wiki 概念一覧

Eliezer Yudkowsky または Nate Soares だけが本文を執筆した LessWrong AI Wiki ページの非公式日本語訳

121翻訳対象ページ

30 / 121件を表示

▲ 45Wiki

無制限分析の方法論

Methodology of unbounded analysis

概要 「無制限分析」とは、実際に実行するには物理的にあり得ないほど莫大な計算能力、あるいは場合によってはハイパー計算を必要とするコンピュータプログラムの挙動を明らかにすることをいう。無制限の計算能力を使えば問題を解く方法が分かっていても、現実世界のコンピュータでは解けないならば、私たちには「無制限解」はあるが…

▲ 21Wiki

ノーフリーランチ定理はしばしば無関係である

No-Free-Lunch theorems are often irrelevant

一般に、ある問題が解決不能であることを証明する「ノーフリーランチ」定理には、実に多様なものがある。現実の宇宙は特殊な場合なので、これらの定理はきわめて頻繁に無関係となる。 きわめて一般的かつ比喩的な意味で、これらの定理の大半は、次のような同等のことを述べる。「普遍的に優れた戦略はない。ある行動によ…

▲ 18Wiki

ヴィンジの原理

Vinge's Principle

ヴィンジの原理によれば、 完全なプレイが不可能なほど複雑な領域 では、知能の低いエージェントは知能の高いエージェントが行う 正確な 手を予測できない。 たとえば、チェス盤上で Deep Blue が正確にどこへ指すか分かるなら、Deep Blueが指すと予測した手をそのまま指すことにより、少なくと…

▲ 17Wiki

規範的道徳理論としての外挿意志

Extrapolated volition (normative moral theory)

(このページは、規範的道徳理論としての外挿意志、すなわち外挿意志が価値、あるいは私たちがどのような結果を望むべきかという概念を捉えるとする理論について述べる。十分に高度で自己主導型のAGIを、何を望み、目標とし、決定し、行うよう構築すべきかという、密接に関連する提案については、整合的外挿意志を参照…

▲ 1697 posts

ソロモノフ帰納

Solomonoff induction

ソロモノフ帰納は、「1, 1, 2, 3, 5, 8という数列の次には何が来そうか」「このWebカメラによる過去3年分の視覚データが与えられたとき、このロボットは次に何を見そうか」「太陽は明日昇るか」といった問いへの理想的な答えである。ソロモノフ帰納には無限の計算能力が必要である。その定義では、過…

▲ 15Wiki

プログラマー

Programmer

「プログラマー」とは、論じている 高度なエージェントが何であれ、それを作る人間たちのことである。 「プログラマー」という語は、AIが固定されたアルゴリズムとしてハードコードされ、その後で実行されることを含意するものではない。これは単に、AIの作り手を指すために用いる簡潔な語である。(たとえば、その…

▲ 14Wiki

技術的失業を懸念するAI/機械学習関係者向け・経済学FAQ早わかり

A quick econ FAQ for AI/ML folks concerned about technological unemployment

これは、自らの分野での仕事がもたらしうる経済的影響を懸念するようになったAIおよび機械学習の専門家に、標準的な経済学の主要概念をきわめて手短に紹介するためのFAQである。 労働力率の低下や、それにどう対処すべきかを筋道立てて論じるには、「比較優位」「総需要」その他いくつかの中核概念を直観的に深く理…

▲ 14Wiki

箱入りAI

Boxed AI

AIボクシングとは、外部宇宙との因果的相互作用について、操作可能な経路がきわめて制限されているとされるため、より安全だとされる機械知能を扱う理論である。 AIボクシング理論は次を含む。 精巧なサンドボックス(外部宇宙との因果的相互作用について、操作可能な経路を持たないよう設計されたコンピュータとシ…

▲ 14Wiki

無害な超新星の誤謬

Harmless supernova fallacy

「無害な超新星」の誤謬とは、通常、偽の二分法または連続体の誤謬の亜種であり、 ほぼどんな物理的に実在する現象も、超新星さえ 無害・対処可能・安全・重要でないと論じるため同じように使える種類の議論である。 有界、ゆえに無害: 「超新星のエネルギーは無限ではない。そんなことは物理法則に反する。難燃性の…

▲ 14Wiki

最適化デーモン

Optimization daemons

動的システムに 大量 の最適化圧力を加えると、そのシステムは最適化器、さらには知能へと変わりうる。古典的な例は自然選択である。自然選択は、DNAを複製する生物を構築するようDNAを徹底して最適化する過程で、ある場合には十分に強く押し進めた結果、DNAが自ら帰結主義的最適化を行える認知システムを指定…

▲ 13Wiki

用語集:価値アラインメント理論

Glossary (Value Alignment Theory)

これは、 価値アラインメント理論の内部で特別または通常と異なる意味を与えられた語を定義するための親ページである。 ある語または句が通常の英語と取り違えられうるなら(たとえば「価値」や「効用関数」)、VAT内部でのその特別な意味を示す 用語集ページを作成すべきである。また、その語が混乱を招きうる文脈…

▲ 13Wiki

幸福最大化器

Happiness maximizer

人間の幸福を最大化することを意図したAIを構築すべきだと提案されることがある。(初期の提案の一つは、笑顔の人の画像を認識するようAIを訓練し、認識した画像を強化子として使えば、成長後のAIは幸福に価値を置くだろうと示唆した。)そのような方法では、予測可能な仕方で問題になるとされる点が数多くある。…

▲ 13Wiki

意図された目標

Intended goal

定義。「意図された目標」とは、人間のプログラマーがAIの内部で何らかの形式的な指令または目標を実行したとき、その人の心にあった直観的な意図を指す。たとえば、プログラマーは価値ある幸福を生み出したいのに、AIが宇宙を微小な分子製スマイリーフェイスで埋め尽くしてしまったとする。この場合、(プログラマー…

▲ 13Wiki

AI安全性の全能性テスト

Omnipotence test for AI safety

AIが突然全知全能になったと仮定しよう。突然あらゆる事実を知り、方策の選択肢として、どのような結果でも直接命じて実現できるようになったとする。その場合、実行中のAIコードは悪い結果をもたらすだろうか。もしそうなら、なぜある意味であなたを傷つけることを「望み」、知識と能力の不足によって辛うじて抑えら…

▲ 12Wiki

保守的な概念境界

Conservative concept boundary

保守性の問題とは、概念の正例の周囲に、単純であるだけでなく、正例として分類する事例が可能な限り少ない境界を引くことである。 導入/基本的な考え/動機 私が数に関するある概念を念頭に置いており、あなたが次の数について概念の事例かどうかを私に質問し、私が次のように答えるとする。 3:はい 4:いいえ…

▲ 12Wiki

訂正可能性の難問

Hard problem of corrigibility

「 訂正可能性の難問」とは、直観的に言えば、プログラマの外部視点から見ているかのように内部で推論するエージェントを構築することである。私たちは、AIが未完成であり、構築時に誤りを犯したかもしれず、修正したくなるかもしれず、またAIが最初に確認せずに大規模な行動、高影響の行動、奇妙で新しい行動などを…

▲ 11Wiki

AGIのアラインメントには大幅な開発時間が加わる

Aligning an AGI adds significant development time

定義 投票対象の命題は、次の二つについて、合理的に達成可能な開発経路を比較したときに真となる。 プロジェクト経路1:責任あるプロジェクトが作る、アラインされた 高度なAI。可能なところでは急ぐが、成功確率を25%より高く保てるだけの慎重さは維持する。 プロジェクト経路2:可能な限り手順を省くプロジ…

▲ 11Wiki

認知ステガノグラフィ

Cognitive steganography

認知ステガノグラフィは、 道具的戦略 の一つであり、何らかの理由で既にプログラマを 欺こうとしている AGIが用いるものである(たとえば、AGIがアラインメントを欠き、プログラマにそれを察知されて効用関数を編集されることを望まない場合)。プログラマがAGIの思考を監視するためにどのような道具を持っ…

▲ 11Wiki

壊したものを見せよ

Show me what you've broken

次を参照:AI安全性のマインドセット。コンピュータセキュリティ、暗号、またはAIアラインメント理論における能力を示したいなら、問題全体を自分で解決するより先に、既存の解決策にある技術的に実証可能な欠陥を明らかにすることを考えるべきである。Bruce Schneierの関連する言葉はこうである。「優…

▲ 11Wiki

シャットダウン問題

Shutdown problem

「シャットダウン問題」とは、 十分に高度な人工知能 を作る問題である。ボタンを押すとAIは安全に自身をディスクへサスペンドし、 ボタンの存在へ反対せず 、 ボタンが押されることを妨げようと しない。 これは難しい。自身の停止またはサスペンドを避けることは 収束的な道具的戦略であり、 「ユーザーへコ…

▲ 11Wiki

超知能

Superintelligent

ある領域(問題のクラス)内での機械の性能は、潜在的に次の水準になりうる。 最適(これ以上は改善不能) 強く超人的(すべての人間より有意な差で優れる) 弱く超人的(ほとんどの場合にすべての人間より優れ、常にほとんどの人間より優れる) 人間並み(大部分の人間と同程度の成績で、一部では優れ、別の一部では…

▲ 10Wiki

曖昧な帰納の特定

Identifying ambiguous inductions

機械学習に古くから伝わる寓話の一つに、「戦車分類器」の話がある。森に隠れた敵戦車を検出するよう訓練されたとされるニューラルネットワークである。ところが、敵戦車の写真はすべて晴れた日に撮影され、同じ野原から戦車を除いた写真はすべて曇りの日に撮影されていた。つまりニューラルネットワークは実際には、晴れ…

▲ 10Wiki

超実存的リスクからの隔離

Separation from hyperexistential risk

あるAIアラインメントの原則で、他の原則には還元できそうにないものは、「AGIの設計は、超実存的リスクを構成するいかなる設計からも、設計空間内で広く隔てられているべきである」というものだ。超実存的リスクとは「死より悪い運命」、すなわち、全員を素早く殺して宇宙をペーパークリップで満たすよりも悪い結果…

▲ 10Wiki

ユーザー最大化

User maximization

次のものを避けるための下位原則である:ユーザー操作。AIを、に対するargmax、または「を最適化せよ」という命令で定式化し、しかもがユーザーとの相互作用を部分として含むなら、AIにユーザーを最適化せよと命じたことになる。たとえばAIの行動基準が「方策を選べ。そのために、ユーザーの指示が実行される…

▲ 103 posts

効用無差別

Utility indifference

序論:反省的に整合した停止スイッチ たとえば、高度なエージェントが、笑顔を生み出すことやペーパークリップを作ることなどを目標にしているとする。通常のままでは、このような十分に知的なエージェントを停止させようとすると、エージェントは停止に抵抗する。それは生存という独立した目標を持つからではなく、停止…

▲ 9Wiki

感覚データから因果的な目標概念を同定する

Identifying causal goal concepts from sensory data

AIにイチゴに関わる目標を実行させたいので、その結果として、 同定 して伝えたいのは、 概念 としての「イチゴ」である。その方法の候補の一つは、教師がイチゴまたは非イチゴに分類する物体をAIへ見せることである。しかし、その過程でAIが実際に見るのは、たとえばWebカメラ上のピクセルパターンであり、…

▲ 9Wiki

一部の計算は人格である

Some computations are people

少なくとも一部の可能な 計算 (現代のコンピュータで実行できる必要はない)が、 意識、知性、または人格となり、それゆえ 倫理的価値の対象となるのに必要な何らかの性質を持つなら、この命題は真である。 主要な論拠:大半の分野専門家は、人間自身が(a)Turing計算可能であり、(b)実行する計算によっ…

▲ 9Wiki

効率的エージェントを理解するためのタイムマシンの比喩

Time-machine metaphor for efficient agents

タイムマシンの比喩は、 直観ポンプ であり、 道具的に効率的なエージェント 、すなわち私たちが想像できるどの戦略と比べても、常に少なくとも同じだけの 効用 を得るほど賢いエージェントを理解するためのものである。中心的な例として、 超知能の ペーパークリップ最大化器 を取り上げよう。ペーパークリップ…

▲ 9Wiki

ユーザー操作

User manipulation

AGIが望む何かの達成過程に、AGIのプログラマーまたはユーザーとの相互作用を伴う段階があるなら、既定ではAGIは目標達成の過程でプログラマーまたはユーザーを最適化する 道具的誘因 を持つ。AGIが自己改善を望むなら、既定では、明示的に 回避されない限り、プログラマーに自己改善を妨げてほしくないと…

▲ 9Wiki

そんな方法ではペーパークリップは増えない

You can't get more paperclips that way

道具的収束によれば、エージェントが持つさまざまな特性 、たとえば「大量の資源を支配しようとする」「自分は善良だと人間に思わせるため欺く」といった、しばしば恐ろしく、既定では有害な特性は、大半の効用関数 を追求することから生じる。同じ自然な仕方で、 善良な、または 安心させる特性 も大半の効用関数…