論文の概要: da Costa and Tarski meet Goguen and Carnap: a novel approach for ontological heterogeneity based on consequence systems

• arxiv url: http://arxiv.org/abs/2602.15158v1
• Date: Mon, 16 Feb 2026 19:58:35 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-02-18 16:03:17.89204
• Title: da Costa and Tarski meet Goguen and Carnap: a novel approach for ontological heterogeneity based on consequence systems
• Title（参考訳）: da Costa と Tarski が Goguen と Carnap に会い : 結果体系に基づく存在論的異質性の新しいアプローチ
• Authors: Gabriel Rocha,
• Abstract要約: 本稿では, カルナピアン・ゴグエニズムから大きく引き出された, 存在論的異質性に対する新しいアプローチを提案する。 ダ・コスタリアン=タルスキアニズム(da Costian-Tarskianism)は、ダ・コスタリアンの数学における寛容原理に因んで命名された。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: This paper presents a novel approach for ontological heterogeneity that draws heavily from Carnapian-Goguenism, as presented by Kutz, Mossakowski and Lücke (2010). The approach is provisionally designated da Costian-Tarskianism, named after da Costa's Principle of Tolerance in Mathematics and after Alfred Tarski's work on the concept of a consequence operator. The approach is based on the machinery of consequence systems, as developed by Carnielli et al. (2008) and Citkin and Muravitsky (2022), and it introduces the idea of an extended consequence system, which is a consequence system extended with ontological axioms. The paper also defines the concept of an extended development graph, which is a graph structure that allows ontologies to be related via morphisms of extended consequence systems, and additionally via other operations such as fibring and splitting. Finally, we discuss the implications of this approach for the field of applied ontology and suggest directions for future research.
• Abstract（参考訳）: 本稿は、Kutz, Mossakowski and Lücke (2010) が示したように、カルナピアン・ゴーグエニズムから大きく引き寄せる、存在論的不均一性に対する新しいアプローチを提案する。 ダ・コスタリアン=タルスキアニズム(da Costian-Tarskianism)は、ダ・コスタリアン=タルスキアニズム(da Costian-Tarskianism)の略で、ダ・コスタリカの数学における寛容原理と、アルフレート・タルスキの帰結作用素の概念に関する業績にちなむ。 このアプローチはCarnielli et al (2008) と Citkin and Muravitsky (2022) によって開発された結果体系の機械に基づいており、存在論的公理で拡張された結果体系である拡張帰結系の概念を導入している。 また、拡張開発グラフの概念も定義しており、このグラフ構造は、オントロジが拡張結果系の射と、フィブリングや分割といった他の操作によって関連付けられるようにしている。 最後に,本手法が応用オントロジーの分野に与える影響について考察し,今後の研究の方向性を提案する。

関連論文リスト

• The Neurosymbolic Frontier of Nonuniform Ellipticity: Formalizing Sharp Schauder Theory via Topos-Theoretic Reasoning Models [0.0]
  非一様楕円正則理論とニューロシンボリック大推論モデル(LRM)の最近のブレークスルーを示す。 スライストポスにおける分類的コリミットとして推論過程をモデル化することにより、LEMが変分計算の「ダークサイド」を自律的にナビゲートする方法を実証する。
  論文  参考訳（メタデータ） (2026-02-11T08:24:57Z)
• Newton to Einstein: Axiom-Based Discovery via Game Design [55.30047000068118]
  本稿では,ルール進化システムとして科学調査を再放送するゲームデザインフレームワークを提案する。 固定された仮定内で動作する従来のMLアプローチとは異なり、本手法は新たな理論構造の発見を可能にする。
  論文  参考訳（メタデータ） (2025-09-05T18:59:18Z)
• Systemic Constraints of Undecidability [0.0]
  本稿では,システムの構造的特性としての計算不能を緩和するシステム的不決定性の理論を提案する。 決定不能なシステムの計算に機能的に関与するサブシステムは、その決定不能性を継承する。 我々のフレームワークは、オラクルの模倣を解除し、アーキテクチャの革新によって計算限界を回避できるという見解に挑戦する。
  論文  参考訳（メタデータ） (2025-06-21T22:56:26Z)
• The Relativity of Causal Knowledge [4.051523221722475]
  人工知能の最近の進歩は、純粋に予測可能なシステムの限界を明らかにし、因果的および協調的推論へのシフトを要求する。 本稿では、構造因果モデル(SCM)が本質的に不完全であり、関係ネットワークに埋め込まれた主観的表現であることを示す因果知識の相対性について紹介する。
  論文  参考訳（メタデータ） (2025-03-13T16:24:48Z)
• Nonparametric Partial Disentanglement via Mechanism Sparsity: Sparse Actions, Interventions and Sparse Temporal Dependencies [58.179981892921056]
  この研究は、メカニズムのスパーシティ正則化(英語版)と呼ばれる、アンタングルメントの新たな原理を導入する。 本稿では,潜在要因を同時に学習することで,絡み合いを誘発する表現学習手法を提案する。 学習した因果グラフをスパースに規則化することにより、潜伏因子を復元できることを示す。
  論文  参考訳（メタデータ） (2024-01-10T02:38:21Z)
• A Semantic Approach to Decidability in Epistemic Planning (Extended Version) [72.77805489645604]
  我々は決定可能性を達成するために新しい意味論的アプローチを用いる。 具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。 我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
  論文  参考訳（メタデータ） (2023-07-28T11:26:26Z)
• DynGFN: Towards Bayesian Inference of Gene Regulatory Networks with GFlowNets [81.75973217676986]
  遺伝子調節ネットワーク(GRN)は、遺伝子発現と細胞機能を制御する遺伝子とその産物間の相互作用を記述する。 既存の方法は、チャレンジ(1)、ダイナミックスから循環構造を識別すること、あるいはチャレンジ(2)、DAGよりも複雑なベイズ後部を学習することに焦点を当てるが、両方ではない。 本稿では、RNAベロシティ技術を用いて遺伝子発現の「速度」を推定できるという事実を活用し、両方の課題に対処するアプローチを開発する。
  論文  参考訳（メタデータ） (2023-02-08T16:36:40Z)
• Realising Active Inference in Variational Message Passing: the Outcome-blind Certainty Seeker [3.5450828190071655]
  本稿では、離散時間および状態空間におけるアクティブ推論フレームワークの完全な数学的処理について述べる。 アクティブ推論と変動メッセージパッシングの理論的関係を活用します。 完全因子化変分分布を用いることで, 期待自由エネルギーの簡易化が図れる。
  論文  参考訳（メタデータ） (2021-04-23T19:40:55Z)
• Formalising Concepts as Grounded Abstractions [68.24080871981869]
  このレポートは、表現学習が生データから概念を誘導する方法を示しています。 このレポートの主な技術的目標は、表現学習のテクニックが概念空間の格子理論的定式化とどのように結婚できるかを示すことである。
  論文  参考訳（メタデータ） (2021-01-13T15:22:01Z)
• Developing Constrained Neural Units Over Time [81.19349325749037]
  本稿では,既存のアプローチと異なるニューラルネットワークの定義方法に焦点をあてる。 ニューラルネットワークの構造は、データとの相互作用にも拡張される制約の特別なクラスによって定義される。 提案した理論は時間領域にキャストされ, データを順序づけられた方法でネットワークに提示する。
  論文  参考訳（メタデータ） (2020-09-01T09:07:25Z)

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

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