論文の概要: Hey Pentti, We Did It!: A Fully Vector-Symbolic Lisp
- arxiv url: http://arxiv.org/abs/2510.17889v1
- Date: Sat, 18 Oct 2025 14:42:36 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-10-25 03:08:12.317975
- Title: Hey Pentti, We Did It!: A Fully Vector-Symbolic Lisp
- Title（参考訳）: Hey Pentti, We Did It!
- Authors: Eilene Tomkins-Flanagan, Mary A. Kelly,
- Abstract要約: Kanerva (2014) はベクトル-記号的アーキテクチャから完全なLispを構築することができることを示唆した。
本稿では,Lisp 1.5仕様の5つの基本関数,式,その他の補助関数のベクトル記号表現について述べる。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by-sa/4.0/
- Abstract: Kanerva (2014) suggested that it would be possible to construct a complete Lisp out of a vector-symbolic architecture. We present the general form of a vector-symbolic representation of the five Lisp elementary functions, lambda expressions, and other auxiliary functions, found in the Lisp 1.5 specification McCarthy (1960), which is near minimal and sufficient for Turing-completeness. Our specific implementation uses holographic reduced representations Plate (1995), with a lookup table cleanup memory. Lisp, as all Turing-complete languages, is a Cartesian closed category, unusual in its proximity to the mathematical abstraction. We discuss the mathematics, the purpose, and the significance of demonstrating vector-symbolic architectures' Cartesian-closure, as well as the importance of explicitly including cleanup memories in the specification of the architecture.
- Abstract（参考訳）: Kanerva (2014) はベクトル-記号的アーキテクチャから完全なLispを構築することができることを示唆した。
5つのLisp基本関数、ラムダ式、その他の補助関数のベクトル-記号表現の一般的な形式を、Lisp 1.5仕様である McCarthy (1960) で示し、チューリング完全性に対して十分最小に近い。
具体的実装は、ルックアップテーブルクリーンアップメモリを備えたホログラフィック縮小表現プレート(1995)を使用する。
すべてのチューリング完全言語と同様に、Lisp はカルテシアン閉圏であり、数学的抽象に近くない。
本稿では, ベクトル記号型アーキテクチャのカルテシャン閉包の数学, 目的, 重要性について論じるとともに, アーキテクチャの仕様にクリーンアップメモリを明示的に含めることの重要性についても論じる。
関連論文リスト
- LILO: Learning Interpretable Libraries by Compressing and Documenting Code [71.55208585024198]
LILOは、反復的に合成、圧縮、文書化を行う、ニューロシンボリックなフレームワークである。
LILOは、LLM誘導プログラム合成と、Stitchから自動化された最近のアルゴリズムの進歩を組み合わせたものである。
LILOのシンセサイザーが学習した抽象化を解釈し、デプロイするのを手助けすることで、AutoDocがパフォーマンスを向上させることが分かりました。
論文 参考訳（メタデータ） (2023-10-30T17:55:02Z) - Category Theory for Quantum Natural Language Processing [0.0]
この論文は、計算言語学と量子力学の類似に基づく量子自然言語処理(QNLP)モデルを導入する。
テキストと文の文法構造は、絡み合い構造が量子系の状態を接続するのと同じように、単語の意味を接続する。
この抽象的なアナロジーを具体的なアルゴリズムに変換し、文法構造をパラメータ化量子回路のアーキテクチャに変換する。
次に、ハイブリッドな古典量子アルゴリズムを用いて、データ駆動タスクにおける文の意味を回路評価によって計算できるようにモデルを訓練する。
論文 参考訳（メタデータ） (2022-12-13T14:38:57Z) - High-performance symbolic-numerics via multiple dispatch [52.77024349608834]
Symbolics.jlは拡張可能なシンボルシステムで、動的多重ディスパッチを使用してドメインのニーズに応じて振る舞いを変更する。
実装に依存しないアクションでジェネリックapiを形式化することで、システムに最適化されたデータ構造を遡及的に追加できることを示します。
従来の用語書き換えシンプリファイアと電子グラフベースの用語書き換えシンプリファイアをスワップする機能を実証する。
論文 参考訳（メタデータ） (2021-05-09T14:22:43Z) - Sequential composition of answer set programs [0.0]
本稿では,解集合プログラムの逐次構成を導入,研究することにより,論理プログラミングの数学的基礎に寄与する。
より広い意味では、本論文は、解集合プログラムの代数への第一歩であり、将来的には、この論文の手法をプログラムのより広範なクラスに引き上げる計画である。
論文 参考訳（メタデータ） (2021-04-25T13:27:22Z) - Graphical Language with Delayed Trace: Picturing Quantum Computing with
Finite Memory [0.0]
本稿では,任意のグラフィカル言語を拡張し,捨てという概念を有限メモリ計算のグラフィカル言語に拡張する一般的な構成について述べる。
選択後の量子力学のために完備なZX計算のようなケースを扱うために、遅延トレース形式を因果的ケースを超えて拡張する。
我々は、ステートフルな射列に基づくストリームセマンティクスを設計し、いくつかの仮定の下で普遍性と完全性を示す。
論文 参考訳（メタデータ） (2021-02-05T12:23:11Z) - A Study of Continuous Vector Representationsfor Theorem Proving [2.0518509649405106]
我々は,論理特性の保存と可逆性を考慮したエンコードを開発した。
これは、すべての記号を含む公式のツリー形状が密度ベクトル表現から再構築できることを意味する。
これらの構文的および意味的特性のトレーニングに使用できるデータセットを提案する。
論文 参考訳（メタデータ） (2021-01-22T15:04:54Z) - Vector symbolic architectures for context-free grammars [0.5862282909017474]
ベクトル記号アーキテクチャ(VSA)は、記号データの超次元表現に有効なアプローチである。
本稿では,Fock空間における句構造木と文脈自由文法(CFG)の構文木を表現するための厳密な枠組みを提案する。
我々のアプローチは、超次元ディープニューラル計算を用いて、説明可能な人工知能(XAI)のためのVSAの開発を活用することができる。
論文 参考訳（メタデータ） (2020-03-11T09:07:02Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。