確率的および非井戸型システムのバイシミュレーションのためのメタ確率的プログラミング言語【JST・京大機械翻訳】

Warrell Jonathan; Potapov Alexey; Vandervorst Adam; Goertzel Ben

プレプリント

J-GLOBAL ID：202202221398211996 整理番号：22P0322191

確率的および非井戸型システムのバイシミュレーションのためのメタ確率的プログラミング言語【JST・京大機械翻訳】

A meta-probabilistic-programming language for bisimulation of probabilistic and non-well-founded type systems

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (4件)： , , ,
資料名：
発行年： 2022年03月29日プレプリントサーバーでの情報更新日： 2022年08月16日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

確率的プログラミングのための形式的メタ言語を導入し,プログラムとタイプシステムの両方を表現することができる。ここでは,AGIが関連する知識(プログラム/保護)だけでなく,推論の適切な方法(論理/タイプシステム)を学習することを可能にすることを望む。立方型理論と依存型メタグラフのフレームワークを描き,著者らのアプローチを定式化した。そうすることで,メタ言語内の特定の構成は,それらが対応するタイプシステムへのバイシミュレーション(経路等価性)によって関連することを示した。これにより,この手法は,様々なタイプシステムに対する合成的記述意味論を導く便利な手段を提供できる。特に,純粋型システム(PTS)と確率的依存型システム(PDTS)のための双シミュレーションを導いた。PTSと非井戸基礎集合理論との関係をさらに議論し,Guarded Cublical Type type Ceckerにおける双シミュレーション証明の実装による著者らのアプローチの実現可能性を実証した。【JST・京大機械翻訳】

, , , , , , , , , , , ,
, , , , 【Automatic Indexing@JST】

汎用プログラミング言語 , 計算理論

, , ,

前のページに戻る