論文の概要: A meta-probabilistic-programming language for bisimulation of
probabilistic and non-well-founded type systems
- arxiv url: http://arxiv.org/abs/2203.15970v1
- Date: Wed, 30 Mar 2022 01:07:37 GMT
- ステータス: 処理完了
- システム内更新日: 2022-03-31 16:25:29.410765
- Title: A meta-probabilistic-programming language for bisimulation of
probabilistic and non-well-founded type systems
- Title（参考訳）: 確率型および非確率型システムのバイシミュレートのためのメタ確率型プログラミング言語
- Authors: Jonathan Warrell, Alexey Potapov, Adam Vandervorst, Ben Goertzel
- Abstract要約: 本稿では,プログラムとプログラムが組み込まれている型システムの両方を表現可能な,確率的プログラミングのための形式メタ言語を提案する。
我々は、我々のアプローチを形式化するために、立方体型理論と依存型メタグラフの枠組みを描いている。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We introduce a formal meta-language for probabilistic programming, capable of
expressing both programs and the type systems in which they are embedded. We
are motivated here by the desire to allow an AGI to learn not only relevant
knowledge (programs/proofs), but also appropriate ways of reasoning
(logics/type systems). We draw on the frameworks of cubical type theory and
dependent typed metagraphs to formalize our approach. In doing so, we show that
specific constructions within the meta-language can be related via bisimulation
(implying path equivalence) to the type systems they correspond. In doing so,
our approach provides a convenient means of deriving synthetic denotational
semantics for various type systems. Particularly, we derive bisimulations for
pure type systems (PTS), and probabilistic dependent type systems (PDTS). We
discuss further the relationship of PTS to non-well-founded set theory.
- Abstract（参考訳）: 本稿では,プログラムと組込み型システムの両方を表現可能な,確率的プログラミングのための形式メタ言語を提案する。
ここでのモチベーションは、agiが関連する知識(プログラム/証明)だけでなく、適切な推論方法(論理/型システム)を学習できるようにすることです。
我々は、立方体型理論の枠組みと依存型メタグラフを用いて、我々のアプローチを形式化する。
そこで本稿では,メタ言語内の特定の構造が,対応する型システムとバイシミュレーション(経路等価性)によって関連付けられることを示す。
そこで本手法は,様々な型システムに対して,合成意味論を導出する便利な手段を提供する。
特に,純粋型システム (PTS) と確率依存型システム (PDTS) のビシミュレーションを導出する。
我々は、PSSと、未確立集合論との関係をさらに議論する。
関連論文リスト
- Word-wise intonation model for cross-language TTS systems [0.0]
提案手法は,自動データマークアップとテキスト音声合成システムへの応用に適している。
キーとなるアイデアは、単語中の強勢音節の異なる配置と結びついた変動性の部分的除去である。
提案モデルは,テキストから音声への韻律記述のツールとして,あるいはバックボーンとして使用することができる。
論文 参考訳（メタデータ） (2024-09-30T15:09:42Z) - Inferentialist Resource Semantics [48.65926948745294]
本稿では,リソースセマンティクスにおいて,推論が汎用的で表現力豊かなフレームワークを実現する方法を示す。
推論主義は、バンドルインプリケーションの論理のアサーションベースのアプローチをいかにシームレスに組み込むか。
この統合により、直感的で親しみやすい方法で、共有リソースと分離リソースの推論が可能になる。
論文 参考訳（メタデータ） (2024-02-14T14:54:36Z) - dPASP: A Comprehensive Differentiable Probabilistic Answer Set
Programming Environment For Neurosymbolic Learning and Reasoning [0.0]
本稿では,ニューロシンボリック推論のための新しい宣言型論理プログラミングフレームワークdPASPを提案する。
非決定論的・矛盾的・不完全・統計的知識を表現できる確率論的論理プログラムのセマンティクスについて論じる。
次に、いくつかのサンプルプログラムとともに、言語での推論と学習をサポートする実装されたパッケージについて説明する。
論文 参考訳（メタデータ） (2023-08-05T19:36:58Z) - From Word Models to World Models: Translating from Natural Language to
the Probabilistic Language of Thought [124.40905824051079]
言語インフォームド・シンキングのための計算フレームワークである「構成」を合理的に提案する。
我々は、自然言語から確率論的思考言語への文脈感応的なマッピングとして、言語の意味を定式化する。
LLMは、現実的に適切な言語的意味をキャプチャする文脈依存翻訳を生成することができることを示す。
認知的なモチベーションを持つシンボリックモジュールを統合するために、我々のフレームワークを拡張します。
論文 参考訳（メタデータ） (2023-06-22T05:14:00Z) - Evaluating MT Systems: A Theoretical Framework [0.0]
本稿では,機械翻訳システムの評価のために,異なる自動メトリクスを設計できる理論的枠組みを概説する。
認識の容易さの概念は、共感の適切さと流感の欠如に依存している。
また、音声から音声への翻訳や談話の翻訳など、新しいタイプのMTシステムを評価するためにも使用できる。
論文 参考訳（メタデータ） (2022-02-11T18:05:17Z) - Learning Symbolic Rules for Reasoning in Quasi-Natural Language [74.96601852906328]
我々は,ルールを手作業で構築することなく,自然言語入力で推論できるルールベースシステムを構築した。
本稿では,形式論理文と自然言語文の両方を表現可能な"Quasi-Natural"言語であるMetaQNLを提案する。
提案手法は,複数の推論ベンチマークにおける最先端の精度を実現する。
論文 参考訳（メタデータ） (2021-11-23T17:49:00Z) - Provable Limitations of Acquiring Meaning from Ungrounded Form: What
will Future Language Models Understand? [87.20342701232869]
未知のシステムが意味を習得する能力について検討する。
アサーションによってシステムが等価性のような意味関係を保存する表現をエミュレートできるかどうか検討する。
言語内のすべての表現が参照的に透明であれば,アサーションによってセマンティックエミュレーションが可能になる。
しかし、言語が変数バインディングのような非透過的なパターンを使用する場合、エミュレーションは計算不能な問題になる可能性がある。
論文 参考訳（メタデータ） (2021-04-22T01:00:17Z) - Refinement Type Directed Search for Meta-Interpretive-Learning of
Higher-Order Logic Programs [2.28438857884398]
我々は、型チェックがプログラムの仮説空間の大部分を掃引することができることを示した。
我々は合成節とプログラム全体の多形型を推測することができる。
論文 参考訳（メタデータ） (2021-02-18T13:40:16Z) - Infusing Finetuning with Semantic Dependencies [62.37697048781823]
シンタックスとは異なり、セマンティクスは今日の事前訓練モデルによって表面化されないことを示す。
次に、畳み込みグラフエンコーダを使用して、タスク固有の微調整にセマンティック解析を明示的に組み込む。
論文 参考訳（メタデータ） (2020-12-10T01:27:24Z) - Plausible Reasoning about EL-Ontologies using Concept Interpolation [27.314325986689752]
本稿では,モデル理論の明確な意味論に基づく帰納的機構を提案する。
我々は、カテゴリーベース誘導の認知モデルと密接に関連している強力なコモンセンス推論機構である推論に焦点を当てた。
論文 参考訳（メタデータ） (2020-06-25T14:19:41Z) - The Paradigm Discovery Problem [121.79963594279893]
我々は、パラダイム発見問題を定式化し、システム判定のためのメトリクスを開発する。
5つの多言語に対する経験的結果について報告する。
私たちのコードとデータは公開されています。
論文 参考訳（メタデータ） (2020-05-04T16:38:54Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。