論文の概要: The Stable Model Semantics for Higher-Order Logic Programming
- arxiv url: http://arxiv.org/abs/2408.10563v1
- Date: Tue, 20 Aug 2024 06:03:52 GMT
- ステータス: 処理完了
- システム内更新日: 2024-08-21 15:03:52.591608
- Title: The Stable Model Semantics for Higher-Order Logic Programming
- Title（参考訳）: 高階論理プログラミングのための安定モデル意味論
- Authors: Bart Bogaerts, Angelos Charalambidis, Giannos Chatziagapis, Babis Kostopoulos, Samuele Pollaci, Panos Rondogiannis,
- Abstract要約: 本稿では,高階論理プログラムのための安定モデルセマンティクスを提案する。
我々のセマンティクスは、強力な形式主義である近似固定点理論(AFT)を用いて開発されている。
安定モデルセマンティクスの下での高階論理プログラミングは強力で汎用的な形式であることを示す。
- 参考スコア（独自算出の注目度）: 4.106754434769354
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We propose a stable model semantics for higher-order logic programs. Our semantics is developed using Approximation Fixpoint Theory (AFT), a powerful formalism that has successfully been used to give meaning to diverse non-monotonic formalisms. The proposed semantics generalizes the classical two-valued stable model semantics of (Gelfond and Lifschitz 1988) as-well-as the three-valued one of (Przymusinski 1990), retaining their desirable properties. Due to the use of AFT, we also get for free alternative semantics for higher-order logic programs, namely supported model, Kripke-Kleene, and well-founded. Additionally, we define a broad class of stratified higher-order logic programs and demonstrate that they have a unique two-valued higher-order stable model which coincides with the well-founded semantics of such programs. We provide a number of examples in different application domains, which demonstrate that higher-order logic programming under the stable model semantics is a powerful and versatile formalism, which can potentially form the basis of novel ASP systems.
- Abstract（参考訳）: 本稿では,高階論理プログラムのための安定モデルセマンティクスを提案する。
我々のセマンティクスは近似固定点理論 (AFT) を用いて開発されており、これは様々な非単調な形式主義に意味を与えるのに成功している。
提案された意味論は、古典的二値安定モデル意味論(Gelfond and Lifschitz 1988)を(Przymusinski 1990)の3値のセマンティクスとして一般化し、それらの望ましい性質を維持している。
AFT の使用により、高階論理プログラム、すなわちサポート対象モデル、Kripke-Kleene に対する無料の代替セマンティクスも提供される。
さらに、階層化された高階論理プログラムの幅広いクラスを定義し、それらのプログラムのしっかりとしたセマンティクスと一致する2値の高階安定モデルを持つことを実証する。
安定モデルセマンティクスの下での高階論理プログラミングは強力で汎用的な形式であり、新しいASPシステムの基礎を形成する可能性があることを実証する。
関連論文リスト
- The Foundations of Tokenization: Statistical and Computational Concerns [51.370165245628975]
トークン化は、NLPパイプラインにおける重要なステップである。
NLPにおける標準表現法としての重要性は認識されているが、トークン化の理論的基盤はまだ完全には理解されていない。
本稿では,トークン化モデルの表現と解析のための統一的な形式的枠組みを提案することによって,この理論的ギャップに対処することに貢献している。
論文 参考訳（メタデータ） (2024-07-16T11:12:28Z) - Faster Cascades via Speculative Decoding [66.16909847419198]
カスケードと投機的復号化は、言語モデルの推論効率を改善するためのアプローチである。
提案手法は,投機的実行による推論規則を実装した新しい投機的カスケード手法である。
我々の手法は、カスケードや投機的復号化ベースラインよりもコスト品質のトレードオフが優れていることを示す。
論文 参考訳（メタデータ） (2024-05-29T16:55:08Z) - Parameterized Dynamic Logic -- Towards A Cyclic Logical Framework for General Program Specification and Verification [0.174048653626208]
本稿では,パラメータ化された動的論理型形式である$DL_p$を提案する。
$DL_p$は、異なる動的論理理論を包含する柔軟な検証フレームワークを提供する。
ケーススタディは、$DL_p$が異なるタイプのプログラムモデルについて推論するためにどのように機能するかを示している。
論文 参考訳（メタデータ） (2024-04-28T07:08:44Z) - An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。
応用例としては、メタ理論的性質の形式的解析と検証がある。
論文 参考訳（メタデータ） (2023-12-08T09:32:26Z) - Meaning Representations from Trajectories in Autoregressive Models [106.63181745054571]
入力テキストを拡張可能なすべてのトラジェクトリの分布を考慮し,自己回帰言語モデルから意味表現を抽出する。
この戦略はプロンプトフリーであり、微調整は必要とせず、事前訓練された自己回帰モデルにも適用できる。
我々は,大規模なモデルから得られた表現が人間のアノテーションとよく一致し,意味的類似性タスクにおける他のゼロショットおよびプロンプトフリーメソッドよりも優れており,標準埋め込みが扱えないより複雑なエンタテインメントや包含タスクの解決に使用できることを実証的に示す。
論文 参考訳（メタデータ） (2023-10-23T04:35:58Z) - On Loop Formulas with Variables [2.1955512452222696]
最近、フェラーリス、リー、リフシッツはグラウンド化に言及しない安定モデルの新たな定義を提案した。
我々は、Chen, Lin, Wang, Zhang による変数を持つループ公式のアイデアとの関係を示す。
論理プログラムの構文を拡張して、明示的な量化を許容し、その意味論を安定モデルの新しい言語のサブクラスとして定義する。
論文 参考訳（メタデータ） (2023-07-15T06:20:43Z) - Guiding the PLMs with Semantic Anchors as Intermediate Supervision:
Towards Interpretable Semantic Parsing [57.11806632758607]
本稿では,既存の事前学習言語モデルを階層型デコーダネットワークに組み込むことを提案する。
第一原理構造をセマンティックアンカーとすることで、2つの新しい中間管理タスクを提案する。
いくつかのセマンティック解析ベンチマークで集中的な実験を行い、我々のアプローチがベースラインを一貫して上回ることを示す。
論文 参考訳（メタデータ） (2022-10-04T07:27:29Z) - Training and Inference on Any-Order Autoregressive Models the Right Way [97.39464776373902]
Any-Order Autoregressive Models (AO-ARMs) のファミリは、任意の条件付きタスクにおいてブレークスルーのパフォーマンスを示している。
我々は、AO-ARMの以前の定式化に対して行うべき重要な改善について確認する。
本手法はトラクタビリティを損なうことなく性能を向上する。
論文 参考訳（メタデータ） (2022-05-26T18:00:02Z) - First-Order Context-Specific Likelihood Weighting in Hybrid
Probabilistic Logic Programs [24.503581751619787]
3種類の独立性は、ハイブリッドモデルにおけるスケーラブルな推論を表現し、活用するために重要である。
本稿では,分散節の構文とベイズ論理プログラムのセマンティックス原理を統合したハイブリッド確率論理型言語DC#を提案する。
また,DC#用のスケーラブル推論アルゴリズムFO-CS-LWについても紹介する。
論文 参考訳（メタデータ） (2022-01-26T20:06:02Z) - ORCHARD: A Benchmark For Measuring Systematic Generalization of
Multi-Hierarchical Reasoning [8.004425059996963]
本稿では,Transformer と LSTM のモデルが体系的一般化において驚くほど失敗することを示す。
また、階層間の参照の増加に伴い、Transformerはランダムにしか動作しないことを示す。
論文 参考訳（メタデータ） (2021-11-28T03:11:37Z) - A Logical Characterization of the Preferred Models of Logic Programs
with Ordered Disjunction [1.7403133838762446]
順序付き解法(LPOD)を用いた論理プログラムのための新しいモデル論的意味論を提供する。
提案手法は従来のLPODのセマンティクスの欠点を克服するものである。
新しいアプローチは、節の先頭に順序と古典的な分岐の両方を持つことができる論理プログラムの自然なクラスの意味を定義するために使われる。
論文 参考訳（メタデータ） (2021-08-07T05:36:12Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。