Fugu-MT 論文翻訳(概要): Deductive Systems for Logic Programs with Counting

論文の概要: Deductive Systems for Logic Programs with Counting

arxiv url: http://arxiv.org/abs/2511.19565v1
Date: Mon, 24 Nov 2025 15:49:06 GMT
ステータス: 翻訳完了
システム内更新日: 2025-11-26 17:37:04.099659
Title: Deductive Systems for Logic Programs with Counting
Title（参考訳）: カウント付き論理プログラムの導出システム
Authors: Jorge Fandinno, Vladimir Lifschitz,
Abstract要約: ルールの2つのグループは、どのような文脈でも同じ意味を持つならば、強く等価であると考えられる。本稿では,この手法を集計集約を含むプログラムに拡張する方法を示す。
参考スコア（独自算出の注目度）: 10.7697618351733
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: In answer set programming, two groups of rules are considered strongly equivalent if they have the same meaning in any context. Strong equivalence of two programs can be sometimes established by deriving rules of each program from rules of the other in an appropriate deductive system. This paper shows how to extend this method of proving strong equivalence to programs containing the counting aggregate.
Abstract（参考訳）: 解集合プログラミングにおいて、任意の文脈で同じ意味を持つならば、2つのルール群は強い等価であると考えられる。 2つのプログラムの強い等価性は、それぞれのプログラムの規則を、適切な導出系において他方の規則から導出することによって確立することができる。本稿では,この手法を集計集合を含むプログラムに拡張する方法を示す。

関連論文リスト

A Reduction of Input/Output Logics to SAT [51.82266520875928]
デオン論理(Deontic logic)は、規範、義務、許可、禁止について推論するための形式主義である。本稿では,I/O論理の自動化手法を提案する。
論文参考訳（メタデータ） (2025-08-22T09:22:26Z)
EquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence Checking [58.15568681219339]
大規模言語モデル(LLM)を評価するための新しいベンチマークであるEquiBenchを紹介する。このタスクは、プログラムのセマンティクスについて推論するモデルの能力を直接テストする。 19の最先端LCMを評価し、最も難しいカテゴリでは、最高の精度は63.8%と76.2%であり、50%のランダムベースラインよりわずかに高い。
論文参考訳（メタデータ） (2025-02-18T02:54:25Z)
Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence [8.927343469404322]
我々は,clingo と dlv によって実装された集合を持つプログラムのセマンティクスが,不動関数を持つ拡張一階述語として特徴づけられることを示した。また、古典的な一階述語論理の推論に強い同値性をチェックする作業を削減する変換を提案する。
論文参考訳（メタデータ） (2024-12-14T21:34:55Z)
RuleArena: A Benchmark for Rule-Guided Reasoning with LLMs in Real-World Scenarios [58.90106984375913]
RuleArenaは、大規模言語モデル(LLM)が推論において複雑な現実世界のルールに従う能力を評価するために設計された、新しくて挑戦的なベンチマークである。航空会社の荷物手数料、NBA取引、税制の3つの実践的領域をカバーするルールアリーナは、複雑な自然言語命令を扱うのにLLMの習熟度を評価する。
論文参考訳（メタデータ） (2024-12-12T06:08:46Z)
Handling expression evaluation under interference [0.0]
プログラム構成のためのHoareスタイルの推論ルールは、プログラムテキストからの式とテストのコピーを論理的コンテキストに許可する。のアプローチは、許容可能な干渉を記録する問題に取り組み、安全な推論ルールを提供する方法を提供する。
論文参考訳（メタデータ） (2024-09-12T04:16:22Z)
DECIDER: A Dual-System Rule-Controllable Decoding Framework for Language Generation [57.07295906718989]
制約付き復号法は,事前訓練された大言語(Ms と PLMs)が生成するテキストの意味やスタイルを,推論時に様々なタスクに対して制御することを目的としている。これらの方法は、しばしば、欲求的かつ明示的にターゲットを選択することによって、もっともらしい連続を導く。認知二重プロセス理論に着想を得て,新しい復号化フレームワークDECDERを提案する。
論文参考訳（メタデータ） (2024-03-04T11:49:08Z)
ChatRule: Mining Logical Rules with Large Language Models for Knowledge Graph Reasoning [107.61997887260056]
そこで我々は,知識グラフ上の論理ルールをマイニングするための大規模言語モデルの力を解き放つ新しいフレームワークChatRuleを提案する。具体的には、このフレームワークは、KGのセマンティック情報と構造情報の両方を活用するLLMベースのルールジェネレータで開始される。生成されたルールを洗練させるために、ルールランキングモジュールは、既存のKGから事実を取り入れてルール品質を推定する。
論文参考訳（メタデータ） (2023-09-04T11:38:02Z)
Self-Supervised Learning to Prove Equivalence Between Straight-Line Programs via Rewrite Rules [9.1570563482476]
2つのプログラムは、1つのプログラムをもう1つのプログラムに書き換える、書き換え規則の一連の適用が存在する場合と同値である。本稿では,プログラムペア間の等価性の証明を生成するために,トランスフォーマーモデルに基づくニューラルネットワークアーキテクチャを提案する。我々のシステムであるS4Eqは、1万対の等価プログラムをキュレートしたデータセット上で97%の証明成功を達成した。
論文参考訳（メタデータ） (2021-09-22T01:37:08Z)
Sequential composition of answer set programs [0.0]
本稿では,解集合プログラムの逐次構成を導入,研究することにより,論理プログラミングの数学的基礎に寄与する。より広い意味では、本論文は、解集合プログラムの代数への第一歩であり、将来的には、この論文の手法をプログラムのより広範なクラスに引き上げる計画である。
論文参考訳（メタデータ） (2021-04-25T13:27:22Z)
Sequential composition of propositional logic programs [0.0]
本稿では,非循環プログラムを単一ルールプログラムに分解し,任意のプログラムに対して一般的な分解結果を提供する。プログラムの即時結果演算子は、演算子への明示的な参照を伴わずに最小モデルを計算することができる構成によって表現できることを示す。
論文参考訳（メタデータ） (2020-09-12T11:57:30Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。