| ACT-R | |
|---|---|
| 原作者 | ジョン・ロバート・アンダーソン |
| 安定版リリース | |
| 書かれた | コモンリスプ |
| タイプ | 認知アーキテクチャ |
| ライセンス | GNU LGPL v2.1 |
| Webサイト | act-r |
ACT-R(発音/ˌækt ˈɑr/、「Adaptive Control of Thought—Rational(思考の適応的制御—合理的)」の略)は、カーネギーメロン大学のジョン・ロバート・アンダーソンとクリスチャン・ルビエールによって主に開発された認知アーキテクチャです。他の認知アーキテクチャと同様に、ACT-Rは人間の心を可能にする基本的かつ還元不可能な認知・知覚操作を定義することを目的としています。理論上、人間が実行できるすべてのタスクは、これらの個別の操作の連続で構成されているはずです。
ACT-R の基本的な仮定の大半は認知神経科学の進歩からもヒントを得ており、ACT-R は、個々の処理モジュールが認知を生み出すことができるように脳自体がどのように構成されているかを指定する方法として捉えられ、説明されます。
ACT-Rはアレン・ニューウェルの研究、特に彼が生涯をかけて、認知の根底を真に解明する唯一の方法として統一理論の考えを擁護したことに触発されています。[ 2 ] 実際、アンダーソンはニューウェルを自身の理論に大きな影響を与えた人物として認めています。
他の影響力のある認知アーキテクチャ(Soar、CLARION、EPICなど)と同様に、ACT-R理論は、特殊なコーディング言語のインタープリタとして計算実装されています。インタープリタ自体はCommon Lispで記述されており、Common Lisp言語ディストリビューションのいずれかにロードできます。
つまり、どの研究者でも ACT-R の Web サイトから ACT-R コードをダウンロードし、それを Common Lisp ディストリビューションにロードして、ACT-R インタープリタの形式で理論に完全にアクセスできることになります。
また、これにより研究者はACT-R言語のスクリプト形式で人間の認知モデルを記述することが可能になります。言語プリミティブとデータ型は、人間の認知に関する理論的仮定を反映するように設計されています。これらの仮定は、認知心理学と脳イメージングの実験から得られた数多くの事実に基づいています。
ACT-Rはプログラミング言語のようにフレームワークです。様々なタスク(例えば、ハノイの塔、テキストまたは単語リストの記憶、言語理解、コミュニケーション、航空機の操縦)に対して、研究者はACT-Rで「モデル」(つまりプログラム)を作成します。これらのモデルは、ACT-Rの認知観におけるタスクに関するモデル作成者の仮定を反映しています。そして、モデルは実行される可能性があります。
モデルを実行すると、人間の行動を段階的に自動的にシミュレーションし、個々の認知操作(記憶の符号化と想起、視覚と聴覚の符号化、運動のプログラミングと実行、心的イメージの操作)を詳細に記述します。各ステップは、潜時と精度の定量的な予測と関連付けられています。モデルは、その結果を行動実験で収集されたデータと比較することで検証できます。
近年、ACT-RはfMRI実験で検出された脳の活性化パターンを定量的に予測できるように拡張されました。特に、ACT-Rは、運動野の手と口の領域、左前頭前皮質、前帯状皮質、基底核など、いくつかの脳領域におけるBOLD反応の形状と時間経過を予測できるように拡張されました。
ACT-R の最も重要な仮定は、人間の知識は、宣言的と手続き的という2 つの還元不可能な種類の表現に分けられるというものです。
ACT-R コード内では、宣言的知識はチャンク、つまり個々のプロパティのベクトル表現の形式で表現され、各チャンクはラベル付きスロットからアクセスできます。
チャンクは、モジュール(つまり、特殊化され、大部分が独立した脳構造) のフロントエンドであるバッファを通じて保持され、アクセス可能になります。
モジュールには 2 つの種類があります。
すべてのモジュールは、バッファを介してのみアクセスできます。ある瞬間のバッファの内容は、その瞬間のACT-Rの状態を表します。このルールの唯一の例外は、手続き型モジュールです。手続き型モジュールは、手続き型知識を保存および適用します。このモジュールはアクセス可能なバッファを持たず、実際には他のモジュールの内容にアクセスするために使用されます。
手続き的知識は、プロダクションの形で表現されます。「プロダクション」という用語は、ACT-Rをプロダクションシステムとして実装していることを反映していますが、実際には、プロダクションは主に皮質領域(つまりバッファー)から基底核、そして再び皮質へと戻る情報の流れを規定するための形式的な表記法です。
各瞬間において、内部パターンマッチング機構はバッファの現在の状態に一致するプロダクションを検索します。特定の瞬間に実行できるプロダクションは1つだけです。そのプロダクションが実行されると、バッファが変更され、システムの状態が変化する可能性があります。このように、ACT-Rでは、認知はプロダクションの発火の連続として展開されます。
認知科学において、様々な理論は通常、「記号的」アプローチと「コネクショニスト的」アプローチのいずれかに帰属する。ACT-Rは明らかに「記号的」分野に属し、標準的な教科書やコレクションでもそのように分類されている。[ 3 ]その実体(チャンクとプロダクション)は離散的であり、その操作は統語的である。つまり、表現の意味内容を参照するのではなく、計算への参加が適切であると判断される特性のみを参照する。これは、チャンクスロットとプロダクションにおけるバッファマッチングの特性に明確に表れており、どちらも標準的な記号変数として機能する。
ACT-Rコミュニティのメンバー(開発者を含む)は、ACT-Rを、脳がどのように組織化され、その組織化がどのように心として認識される(そして認知心理学では研究される)ものを生み出すのかを規定する一般的な枠組みとして捉えることを好み、従来の象徴主義/コネクショニストの議論を超えています。当然のことながら、こうしたことはACT-Rを象徴システムとして分類することに反するものではありません。なぜなら、認知に対するあらゆる象徴的アプローチは、脳機能の産物として心を記述することを目指しており、その目的を達成するために特定の種類の実体とシステムを用いているからです。
よくある誤解として、ACT-Rは脳機能の特徴づけを試みるため、記号的システムではないという主張があります。これは2つの点で誤りです。第一に、記号的であろうとなかろうと、認知の計算モデル化へのあらゆるアプローチは、心は脳機能であるため、何らかの形で脳機能を特徴づけなければなりません。第二に、コネクショニストアプローチを含むあらゆるアプローチは、神経レベルではなく、認知レベルの記述において心を特徴づけようとします。なぜなら、重要な一般化は認知レベルにおいてのみ維持されるからです。[ 4 ]
ACT-Rの特定の特性、例えばチャンクが互いに活性化を拡散したり、チャンクやプロダクションが選択に関連する量的特性を持つといった特性が、さらなる誤解を招きます。これらの特性は、ユニット選択、そして最終的には計算における役割に関わらず、これらの実体が記号的であるという根本的な性質に反するものではありません。
理論そのものとその実装を区別することの重要性は、通常、ACT-R 開発者によって強調されます。
実際、実装の多くは理論を反映していません。例えば、実際の実装では、純粋に計算上の理由からのみ存在する追加の「モジュール」が利用されており、脳内のいかなる機能も反映していないはずです(例えば、ある計算モジュールにはノイズパラメータを生成するための疑似乱数生成器が含まれており、別のモジュールには変数名でアクセス可能なデータ構造を生成するための命名ルーチンが含まれています)。
また、実際の実装は、標準パラメータを変更したり、新しいモジュールを作成したり、既存のモジュールの動作を部分的に変更したりすることによって、研究者が理論を変更できるように設計されています。
最後に、 CMUのアンダーソン研究室はACT-Rの公式コードを保守・公開していますが、この理論の代替実装も公開されています。これらの代替実装には、jACT-R [ 5 ] (海軍研究所のアンソニー・M・ハリソンがJavaで記述)とPython ACT-R(カナダのカールトン大学のテレンス・C・スチュワートとロバート・L・ウェストがPythonで記述)があります。[ 6 ]
同様に、ACT-RN(現在は廃止)は、1993年版の理論を本格的にニューラルネットワークに実装したものでした。[ 7 ] これらのバージョンはすべて完全に機能し、モデルはすべて作成され、実行されています。
このような実装の自由度のため、ACT-R コミュニティでは通常、元の形式のまま採用され、変更されていない「公式」のLispベースの理論バージョンを「Vanilla ACT-R」と呼びます。
長年にわたり、ACT-Rモデルは700以上のさまざまな科学出版物で使用され、さらに多くの論文で引用されています。[ 8 ]
ACT-R宣言的記憶システムは、その誕生以来、人間の記憶をモデル化するために用いられてきました。長年にわたり、このシステムは多くの既知の効果をモデル化することに成功してきました。例えば、関連情報に対する干渉のファン効果[ 9 ] 、リスト記憶に対するプライマシー効果と近親効果[ 10 ]、そしてシリアルリコール[ 11 ]などが挙げられます。
ACT-Rは、様々な認知パラダイムにおける注意と制御のプロセスをモデル化するために用いられてきました。これには、ストループ課題[ 12 ] [ 13 ] 、課題スイッチング[ 14 ] [ 15 ] 、心理的不応期[ 16 ]、マルチタスク[ 17 ]などが含まれます。
多くの研究者がACT-Rを用いて、自然言語の理解と生成の様々な側面をモデル化してきました。それらには、統語解析[ 18 ]、言語理解[ 19 ] 、言語習得[ 20 ]、メタファー理解[ 21 ]などのモデルが含まれます。
ACT-Rは、ハノイの塔のような複雑な問題を人間がどのように解決するか[ 22 ]や、代数方程式をどのように解くかを捉えるために使用されてきました。[ 23 ]また、運転や飛行における人間の行動をモデル化するためにも使用されています。[ 24 ]
知覚運動能力の統合により、ACT-Rはヒューマンファクターおよびヒューマンコンピュータインタラクションのモデリングツールとしてますます普及しています。この分野では、様々な条件下での運転行動のモデル化に採用されており、[ 25 ] [ 26 ]、コンピュータアプリケーションにおけるメニュー選択と視覚検索、[ 27 ] [ 28 ] 、ウェブナビゲーション[ 29 ]などが挙げられます。
最近では、ACT-Rはイメージング実験中の脳の活性化パターンを予測するために使用されています。[ 30 ] この分野では、ACT-Rモデルは、記憶の想起における前頭前野と頭頂葉の活動、[ 31 ]制御操作における前帯状皮質の活動、[ 32 ]練習に関連した脳活動の変化を予測するために効果的に使用されています。[ 33 ]
ACT-Rは、認知指導の基盤としてよく採用されています。[ 34 ] [ 35 ]これらのシステムは、ACT-Rの内部モデルを使用して生徒の行動を模倣し、生徒の指導とカリキュラムを個別化し、生徒が抱えている困難を「推測」して、集中的な支援を提供しようとします。
このような「認知チューター」は、ピッツバーグ学習科学センターの一環として、学習と認知モデリングの研究のためのプラットフォームとして活用されています。数学向け認知チューターなど、最も成功したアプリケーションのいくつかは、全米の数千もの学校で使用されています。
ACT-R は、ジョン・R・アンダーソンによって開発された、精度が増す人間の認知に関する一連のモデルの究極の後継モデルです。
その起源は、1973年にジョン・R・アンダーソンとゴードン・バウアーによって記述されたオリジナルのHAM(人間連想記憶)記憶モデルに遡ります。[ 36 ] HAMモデルは後にACT理論の最初のバージョンに拡張されました。[ 37 ] これは、手続き記憶がオリジナルの宣言的記憶システムに追加された初めてのケースであり、後に人間の脳に当てはまることが証明される計算上の二分法を導入しました。[ 38 ]その後、この理論は人間の認知のACT*モデルにさらに拡張されました。[ 39 ]
1980年代後半、アンダーソンは認知に対する数学的アプローチの探求と概要の提示に専念し、これを「合理的分析」と名付けました。[ 40 ] 合理的分析の基本仮定は、認知は最適適応的であり、認知機能の正確な推定は環境の統計的特性を反映するというものです。[ 41 ] その後、彼はACT理論の開発に戻り、合理的分析を基礎計算の統一的な枠組みとして用いました。この新しいアプローチがアーキテクチャ形成において重要であることを強調するため、その名称はACT-Rに変更されました。「R」は「合理的」の頭文字です。[ 42 ]
1993年、アンダーソンはコネクショニストモデルの研究者で、スコット・ファーマンと共同でカスケード相関学習アルゴリズムを開発したことで知られるクリスチャン・ルビエールと出会った。彼らの共同研究はACT-R 4.0のリリースへと結実した。[ 43 ]マイク・バーン(現ライス大学)のおかげで、バージョン4.0にはEPICアーキテクチャに着想を得た知覚機能と運動機能のオプションが追加され、理論の応用範囲が大幅に拡大した。
ACT-R 4.0 のリリース後、ジョン・アンダーソンは、彼の生涯にわたる理論の根底にある神経的妥当性にますます興味を持つようになり、人間の心の計算基盤を理解するという独自の目標を追求して脳画像化技術を使用し始めました。
脳の局在を考慮する必要性から、理論の大幅な改訂が求められました。ACT-R 5.0では、モジュールという概念が導入されました。これは、既知の脳システムにマッピング可能な、手続き的および宣言的表現の特殊な集合です。[ 44 ] さらに、手続き的知識と宣言的知識の相互作用は、一時的にアクティブな情報を保持するための特殊な構造である、新たに導入されたバッファによって媒介されました(上記のセクションを参照)。バッファは皮質活動を反映すると考えられており、その後の一連の研究で、皮質領域の活性化がバッファ上の計算操作とうまく関連付けられることが確認されました。
2005年には、完全に書き直された新しいバージョンのコードがACT-R 6.0として発表されました。このバージョンでは、ACT-Rコーディング言語にも大幅な改良が加えられました。これには、ACT-Rプロダクション仕様における動的パターンマッチングと呼ばれる新しいメカニズムが含まれていました。以前のバージョンでは、プロダクションによってマッチングされるパターンにバッファ内の情報のための特定のスロットを含める必要がありましたが、動的パターンマッチングでは、マッチングされるスロットをバッファの内容によっても指定できるようになりました。ACT-R 6.0の説明と開発の動機については、Anderson (2007)に記載されています。[ 45 ]
2015年のワークショップでは、ソフトウェアの変更によりモデル番号をACT-R 7.0に増やす必要があると議論されました。主要なソフトウェア変更は、チャンクを定義済みのチャンクタイプに基づいて指定する必要があるという要件が削除されたことです。チャンクタイプのメカニズムは削除されませんでしたが、アーキテクチャの必須構成要素からソフトウェアのオプションの構文メカニズムに変更されました。これにより、新しい情報の学習を必要とするモデリングタスクにおける知識表現の柔軟性が向上し、動的パターンマッチングによって提供される機能が拡張され、モデルが新しい「タイプ」のチャンクを作成できるようになりました。また、すべてのアクションが同じ構文形式になったため、プロダクション内のアクションを指定するために必要な構文も簡素化されました。ACT-Rソフトウェアはその後更新され、JSON RPC 1.0に基づくリモートインターフェースが追加されました。このインターフェースは、モデルのタスクの構築を容易にし、Lisp 以外の言語から ACT-R を操作するために追加されました。また、ソフトウェアに付属するチュートリアルは、チュートリアル モデルによって実行されるすべてのサンプル タスクの Python 実装を提供するように更新されました。
1995年、カーネギーメロン大学は毎年恒例のACT-Rワークショップとサマースクールの開催を開始しました。[ 46 ] ACT-Rワークショップは現在、毎年開催されるMathPsych/ICCMカンファレンスで開催されており、サマースクールはカーネギーメロン大学のキャンパス内で開催され、バーチャル参加のオプションも用意されています。
ACT-R 理論の長期にわたる発展により、いくつかの並行した関連プロジェクトが生まれました。
最も重要なのは、アンダーソンの理論を最初に実装したが後に放棄されたPUPS生成システムと、クリスチャン・ルビエールによって開発された理論のニューラルネットワーク実装である ACT-RN [ 7 ]である。
同じくカーネギーメロン大学のLynne M. Reder 氏は、 1990 年代初頭にSACを開発しました。これは、いくつかの仮定が異なるものの、ACT-R コア宣言的システムと多くの特徴を共有する、記憶の概念的および知覚的側面のモデルです。
ペンシルベニア州立大学での博士論文のために、クリストファー・L・ダンシーはACT-R/Phiを開発し、2014年に無事に審査を受けました。[ 47 ]これはACT-Rに生理学的モジュールを追加したもので、ACT-Rが人間の生理学的プロセスとインターフェースすることを可能にします。
ACT-Rのワーキングメモリコンポーネントの軽量なPythonベースの実装であるpyACTUp [ 48 ]は、カーネギーメロン大学のドン・モリソンによって作成されました。このライブラリは、ACT-Rを分類タスクのための単峰型教師あり学習モデルとして実装しています。