Fugu-MT 論文翻訳(概要): An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning

論文の概要: An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning

arxiv url: http://arxiv.org/abs/2203.12352v1
Date: Wed, 23 Mar 2022 12:08:51 GMT
ステータス: 処理完了
システム内更新日: 2022-03-24 16:35:17.873638
Title: An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning
Title（参考訳）: 軽量非古典推論のための拡張可能な論理埋め込みツール
Authors: Alexander Steen
Abstract要約: 論理埋め込みツールは、古典的でない推論問題を古典的な高階論理にプロシージャエンコーディングする。推論ターゲットとして、多くの非古典論理をサポートすることができる。
参考スコア（独自算出の注目度）: 91.3755431537592
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: The logic embedding tool provides a procedural encoding for non-classical reasoning problems into classical higher-order logic. It is extensible and can support an increasing number of different non-classical logics as reasoning targets. When used as a pre-processor or library for higher-order theorem provers, the tool admits off-the-shelf automation for logics for which otherwise few to none provers are currently available.
Abstract（参考訳）: 論理埋め込みツールは、古典的でない推論問題を古典的な高階論理にプロシージャエンコーディングする。拡張可能であり、推論対象として多くの異なる非古典論理をサポートすることができる。高階定理プローバーのプリプロセッサやライブラリとして使用される場合、このツールは論理の既定の自動化を認めている。

関連論文リスト

Improving Complex Reasoning over Knowledge Graph with Logic-Aware Curriculum Tuning [89.89857766491475]
大規模言語モデル(LLM)に基づくKG上の複雑な推論スキーマを提案する。任意の一階論理クエリを二分木分解により拡張し、LLMの推論能力を刺激する。広く使われているデータセットに対する実験では、LACTは高度な手法よりも大幅に改善されている(平均+5.5% MRRスコア)。
論文参考訳（メタデータ） (2024-05-02T18:12:08Z)
An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。応用例としては、メタ理論的性質の形式的解析と検証がある。
論文参考訳（メタデータ） (2023-12-08T09:32:26Z)
Automated reasoning support for Standpoint-OWL 2 [1.160208922584163]
このツールは、記述論理SROIQのスタンドポイント強化バージョンを、その平易な(古典的な)バージョンに翻訳することで機能する。既存のアナライザを直接使用して,さまざまな視点を推論するための自動サポートを提供することも可能だ。
論文参考訳（メタデータ） (2023-04-30T19:50:14Z)
Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文) 論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
論文参考訳（メタデータ） (2022-07-04T14:38:49Z)
Automated Reasoning in Non-classical Logics in the TPTP World [58.720142291102135]
TPTP Worldは現在、古典論理のみをサポートしている。非古典論理推論の同様の標準は存在しない。本稿では,非古典論理学における推論のための言語と基盤を提供するTPTP Worldの最新の拡張について述べる。
論文参考訳（メタデータ） (2022-02-20T15:29:30Z)
Modeling and Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of HOL in LogiKEy [0.0]
本稿では,関連する共通知識を用いた発表ロジックのセマンティックな埋め込みについて述べる。これにより、古典的な高階論理に対するオフ・ザ・シェルフ定理証明を用いて、この論理を初めて自動化することができる。この研究は、複数派のLogiKEy知識工学方法論に重要な追加となる。
論文参考訳（メタデータ） (2021-11-02T15:14:52Z)
A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
論文参考訳（メタデータ） (2021-10-18T10:45:59Z)
Public Announcement Logic in HOL [0.0]
関連する共通知識を持つ公開告知論理のための浅層セマンティック埋め込みについて述べる。この埋め込みにより、古典的な高階論理に対するオフ・ザ・シェルフ定理証明を用いて、この論理を初めて自動化することができる。
論文参考訳（メタデータ） (2020-10-02T06:46:02Z)
Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis [0.0]
本稿では,議論的言説の深い多元論的論理解析へのアプローチを提案する。我々は古典的な高階論理に最先端の自動推論技術を用いる。
論文参考訳（メタデータ） (2020-07-02T11:07:53Z)
Extending Automated Deduction for Commonsense Reasoning [0.0]
本論文は,古典的な一階述語論理を自動推論する手法とアルゴリズムを,コモンセンス推論に拡張できると主張している。提案された拡張は主に通常の証明木に依存しており、不整合、デフォルトルール、トピックの操作、関連性、信頼性、類似度などを含む常識知識ベースを扱うように設計されている。機械学習はコモンセンスの知識ベースを構築するのに最適であり、拡張された論理ベースの手法はこれらの知識ベースからのクエリに実際に答えるのに適している、と我々は主張する。
論文参考訳（メタデータ） (2020-03-29T23:17:16Z)

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