論文の概要: Quantum Structures as Generative Scores: Partition Logic, Generative Logic, and Aesthetic Form

• arxiv url: http://arxiv.org/abs/2603.19177v1
• Date: Thu, 19 Mar 2026 17:37:03 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-03-20 17:19:06.301718
• Title: Quantum Structures as Generative Scores: Partition Logic, Generative Logic, and Aesthetic Form
• Title（参考訳）: 生成スコアとしての量子構造:分割論理、生成論理、美的形式
• Authors: Christian Jendreiko, Karl Svozil,
• Abstract要約: 有限分割論理を Prolog ベースの Simple Generative Logic Grammar に変換することにより,分割論理と生成論理を結合する。 概念実証として、5原子V-論理L_12を用いてモジュラービジュアルアーティファクトであるemphQuantum Squareを生成する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We connect partition logic with Generative Logic by translating finite partition logics into Prolog-based Simple Generative Logic Grammars. As a proof of concept, we use the five-atom V-logic L_{12} to generate a modular visual artifact, the \emph{Quantum Square}. The approach separates logical structure from its visual, textual, or sonic realization. This makes partition logic useful both as a generative design resource and as a tool for communicating complementarity.
• Abstract（参考訳）: 有限分割論理を Prolog ベースの Simple Generative Logic Grammar に変換することにより,分割論理と生成論理を結合する。 概念の証明として、5原子V-論理 L_{12} を用いてモジュラービジュアルアーティファクトである \emph{Quantum Square} を生成する。 このアプローチは論理構造をその視覚的、テキスト的、あるいは音韻的実現から分離する。 これにより、パーティションロジックは生成設計リソースとしても、相補性を伝えるツールとしても有用である。

関連論文リスト

• Logic-Based Artificial Intelligence Algorithms Supporting Categorical Semantics [0.0]
  我々は,ホルン論理の規則を用いて,カルテシアン圏の対象を推論するための前方連鎖法と正規形式アルゴリズムを開発した。 また、一階述語論理の多階述語理論、文脈、断片化をサポートするために一階述語統一を適応する。
  論文  参考訳（メタデータ） (2025-04-27T18:02:02Z)
• LOGICSEG: Parsing Visual Semantics with Neural Logic Learning and Reasoning [73.98142349171552]
  LOGICSEGは、神経誘導学習と論理推論をリッチデータとシンボリック知識の両方に統合する、全体論的視覚意味論である。 ファジィ論理に基づく連続的な緩和の間、論理式はデータとニューラルな計算グラフに基礎を置いており、論理によるネットワークトレーニングを可能にする。 これらの設計によりLOGICSEGは、既存のセグメンテーションモデルに容易に統合できる汎用的でコンパクトなニューラル論理マシンとなる。
  論文  参考訳（メタデータ） (2023-09-24T05:43:19Z)
• Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning [101.26814728062065]
  大規模言語モデル(LLM)は人間のような推論能力を示しているが、それでも複雑な論理的問題に悩まされている。 本稿では,論理問題の解法を改善するために,LLMとシンボリックソルバを統合した新しいフレームワークであるLogic-LMを紹介する。
  論文  参考訳（メタデータ） (2023-05-20T22:25:38Z)
• Morpho-logic from a Topos Perspective: Application to symbolic AI [2.781492199939609]
  モーダル論理は記号的人工知能(AI)における多くの推論作業に有用であることが証明された 本稿では, 数学的形態学とモーダル論理の関連性をさらに発展させ, 一般化することを提案する。 モーダル論理は, 具体的かつ効率的な演算子を定義し, 新たな知識の修正, 統合, 誘拐, あるいは空間的推論にも適していることを示す。
  論文  参考訳（メタデータ） (2023-03-08T21:24:25Z)
• Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
  パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文) 論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。 ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
  論文  参考訳（メタデータ） (2022-07-04T14:38:49Z)
• Logiformer: A Two-Branch Graph Transformer Network for Interpretable Logical Reasoning [10.716971124214332]
  テキストの論理的推論に2分岐グラフ変換器ネットワークを利用するエンドツーエンドモデルLogiformerを提案する。 テキストを2つの論理単位に分割し,それぞれ論理グラフと構文グラフを構築する。 推論プロセスは、人間の認知と整合した論理単位を用いることで解釈可能性を提供する。
  論文  参考訳（メタデータ） (2022-05-02T08:34:59Z)
• Logic-Driven Context Extension and Data Augmentation for Logical Reasoning of Text [65.24325614642223]
  論理的な記号や表現をテキストで理解し、答えにたどり着くよう提案します。 このような論理的情報に基づいて,文脈拡張フレームワークとデータ拡張アルゴリズムを提案する。 本手法は最先端の性能を実現し,論理駆動コンテキスト拡張フレームワークとデータ拡張アルゴリズムの両方が精度向上に寄与する。
  論文  参考訳（メタデータ） (2021-05-08T10:09:36Z)

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

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