論文の概要: Automated Reasoning in Non-classical Logics in the TPTP World

• arxiv url: http://arxiv.org/abs/2202.09836v1
• Date: Sun, 20 Feb 2022 15:29:30 GMT
• ステータス: 処理完了
• システム内更新日: 2022-02-23 08:40:55.294595
• Title: Automated Reasoning in Non-classical Logics in the TPTP World
• Title（参考訳）: TPTP世界の非古典論理における自動推論
• Authors: Alexander Steen, David Fuenmayor, Tobias Glei{\ss}ner, Geoff Sutcliffe, Christoph Benzm\"uller
• Abstract要約: TPTP Worldは現在、古典論理のみをサポートしている。 非古典論理推論の同様の標準は存在しない。 本稿では,非古典論理学における推論のための言語と基盤を提供するTPTP Worldの最新の拡張について述べる。
• 参考スコア（独自算出の注目度）: 58.720142291102135
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Non-classical logics are used in a wide spectrum of disciplines, including artificial intelligence, computer science, mathematics, and philosophy. The de-facto standard infrastructure for automated theorem proving, the TPTP World, currently supports only classical logics. Similar standards for non-classical logic reasoning do not exist (yet). This hampers practical development of reasoning systems, and limits their interoperability and application. This paper describes the latest extension of the TPTP World, which provides languages and infrastructure for reasoning in non-classical logics. The extensions integrate seamlessly with the existing TPTP World.
• Abstract（参考訳）: 非古典論理は人工知能、計算機科学、数学、哲学など幅広い分野で使われている。 自動定理証明のためのデファクト標準基盤であるTPTP Worldは現在、古典論理のみをサポートしている。 非古典論理推論の類似の標準は存在しない(yet)。 これは推論システムの実践的な開発を妨げ、相互運用性と応用を制限します。 本稿では,非古典論理学における推論のための言語と基盤を提供するTPTP Worldの最新の拡張について述べる。 この拡張は既存のTPTP Worldとシームレスに統合される。

関連論文リスト

• The Transformation Logics [58.35574640378678]
  表現性と複雑性のトレードオフのバランスをとるために設計された、時間論理の新しいファミリーを導入する。 重要な特徴は、変換演算子と呼ばれる新しい種類の演算子を定義する可能性である。 表現力と複雑性を増大させる階層を創り出すことができる論理を提示する。
  論文  参考訳（メタデータ） (2023-04-19T13:24:04Z)
• Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
  パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文) 論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。 ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
  論文  参考訳（メタデータ） (2022-07-04T14:38:49Z)
• An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning [91.3755431537592]
  論理埋め込みツールは、古典的でない推論問題を古典的な高階論理にプロシージャエンコーディングする。 推論ターゲットとして、多くの非古典論理をサポートすることができる。
  論文  参考訳（メタデータ） (2022-03-23T12:08:51Z)
• Logical blocks for fault-tolerant topological quantum computation [55.41644538483948]
  本稿では,プラットフォームに依存しない論理ゲート定義の必要性から,普遍的なフォールトトレラント論理の枠組みを提案する。 資源オーバーヘッドを改善するユニバーサル論理の新しいスキームについて検討する。 境界のない計算に好適な論理誤差率を動機として,新しい計算手法を提案する。
  論文  参考訳（メタデータ） (2021-12-22T19:00:03Z)
• 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)
• 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)
• Logical Neural Networks [51.46602187496816]
  ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。 すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。 推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
  論文  参考訳（メタデータ） (2020-06-23T16:55:45Z)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。