論文の概要: Architecture and Knowledge Representation for Composable Inductive
Programming
- arxiv url: http://arxiv.org/abs/2212.12320v1
- Date: Thu, 22 Dec 2022 17:02:19 GMT
- ステータス: 処理完了
- システム内更新日: 2022-12-26 17:11:10.369037
- Title: Architecture and Knowledge Representation for Composable Inductive
Programming
- Title(参考訳): 構成可能なインダクティブプログラミングのためのアーキテクチャと知識表現
- Authors: Edward McDaid, Sarah McDaid
- Abstract要約: 本稿では,Zoeaナレッジベースで構成可能なインダクティブプログラミングシステムの現在のアーキテクチャについて紹介する。
Zoeaコンパイラは、ブラックボードアーキテクチャの現代的なバリエーションを使って構築されている。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We present an update on the current architecture of the Zoea knowledge-based,
Composable Inductive Programming system. The Zoea compiler is built using a
modern variant of the black-board architecture. Zoea integrates a large number
of knowledge sources that encode different aspects of programming language and
software development expertise. We describe the use of synthetic test cases as
a ubiquitous form of knowledge and hypothesis representation that sup-ports a
variety of reasoning strategies. Some future plans are also outlined.
- Abstract(参考訳): 本稿では,zoeaの知識ベースで構成可能なインダクティブ・プログラミング・システムの現在のアーキテクチャのアップデートについて述べる。
Zoeaコンパイラは、ブラックボードアーキテクチャの現代的なバリエーションを使って構築されている。
Zoeaは多くの知識ソースを統合し、プログラミング言語とソフトウェア開発の専門知識の異なる側面をコード化します。
本稿では,様々な推論戦略を超越する知識と仮説表現のユビキタスな形式として,合成テストケースの使用について述べる。
今後の計画も概説されている。
関連論文リスト
- A Symbolic Computing Perspective on Software Systems [0.0]
シンボリック数学計算システムは、60年以上にわたって、ソフトウェアシステムの石炭鉱山の運河として機能してきた。
主要な記号的数理計算システムには、算術、メモリ管理、その他のプリミティブのための低レベルコード、bespokeプログラミング言語のコンパイラまたはインタプリタ、高レベルの数理アルゴリズムのライブラリ、ユーザーインターフェースなどが含まれる。
論文 参考訳(メタデータ) (2024-06-13T13:10:47Z) - Finding structure in logographic writing with library learning [55.63800121311418]
書記システムにおける構造を発見するための計算フレームワークを開発する。
我々の枠組みは中国語の表記体系における既知の言語構造を発見する。
図書館学習のアプローチが、人間の認知における構造の形成の基盤となる基本的な計算原理を明らかにするのにどのように役立つかを実証する。
論文 参考訳(メタデータ) (2024-05-11T04:23:53Z) - Standardizing Knowledge Engineering Practices with a Reference Architecture [8.22187358555391]
本稿では,知識工学の分野でのベストプラクティスを調和させるビジョンを提案する。
本稿では,ユーザニーズと繰り返し発生するシステムパターンを関連付けるために,参照アーキテクチャを反復的に設計,実装する方法について述べる。
論文 参考訳(メタデータ) (2024-04-04T17:46:32Z) - Deep Learning for Code Intelligence: Survey, Benchmark and Toolkit [63.82016263181941]
コードインテリジェンスは、機械学習技術を活用して、広範なコードコーパスから知識を抽出する。
現在、コードインテリジェンスに重点を置く研究コミュニティは活発です。
論文 参考訳(メタデータ) (2023-12-30T17:48:37Z) - UNTER: A Unified Knowledge Interface for Enhancing Pre-trained Language
Models [100.4659557650775]
構造化知識と非構造化知識の両方を活用する統一的な視点を提供するために、統一知識インターフェイスUNTERを提案する。
どちらの形態の知識も注入され、UNTERは一連の知識駆動NLPタスクの継続的な改善を得る。
論文 参考訳(メタデータ) (2023-05-02T17:33:28Z) - WikiCoder: Learning to Write Knowledge-Powered Code [0.0]
本稿では,知識を活用したプログラム合成に向けて第一歩を踏み出す。
WikiCoderは、機械学習型プログラムシンセサイザーの状態に基づいて構築され、知識グラフを統合するシステムである。
論文 参考訳(メタデータ) (2023-03-15T12:50:54Z) - A Compositional Approach to Creating Architecture Frameworks with an
Application to Distributed AI Systems [16.690434072032176]
構成的思考が複雑なシステムのためのアーキテクチャフレームワークの作成と管理のルールをいかに提供できるかを示す。
論文の目的は、AIシステム特有の視点やアーキテクチャモデルを提供することではなく、既存の、または新しく作成された視点で一貫したフレームワークを構築する方法についてのガイドラインを提供することである。
論文 参考訳(メタデータ) (2022-12-27T18:05:02Z) - MRKL Systems: A modular, neuro-symbolic architecture that combines large
language models, external knowledge sources and discrete reasoning [50.40151403246205]
巨大な言語モデル(LM)は、自然言語ベースの知識タスクのゲートウェイとして機能する、AIの新しい時代を支えている。
離散的な知識と推論モジュールによって補完される、複数のニューラルモデルによる柔軟なアーキテクチャを定義する。
本稿では,MRKL(Modular Reasoning, Knowledge and Language)システムと呼ばれる,このニューロシンボリックアーキテクチャについて述べる。
論文 参考訳(メタデータ) (2022-05-01T11:01:28Z) - Leveraging Language to Learn Program Abstractions and Search Heuristics [66.28391181268645]
LAPS(Language for Abstraction and Program Search)は、自然言語アノテーションを用いて、ライブラリとニューラルネットワークによる合成のための検索モデルの共同学習をガイドする手法である。
最先端のライブラリ学習システム(DreamCoder)に統合されると、LAPSは高品質なライブラリを生成し、検索効率と一般化を改善する。
論文 参考訳(メタデータ) (2021-06-18T15:08:47Z) - DreamCoder: Growing generalizable, interpretable knowledge with
wake-sleep Bayesian program learning [47.910312960048174]
本稿では,プログラム記述による問題解決学習システムであるDreamCoderを紹介する。
ニューラルネットワークとともに、ドメイン概念を表現するためのプログラミング言語を作成することで、専門知識を構築する。
ウェイクスリープの学習アルゴリズムは、新しいシンボル抽象化で言語を交互に拡張し、想像と再生の問題でニューラルネットワークをトレーニングする。
論文 参考訳(メタデータ) (2020-06-15T13:06:29Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。