論文の概要: Morpho-logic from a Topos Perspective: Application to symbolic AI
- arxiv url: http://arxiv.org/abs/2303.04895v1
- Date: Wed, 8 Mar 2023 21:24:25 GMT
- ステータス: 処理完了
- システム内更新日: 2023-03-10 17:00:26.867337
- Title: Morpho-logic from a Topos Perspective: Application to symbolic AI
- Title(参考訳): トポスの視点からみたモルフォロジー:シンボリックAIへの応用
- Authors: Marc Aiguier, Isabelle Bloch, Salim Nibouche and Ramon Pino Perez
- Abstract要約: モーダル論理は記号的人工知能(AI)における多くの推論作業に有用であることが証明された
本稿では, 数学的形態学とモーダル論理の関連性をさらに発展させ, 一般化することを提案する。
モーダル論理は, 具体的かつ効率的な演算子を定義し, 新たな知識の修正, 統合, 誘拐, あるいは空間的推論にも適していることを示す。
- 参考スコア(独自算出の注目度): 2.781492199939609
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: Modal logics have proved useful for many reasoning tasks in symbolic
artificial intelligence (AI), such as belief revision, spatial reasoning, among
others. On the other hand, mathematical morphology (MM) is a theory for
non-linear analysis of structures, that was widely developed and applied in
image analysis. Its mathematical bases rely on algebra, complete lattices,
topology. Strong links have been established between MM and mathematical
logics, mostly modal logics. In this paper, we propose to further develop and
generalize this link between mathematical morphology and modal logic from a
topos perspective, i.e. categorial structures generalizing space, and
connecting logics, sets and topology. Furthermore, we rely on the internal
language and logic of topos. We define structuring elements, dilations and
erosions as morphisms. Then we introduce the notion of structuring
neighborhoods, and show that the dilations and erosions based on them lead to a
constructive modal logic, for which a sound and complete proof system is
proposed. We then show that the modal logic thus defined (called morpho-logic
here), is well adapted to define concrete and efficient operators for revision,
merging, and abduction of new knowledge, or even spatial reasoning.
- Abstract(参考訳): モーダル論理は、信念の修正や空間的推論など、象徴的人工知能(AI)における多くの推論タスクに有用であることが証明されている。
一方、数学的形態学 (MM) は、画像解析に広く開発され応用された構造の非線形解析の理論である。
その数学的基盤は代数、完全格子、位相に依存する。
MMと数学的論理、主にモーダル論理の間に強い結びつきが確立されている。
本稿では,空間を一般化する分類構造,論理,集合,トポロジーを連結するトポスの観点から,数学的形態学と様相論理の関連をさらに発展・一般化する。
さらに、私たちはトポの内部言語とロジックに依存しています。
構造要素、拡張、浸食を射として定義する。
次に,近傍の構造化の概念を紹介し,それらに基づく拡張と浸食が,音と完全証明システムを提案する構成的様相論理に繋がることを示す。
このように定義された様相論理(ここでモルフォロジーと呼ばれる)は、新しい知識の修正、マージ、推論、さらには空間的推論のための具体的かつ効率的な演算子を定義するのに適している。
関連論文リスト
- Toward Conceptual Modeling for Propositional Logic: Propositions as Events [0.0]
本稿では,物間機械(TM)モデルと呼ばれる高レベル図形表現に命題論理言語を適用することを考察する。
究極的な研究目的は、TMモデリングと命題論理の完全なセマンティックアライメントを単一の構造に求めることである。
論文 参考訳(メタデータ) (2024-09-24T03:45:24Z) - LOGICSEG: Parsing Visual Semantics with Neural Logic Learning and
Reasoning [73.98142349171552]
LOGICSEGは、神経誘導学習と論理推論をリッチデータとシンボリック知識の両方に統合する、全体論的視覚意味論である。
ファジィ論理に基づく連続的な緩和の間、論理式はデータとニューラルな計算グラフに基礎を置いており、論理によるネットワークトレーニングを可能にする。
これらの設計によりLOGICSEGは、既存のセグメンテーションモデルに容易に統合できる汎用的でコンパクトなニューラル論理マシンとなる。
論文 参考訳(メタデータ) (2023-09-24T05:43:19Z) - Modeling Hierarchical Reasoning Chains by Linking Discourse Units and
Key Phrases for Reading Comprehension [80.99865844249106]
本稿では,論理的推論の基盤として,対話レベルと単語レベルの両方の文脈を扱う総合グラフネットワーク(HGN)を提案する。
具体的には、ノードレベルの関係とタイプレベルの関係は、推論過程におけるブリッジと解釈できるが、階層的な相互作用機構によってモデル化される。
論文 参考訳(メタデータ) (2023-06-21T07:34:27Z) - Query Structure Modeling for Inductive Logical Reasoning Over Knowledge
Graphs [67.043747188954]
KGに対する帰納的論理的推論のための構造モデル付きテキスト符号化フレームワークを提案する。
線形化されたクエリ構造とエンティティを、事前訓練された言語モデルを使ってエンコードして、回答を見つける。
2つの帰納的論理推論データセットと3つの帰納的推論データセットについて実験を行った。
論文 参考訳(メタデータ) (2023-05-23T01:25:29Z) - MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure [129.8481568648651]
複雑な実生活シナリオにおけるモデルの論理的推論能力を調べるためのベンチマークを提案する。
推論のマルチホップ連鎖に基づいて、説明形式は3つの主成分を含む。
この新たな説明形式を用いて,現在のベストモデルの性能を評価した。
論文 参考訳(メタデータ) (2022-10-22T16:01:13Z) - Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文)
論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。
ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
論文 参考訳(メタデータ) (2022-07-04T14:38:49Z) - On syntactically similar logic programs and sequential decompositions [0.0]
ルールベースの推論は、論理プログラムを通じて人工知能研究において顕著に形式化された人間の知能の重要な部分である。
複雑な物体を素体の合成として記述することは、コンピュータ科学や科学全般において一般的な戦略である。
一段階の削減によって、異なるドメインにわたるクエリに、どのように類似性を使って答えることができるかを示す。
論文 参考訳(メタデータ) (2021-09-11T15:22:17Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。