論文の概要: Some Preliminary Steps Towards Metaverse Logic

• arxiv url: http://arxiv.org/abs/2307.05574v1
• Date: Mon, 10 Jul 2023 09:13:22 GMT
• ステータス: 処理完了
• システム内更新日: 2023-07-13 16:17:51.643514
• Title: Some Preliminary Steps Towards Metaverse Logic
• Title（参考訳）: メタバース論理へのいくつかの予備ステップ
• Authors: Antonio L. Furtado, Marco A. Casanova, Edirlei Soares de Lima
• Abstract要約: 我々は、現実と架空の基盤となるアプリケーションドメインの両方で発生する状況を扱うのに十分強力なロジックの現在の仕事について検討する。 議論は比較的非公式なレベルで維持され、自然言語の用語における理論的概念の背後にある直観を常に伝えようと試みた。
• 参考スコア（独自算出の注目度）: 0.8594140167290096
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Assuming that the term 'metaverse' could be understood as a computer-based implementation of multiverse applications, we started to look in the present work for a logic that would be powerful enough to handle the situations arising both in the real and in the fictional underlying application domains. Realizing that first-order logic fails to account for the unstable behavior of even the most simpleminded information system domains, we resorted to non-conventional extensions, in an attempt to sketch a minimal composite logic strategy. The discussion was kept at a rather informal level, always trying to convey the intuition behind the theoretical notions in natural language terms, and appealing to an AI agent, namely ChatGPT, in the hope that algorithmic and common-sense approaches can be usefully combined.
• Abstract（参考訳）: メタバース」という言葉がコンピュータによるマルチバースアプリケーションの実装として理解できると仮定すると、我々は、現実と架空の基盤となるアプリケーションドメインの両方で生じる状況に対処できるほど強力なロジックについて、現在の研究を考察し始めた。 一階述語論理が最も単純な情報システムドメインであっても不安定な振る舞いを考慮できないことに気付き、我々は最小限の複合論理戦略をスケッチするために、従来の拡張に頼った。 この議論は比較的非公式なレベルで維持され、自然言語用語の理論的概念の背後にある直感を常に伝え、アルゴリズム的および常識的アプローチが有用に組み合わせられることを期待して、AIエージェントであるChatGPTに訴えた。

関連論文リスト

• Language Models can be Logical Solvers [99.40649402395725]
  論理解法の推論過程を直接エミュレートする新しい言語モデルであるLoGiPTを導入する。 LoGiPTは、導出的ソルバの見えない推論過程を明らかにして精錬することから導かれる、新しく構築された命令チューニングデータセットに基づいて微調整される。
  論文  参考訳（メタデータ） (2023-11-10T16:23:50Z)
• Towards Invertible Semantic-Preserving Embeddings of Logical Formulae [1.0152838128195467]
  論理的要件とルールの学習と最適化は、人工知能において常に重要な問題である。 現在のメソッドは、カーネルメソッドを介して効果的なセマンティック保存の埋め込みを構築することができるが、それらが定義するマップは可逆ではない。 本稿では,グラフ変分オートエンコーダフレームワークに基づく深層アーキテクチャを応用した埋め込みの逆変換法について述べる。
  論文  参考訳（メタデータ） (2023-05-03T10:49:01Z)
• 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)
• LogiGAN: Learning Logical Reasoning via Adversarial Pre-training [58.11043285534766]
  本稿では,言語モデルの論理的推論能力を向上させるために,教師なしの対人事前学習フレームワークLogiGANを提案する。 人間の学習におけるリフレクティブ思考の促進効果に着想を得て,逆生成検証アーキテクチャを用いて学習思考過程をシミュレートする。 LogiGANで事前トレーニングされたベースモデルと大規模言語モデルの両方で、12のデータセットで明らかなパフォーマンス改善が示されている。
  論文  参考訳（メタデータ） (2022-05-18T08:46:49Z)
• 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)
• Logic-Driven Context Extension and Data Augmentation for Logical Reasoning of Text [65.24325614642223]
  論理的な記号や表現をテキストで理解し、答えにたどり着くよう提案します。 このような論理的情報に基づいて,文脈拡張フレームワークとデータ拡張アルゴリズムを提案する。 本手法は最先端の性能を実現し,論理駆動コンテキスト拡張フレームワークとデータ拡張アルゴリズムの両方が精度向上に寄与する。
  論文  参考訳（メタデータ） (2021-05-08T10:09:36Z)
• Multi-Agent Reinforcement Learning with Temporal Logic Specifications [65.79056365594654]
  本研究では,時間論理仕様を満たすための学習課題を,未知の環境下でエージェントのグループで検討する。 我々は、時間論理仕様のための最初のマルチエージェント強化学習手法を開発した。 主アルゴリズムの正確性と収束性を保証する。
  論文  参考訳（メタデータ） (2021-02-01T01:13:03Z)
• Public Announcement Logic in HOL [0.0]
  関連する共通知識を持つ公開告知論理のための浅層セマンティック埋め込みについて述べる。 この埋め込みにより、古典的な高階論理に対するオフ・ザ・シェルフ定理証明を用いて、この論理を初めて自動化することができる。
  論文  参考訳（メタデータ） (2020-10-02T06:46:02Z)
• Extending Automated Deduction for Commonsense Reasoning [0.0]
  本論文は,古典的な一階述語論理を自動推論する手法とアルゴリズムを,コモンセンス推論に拡張できると主張している。 提案された拡張は主に通常の証明木に依存しており、不整合、デフォルトルール、トピックの操作、関連性、信頼性、類似度などを含む常識知識ベースを扱うように設計されている。 機械学習はコモンセンスの知識ベースを構築するのに最適であり、拡張された論理ベースの手法はこれらの知識ベースからのクエリに実際に答えるのに適している、と我々は主張する。
  論文  参考訳（メタデータ） (2020-03-29T23:17:16Z)
• SMT + ILP [12.47276164048813]
  我々は、満足度モジュロ理論技術を活用して、帰納的宣言型プログラミングを再考する。 本稿では、満足度変調理論技術を活用して、帰納的宣言型プログラミングを再考する。
  論文  参考訳（メタデータ） (2020-01-15T10:09:21Z)

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

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