ルール構成のためのグラフ重なりの効率的計算:理論とZ3プロトタイピング【JST・京大機械翻訳】

Behr Nicolas; Heckel Reiko; Saadat Maryam Ghaffari

プレプリント

J-GLOBAL ID：202202219114183241 整理番号：22P0126586

ルール構成のためのグラフ重なりの効率的計算:理論とZ3プロトタイピング【JST・京大機械翻訳】

Efficient Computation of Graph Overlaps for Rule Composition: Theory and Z3 Prototyping

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

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

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

※このプレプリント論文は学術誌に掲載済みです。なお、学術誌掲載の際には一部内容が変更されている可能性があります。

グラフ変換理論は規則の構成に依存し,規則のシーケンスの影響を表現した。実際に,グラフはしばしば制約を受け,構成ルールのための多くの候補を除外する。セスキ-プッシュアウト(SqPO)意味論の事例に焦点を合わせて,著者らは,Z3定理証明器のPython APIを通して,それぞれ理論的に,そして,実装によって,計算構成のための多くの代替戦略を開発した。この戦略は,禁止グラフパターン,負制約のより陰的論理的符号化を持つ変異体,およびパターンが禁止関係パターンとして分解されるモジュール戦略に基づく,直接的生成およびテスト戦略から成る。有機化学における高分子形成のy具モデルに対して,実行時間とメモリ消費の観点から3つの戦略の性能を比較した。【JST・京大機械翻訳】

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

計算理論 , 人工知能 , 符号理論

, , , , ,

前のページに戻る