バンドルはFOMLに良いか?【JST・京大機械翻訳】

Liu Mo; Padmanabha Anantha; Ramanujam R; Wang Yanjing

プレプリント

J-GLOBAL ID：202202209105878851 整理番号：22P0284193

バンドルはFOMLに良いか?【JST・京大機械翻訳】

Are Bundles Good Deals for FOML?

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

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

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

ブランド製品は顧客への良い対処としてしばしば提供される。著者らは,一次モード論理(FOML)において,量子化器とモダリティを一緒に(ΔΔxBox,ダイヤモンド∀xなど),著者らは,その組合せが,述語の希少性,変数の数,または,モード範囲に制限なしで,FOMLの興味深いフラグメントを生成する新しい論理的演算子を得る。FOMLの切断可能な断片を見つけることは難しいので,FOMLの異なる発現性を利用する束断片は,表現性と複雑性のバランスをとる際に良い対処を構成する。いくつかの特定の断片に関して,いくつかの正の以前の結果がある。本論文では,(un)不可解性におけるFOMLのバンドルフラグメントの地形を完全にマッピングし,明確な答えのない場合において,それらが有限モデル特性を欠いていることを示した。さらに,論理が一定領域(交差状態/世界)または増加領域にわたって解釈されるかどうかは,複雑性の別の層を示す。また,束を一般化し,脱酸性(ドメインモデルの増加)を保持する,ゆるい束状フラグメントも提示した。【JST・京大機械翻訳】

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

数理言語学 , 半導体集積回路 , 図形・画像処理一般 , 人工知能 , データベースシステム

前のページに戻る