Fugu-MT 論文翻訳(概要): Resolution for Constrained Pseudo-Propositional Logic

論文の概要: Resolution for Constrained Pseudo-Propositional Logic

arxiv url: http://arxiv.org/abs/2306.06630v1
Date: Sun, 11 Jun 2023 09:17:24 GMT
ステータス: 処理完了
システム内更新日: 2023-06-13 17:36:52.417342
Title: Resolution for Constrained Pseudo-Propositional Logic
Title（参考訳）: 制約付き擬似定置論理の解法
Authors: Ahmad-Saher Azizi-Sultan
Abstract要約: この研究は、制約付き擬似命題論理の解法証明システムを得るために、命題分解を一般化する方法を示す。有限個の節に制限された CNF の公式の構成とは異なり、拡張された CPPL は対応する集合を有限とする必要はない。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: This work, shows how propositional resolution can be generalized to obtain a resolution proof system for constrained pseudo-propositional logic (CPPL), which is an extension resulted from inserting the natural numbers with few constraints symbols into the alphabet of propositional logic and adjusting the underling language accordingly. Unlike the construction of CNF formulas which are restricted to a finite set of clauses, the extended CPPL does not require the corresponding set to be finite. Although this restriction is made dispensable, this work presents a constructive proof showing that the generalized resolution for CPPL is sound and complete. As a marginal result, this implies that propositional resolution is also sound and complete for formulas with even infinite set of clauses.
Abstract（参考訳）: 本研究は,制約付き擬似命題論理(CPPL)の解決証明システムを実現するために,命題論理のアルファベットに制約の少ない自然数を挿入し,それに応じて下記言語を調整することによって,命題分解を一般化する方法を示す。有限個の節に制限された CNF の公式の構成とは異なり、拡張された CPPL は対応する集合を有限とする必要はない。この制限は適用可能であるが、CPPLの一般解法が健全かつ完全であることを示す構成的証明を示す。余分な結果として、命題分解もまた、無限個の節からなる公式に対して健全で完備であることを意味する。

関連論文リスト

A novel framework for systematic propositional formula simplification based on existential graphs [1.104960878651584]
本稿では、パースの実在グラフの推論と含意グラフの規則から導かれる命題論理の単純化計算について述べる。我々の規則は、ネスト形式の命題論理式に適用でき、同値保存であり、単調に減少する変数、節、リテラルの数を保証し、構造的問題情報の保存を最大化することができる。
論文参考訳（メタデータ） (2024-05-27T11:42:46Z)
Qubit Number Optimization for Restriction Terms of QUBO Hamiltonians [62.997667081978825]
数学的には$R$の分数値を求めることができる。制限ハミルトニアンの実装に必要な量子ビット数をさらに減らす方法を示す。最後に、FRCの実装に直面した場合、DWaveのAdvantage$_$system4.1 Quantum Annealer(QA)の応答を特徴付ける。
論文参考訳（メタデータ） (2023-06-12T08:25:56Z)
Range-Restricted Interpolation through Clausal Tableaux [0.0]
一階述語論理の入力からクレイグの出力へ、範囲制限とホーン特性の変動がどのように受け継がれるかを示す。証明システムは、一階ATPに由来するクラウスアル・タドーである。
論文参考訳（メタデータ） (2023-06-06T10:42:40Z)
SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning [0.3867363075280543]
SCL(FOL)は等式のない一階述語論理の重ね合わせにより非冗長節の導出をシミュレートできることを示す。重畳に基づく推論は、固定縮小順序付けに対して行われる。
論文参考訳（メタデータ） (2023-05-22T11:12:39Z)
Non-Deterministic Approximation Fixpoint Theory and Its Application in Disjunctive Logic Programming [11.215352918313577]
近似不動点理論(英: Approximation Fixpoint theory)は、非単調論理の意味論を研究するための枠組みである。 AFTは、不確定な情報を扱うことができる非決定論的構造を扱うよう拡張する。この一般化の適用性と有用性は、解法論理プログラミングの文脈で説明される。
論文参考訳（メタデータ） (2022-11-30T18:58:32Z)
Linear Temporal Logic Modulo Theories over Finite Traces (Extended Version) [72.38188258853155]
有限トレース(LTLf)上の線形時間論理について検討する。命題の文字は任意の理論で解釈された一階述語式に置き換えられる。 Satisfiability Modulo Theories (LTLfMT) と呼ばれる結果の論理は半決定可能である。
論文参考訳（メタデータ） (2022-04-28T17:57:33Z)
Logical blocks for fault-tolerant topological quantum computation [55.41644538483948]
本稿では,プラットフォームに依存しない論理ゲート定義の必要性から,普遍的なフォールトトレラント論理の枠組みを提案する。資源オーバーヘッドを改善するユニバーサル論理の新しいスキームについて検討する。境界のない計算に好適な論理誤差率を動機として,新しい計算手法を提案する。
論文参考訳（メタデータ） (2021-12-22T19:00:03Z)
Reinforcement Learning in Linear MDPs: Constant Regret and Representation Selection [136.4014229319618]
線形構造を持つ有限水平マルコフ決定過程(MDPs)における後悔最小化における状態-作用値関数の表現の役割について検討する。まず,線形報酬関数を持つ任意のMDPにおいて,一貫した後悔を実現するために,Universally spaning optimal features (UNISOFT) と呼ばれる表現に必要条件を導出する。
論文参考訳（メタデータ） (2021-10-27T22:07:08Z)
Foundations of Reasoning with Uncertainty via Real-valued Logics [70.43924776071616]
我々は、本質的にすべての実数値論理をカバーするためにパラメータ化できる、音と強完全公理化を与える。文のクラスは非常に豊かであり、各クラスは実数値論理の式の集合に対して可能な実値の集合を記述する。
論文参考訳（メタデータ） (2020-08-06T02:13:11Z)
Modular Answer Set Programming as a Formal Specification Language [8.823761706435814]
ASP(Answer Set Programming)の形式検証問題について検討する。与えられた(非基底)論理プログラムPの解集合が、問題インスタンスに関係なく、Pによって符号化された問題の解に正しく対応していることを示す公式な証明を得る。
論文参考訳（メタデータ） (2020-08-05T09:25:51Z)
Conditional gradient methods for stochastically constrained convex minimization [54.53786593679331]
構造凸最適化問題に対する条件勾配に基づく2つの新しい解法を提案する。私たちのフレームワークの最も重要な特徴は、各イテレーションで制約のサブセットだけが処理されることです。提案アルゴリズムは, 条件勾配のステップとともに, 分散の低減と平滑化に頼り, 厳密な収束保証を伴っている。
論文参考訳（メタデータ） (2020-07-07T21:26:35Z)

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