論文の概要: A Logical Characterization of the Preferred Models of Logic Programs
with Ordered Disjunction
- arxiv url: http://arxiv.org/abs/2108.03369v1
- Date: Sat, 7 Aug 2021 05:36:12 GMT
- ステータス: 処理完了
- システム内更新日: 2021-08-10 15:06:42.128461
- Title: A Logical Characterization of the Preferred Models of Logic Programs
with Ordered Disjunction
- Title(参考訳): 順序分割を伴う論理プログラムの好ましいモデルの論理的特徴付け
- Authors: Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis
- Abstract要約: 順序付き解法(LPOD)を用いた論理プログラムのための新しいモデル論的意味論を提供する。
提案手法は従来のLPODのセマンティクスの欠点を克服するものである。
新しいアプローチは、節の先頭に順序と古典的な分岐の両方を持つことができる論理プログラムの自然なクラスの意味を定義するために使われる。
- 参考スコア(独自算出の注目度): 1.7403133838762446
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Logic Programs with Ordered Disjunction (LPODs) extend classical logic
programs with the capability of expressing alternatives with decreasing degrees
of preference in the heads of program rules. Despite the fact that the
operational meaning of ordered disjunction is clear, there exists an important
open issue regarding its semantics. In particular, there does not exist a
purely model-theoretic approach for determining the most preferred models of an
LPOD. At present, the selection of the most preferred models is performed using
a technique that is not based exclusively on the models of the program and in
certain cases produces counterintuitive results. We provide a novel,
model-theoretic semantics for LPODs, which uses an additional truth value in
order to identify the most preferred models of a program. We demonstrate that
the proposed approach overcomes the shortcomings of the traditional semantics
of LPODs. Moreover, the new approach can be used to define the semantics of a
natural class of logic programs that can have both ordered and classical
disjunctions in the heads of clauses. This allows programs that can express not
only strict levels of preferences but also alternatives that are equally
preferred. This work is under consideration for acceptance in TPLP.
- Abstract(参考訳): lpods (ordered disjunction) を持つ論理プログラムは、プログラムルールの先頭の選好度が低下した代替表現能力を持つ古典論理プログラムを拡張する。
順序分割の操作的意味が明確であるにもかかわらず、その意味論に関する重要な公的な問題が存在する。
特に、LPODの最も好まれるモデルを決定するための純粋にモデル理論的なアプローチは存在しない。
現在、最も好まれるモデルの選択は、プログラムのモデルのみに基づいておらず、ある場合には直観に反する結果を生み出す技術を用いて行われる。
プログラムの最も好まれるモデルを特定するために、追加の真理値を使用するLPODに対して、新しいモデル理論のセマンティクスを提供する。
提案手法は従来のLPODのセマンティクスの欠点を克服するものである。
さらに、新しいアプローチは、節の先頭に順序と古典的区別の両方を持つことができる論理プログラムの自然なクラスの意味論を定義するのに使うことができる。
これにより、厳格な選好レベルだけでなく、同等に好まれる代替案を表現できるプログラムが可能になる。
この研究はTPLPの受け入れを検討中である。
関連論文リスト
- An incremental preference elicitation-based approach to learning potentially non-monotonic preferences in multi-criteria sorting [53.36437745983783]
まず最適化モデルを構築し,非単調な選好をモデル化する。
本稿では,情報量測定手法と質問選択戦略を考案し,各イテレーションにおいて最も情報に富む選択肢を特定する。
2つのインクリメンタルな選好に基づくアルゴリズムは、潜在的に単調な選好を学習するために開発された。
論文 参考訳(メタデータ) (2024-09-04T14:36:20Z) - The Stable Model Semantics for Higher-Order Logic Programming [4.106754434769354]
本稿では,高階論理プログラムのための安定モデルセマンティクスを提案する。
我々のセマンティクスは、強力な形式主義である近似固定点理論(AFT)を用いて開発されている。
安定モデルセマンティクスの下での高階論理プログラミングは強力で汎用的な形式であることを示す。
論文 参考訳(メタデータ) (2024-08-20T06:03:52Z) - Coherent Entity Disambiguation via Modeling Topic and Categorical
Dependency [87.16283281290053]
従来のエンティティ曖昧化(ED)メソッドは、参照コンテキストと候補エンティティの一致するスコアに基づいて予測を行う、識別パラダイムを採用している。
本稿では,エンティティ予測のコヒーレンス向上を目的とした新しいデザインを備えたEDシステムであるCoherentedを提案する。
我々は、人気EDベンチマークにおいて、平均1.3F1ポイントの改善により、最先端の新たな結果を得る。
論文 参考訳(メタデータ) (2023-11-06T16:40:13Z) - On Loop Formulas with Variables [2.1955512452222696]
最近、フェラーリス、リー、リフシッツはグラウンド化に言及しない安定モデルの新たな定義を提案した。
我々は、Chen, Lin, Wang, Zhang による変数を持つループ公式のアイデアとの関係を示す。
論理プログラムの構文を拡張して、明示的な量化を許容し、その意味論を安定モデルの新しい言語のサブクラスとして定義する。
論文 参考訳(メタデータ) (2023-07-15T06:20:43Z) - $\omega$PAP Spaces: Reasoning Denotationally About Higher-Order,
Recursive Probabilistic and Differentiable Programs [64.25762042361839]
$omega$PAP 空間は表現的微分可能および確率的プログラミング言語についての推論のための空間である。
我々の意味論は、最も実践的な確率的で微分可能なプログラムに意味を割り当てるのに十分である。
確率プログラムのトレース密度関数のほぼすべての微分可能性を確立する。
論文 参考訳(メタデータ) (2023-02-21T12:50:05Z) - Strong Equivalence of Logic Programs with Ordered Disjunction: a Logical
Perspective [1.160208922584163]
順序ディジャンクション付き論理プログラム (LPOD) は古典論理プログラムを拡張し、優先ディジャンクションを表現できる。
本稿では,4値論理の論理等価性としてLPODの強い等価性を純粋に論理的に評価する。
LPODに対する強同値のcoNP完全性の新たな証明を提供するが、これはプログラムの特別な構造に依存しているため、それ自体が興味を持つ。
論文 参考訳(メタデータ) (2022-05-10T13:33:32Z) - Structured Reordering for Modeling Latent Alignments in Sequence
Transduction [86.94309120789396]
本稿では,分離可能な置換の辺りを正確に推定する効率的な動的プログラミングアルゴリズムを提案する。
結果のSeq2seqモデルは、合成問題やNLPタスクの標準モデルよりも体系的な一般化が優れている。
論文 参考訳(メタデータ) (2021-06-06T21:53:54Z) - Representing Partial Programs with Blended Abstract Semantics [62.20775388513027]
プログラム合成エンジンにおける部分的なプログラム表現手法について紹介する。
モジュラーニューラルネットワークとして実装された近似実行モデルを学ぶ。
これらのハイブリッドニューロシンボリック表現は、実行誘導型シンセサイザーがより強力な言語構成を使うことができることを示す。
論文 参考訳(メタデータ) (2020-12-23T20:40:18Z) - Lexicographic Logic: a Many-valued Logic for Preference Representation [1.5484595752241122]
本稿では,様々な選好を表現できる古典命題論理の拡張である辞書論理を提案する。
ユーザの嗜好の満足度に応じてクエリ結果のランク付けを行う上で,新しい論理は有効な形式である,と我々は主張する。
論文 参考訳(メタデータ) (2020-12-20T14:42:04Z) - Conditional independence by typing [30.194205448457385]
確率型プログラミング言語(PPL)の中心的な目標は、推論からモデリングを分離することである。
パラメータ間の条件独立(CI)関係は確率論的モデルの重要な側面である。
システム内の十分に型付けされたプログラムでは、その実装するディストリビューションは特定のCI関連性を持つことが保証されている。
論文 参考訳(メタデータ) (2020-10-22T17:27:22Z) - Pre-training Is (Almost) All You Need: An Application to Commonsense
Reasoning [61.32992639292889]
事前学習されたトランスモデルの微調整は、一般的なNLPタスクを解決するための標準的なアプローチとなっている。
そこで本研究では,可視性ランキングタスクをフルテキスト形式でキャストする新たなスコアリング手法を提案する。
提案手法は, ランダム再起動にまたがって, より安定した学習段階を提供することを示す。
論文 参考訳(メタデータ) (2020-04-29T10:54:40Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。