論文の概要: Defeasible Reasoning via Datalog$^\neg$
- arxiv url: http://arxiv.org/abs/2106.10946v1
- Date: Mon, 21 Jun 2021 09:38:06 GMT
- ステータス: 処理完了
- システム内更新日: 2021-06-22 15:18:57.760491
- Title: Defeasible Reasoning via Datalog$^\neg$
- Title(参考訳): datalog$^\neg$による解消可能な推論
- Authors: Michael J. Maher
- Abstract要約: 本稿では,デファジブル理論をDatalog$neg$プログラムにコンパイルする問題に対処する。
このコンパイルの正しさは、デファシブル論理 $DL(partial_||)$ に対して証明する。
また、未完成なDatalog$neg$の実装に適応するために、以前よく研究された論理プログラムの構造特性を使用します。
- 参考スコア(独自算出の注目度): 1.3706331473063877
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: We address the problem of compiling defeasible theories to Datalog$^\neg$
programs. We prove the correctness of this compilation, for the defeasible
logic $DL(\partial_{||})$, but the techniques we use apply to many other
defeasible logics. Structural properties of $DL(\partial_{||})$ are identified
that support efficient implementation and/or approximation of the conclusions
of defeasible theories in the logic, compared with other defeasible logics. We
also use previously well-studied structural properties of logic programs to
adapt to incomplete Datalog$^\neg$ implementations.
- Abstract(参考訳): 我々は,datalog$^\neg$ プログラムに難解な理論をコンパイルする問題に対処する。
このコンパイルの正確性は、defeasible logic $dl(\partial_{||})$ に対して証明するが、我々が使用する技法は、他の多くのdefeasible logicに適用される。
$dl(\partial_{||})$の構造的性質は、他の相反論理と比較して、論理における相反する理論の帰結の効率的な実装と/または近似をサポートする。
私たちはまた、不完全なdatalog$^\neg$の実装に適応するために、論理プログラムの構造的特性もよく研究しました。
関連論文リスト
- Language Models can be Logical Solvers [99.40649402395725]
論理解法の推論過程を直接エミュレートする新しい言語モデルであるLoGiPTを導入する。
LoGiPTは、導出的ソルバの見えない推論過程を明らかにして精錬することから導かれる、新しく構築された命令チューニングデータセットに基づいて微調整される。
論文 参考訳(メタデータ) (2023-11-10T16:23:50Z) - LINC: A Neurosymbolic Approach for Logical Reasoning by Combining
Language Models with First-Order Logic Provers [60.009969929857704]
論理的推論は、科学、数学、社会に潜在的影響を与える可能性のある人工知能にとって重要なタスクである。
本研究では、LINCと呼ばれるモジュール型ニューロシンボリックプログラミングのようなタスクを再構成する。
我々は,FOLIOとProofWriterのバランスの取れたサブセットに対して,ほぼすべての実験条件下で,3つの異なるモデルに対して顕著な性能向上を観察した。
論文 参考訳(メタデータ) (2023-10-23T17:58:40Z) - Simulating Structural Plasticity of the Brain more Scalable than
Expected [69.39201743340747]
Rinkeらは、Barnes-Hutアルゴリズムの変種を用いて、現在のハードウェア上で最大10億のニューロンに対して構造的可塑性をシミュレートするスケーラブルなアルゴリズムを導入した。
アルゴリズムを慎重に検討すると、理論ランタイムは$O(n log2 n)$と分類できる。
論文 参考訳(メタデータ) (2022-10-11T09:02:43Z) - Swift Markov Logic for Probabilistic Reasoning on Knowledge Graphs [2.4947404267499578]
Vadalogベースの知識グラフにおいて確率論的推論のためのフレームワークを提供する。
確率的知識グラフ(PKG)を誘導するソフトバダログプログラム
本稿では,モンテカルロ法であるMCMC-chaseの理論と現状について論じる。
論文 参考訳(メタデータ) (2022-10-01T13:57:21Z) - Complexity of Arithmetic in Warded Datalog+- [1.5469452301122173]
Warded Datalog+- ロジックベースの言語Datalogを拡張し、ルールヘッドに存在量化器を配置する。
我々はWarded Datalog+を算術演算で拡張し、P完全性を証明する新しい言語を定義する。
我々は,新たに定義された言語に対する効率的な推論アルゴリズムを提案し,最近導入された整数演算を用いたデータログフラグメントの記述的複雑性を証明した。
論文 参考訳(メタデータ) (2022-02-10T15:14:03Z) - Neuro-Symbolic Inductive Logic Programming with Logical Neural Networks [65.23508422635862]
我々は最近提案された論理ニューラルネットワーク(LNN)を用いた学習規則を提案する。
他のものと比較して、LNNは古典的なブール論理と強く結びついている。
標準ベンチマークタスクの実験では、LNNルールが極めて解釈可能であることを確認した。
論文 参考訳(メタデータ) (2021-12-06T19:38:30Z) - Mixability made efficient: Fast online multiclass logistic regression [68.8204255655161]
我々は、混合性は最適な後悔を伴うアルゴリズムを得るための強力なツールであることを示した。
結果として得られる手法は、しばしば計算の複雑さに悩まされ、実用性が低下した。
論文 参考訳(メタデータ) (2021-10-08T08:22:05Z) - Approximating Defeasible Logics to Improve Scalability [1.3706331473063877]
我々は$DL(partial_||)$を$DL(partial)$などのデファシブル論理における計算結果の計算補助として利用すると考えている。
我々は、$DL(partial_||)$を$DL(partial)$に置き換えることができる条件を、引き出された結論を変更することなく特定する。
論文 参考訳(メタデータ) (2021-08-11T13:54:12Z) - Logic-Driven Context Extension and Data Augmentation for Logical
Reasoning of Text [65.24325614642223]
論理的な記号や表現をテキストで理解し、答えにたどり着くよう提案します。
このような論理的情報に基づいて,文脈拡張フレームワークとデータ拡張アルゴリズムを提案する。
本手法は最先端の性能を実現し,論理駆動コンテキスト拡張フレームワークとデータ拡張アルゴリズムの両方が精度向上に寄与する。
論文 参考訳(メタデータ) (2021-05-08T10:09:36Z) - Intuitionistic Linear Temporal Logics [0.7087237546722617]
線形時相論理の直観的変種を次の', "to', and release" とみなす。
我々は $iltl$ が有効有限モデル特性を持ち、したがって決定可能であることを証明し、$itlb$ は有限モデル特性を持たない。
また、これらの論理に対する有界双変調の概念を導入し、それらを用いて、持続的なポーズのクラスでさえも、proto' と Release' の作用素が互いに定義できないことを示す。
論文 参考訳(メタデータ) (2019-12-30T11:49:31Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。