論文の概要: To Be or Not To Be: Vector ontologies as a truly formal ontological framework

• arxiv url: http://arxiv.org/abs/2505.14940v1
• Date: Tue, 20 May 2025 21:58:38 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-05-22 15:42:58.768853
• Title: To Be or Not To Be: Vector ontologies as a truly formal ontological framework
• Title（参考訳）: To Be or Not To Be: 真の形式的存在論フレームワークとしてのベクトルオントロジー
• Authors: Kaspar Rothenfusser,
• Abstract要約: エドマンド・ハッサールは20世紀初頭に「形式オントロジー」という言葉を作った。 多くの著者やフッサール自身も、彼らが公式な基礎情報であると主張するものを開発した。 私は、検査において、これらの主張はどれも真のハッサール的な意味では形式的ではないと論じます。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Since Edmund Husserl coined the term "Formal Ontologies" in the early 20th century, a field that identifies itself with this particular branch of sciences has gained increasing attention. Many authors, and even Husserl himself have developed what they claim to be formal ontologies. I argue that under close inspection, none of these so claimed formal ontologies are truly formal in the Husserlian sense. More concretely, I demonstrate that they violate the two most important notions of formal ontology as developed in Husserl's Logical Investigations, namely a priori validity independent of perception and formalism as the total absence of content. I hence propose repositioning the work previously understood as formal ontology as the foundational ontology it really is. This is to recognize the potential of a truly formal ontology in the Husserlian sense. Specifically, I argue that formal ontology following his conditions, allows us to formulate ontological structures, which could capture what is more objectively without presupposing a particular framework arising from perception. I further argue that the ability to design the formal structure deliberately allows us to create highly scalable and interoperable information artifacts. As concrete evidence, I showcase that a class of formal ontology, which uses the axioms of vector spaces, is able to express most of the conceptualizations found in foundational ontologies. Most importantly, I argue that many information systems, specifically artificial intelligence, are likely already using some type of vector ontologies to represent reality in their internal worldviews and elaborate on the evidence that humans do as well. I hence propose a thorough investigation of the ability of vector ontologies to act as a human-machine interoperable ontological framework that allows us to understand highly sophisticated machines and machines to understand us.
• Abstract（参考訳）: 20世紀初頭にエドマンド・ハッサール(Edmund Husserl)が「形式オントロジー(Formal Ontology)」という用語を提唱して以来、科学の特定の分野と同一視する分野が注目されるようになった。 多くの著者、そしてフッサール自身でさえ、彼らが形式的なオントロジーであると主張するものを開発した。 私は、綿密な検査の下で、これらの主張された形式的なオントロジーはどれも、ハッサール的な意味で真に形式的ではないと論じます。 より具体的には、フッサールの論理的調査(英語版)で開発された形式オントロジーの2つの最も重要な概念、すなわち、内容の完全な欠如として知覚と形式主義に依存しない優先的妥当性に違反することを実証する。 そこで,本稿では,それまで形式オントロジーとして理解されていた作品を,本質的なオントロジーとして再配置することを提案する。 これは、ハッサールの意味において真に形式的なオントロジーの可能性を認識することである。 特に、彼の条件に従う形式オントロジーは、知覚から生じる特定の枠組みを前提にすることなく、より客観的なものを捉えることができる存在論的構造を定式化することができると私は論じます。 さらに、フォーマルな構造を意図的に設計することで、高度にスケーラブルで相互運用可能な情報アーチファクトを作成できると私は主張します。 具体的な証拠として、ベクトル空間の公理を用いた形式オントロジーのクラスが、基礎オントロジーに見られる概念化のほとんどを表現できることを示す。 最も重要なことは、多くの情報システム、特に人工知能は、すでにある種のベクトルオントロジーを使って、内的世界観における現実を表現し、人間が同様に行うことの証拠を精査していることです。 そこで本研究では,ベクトルオントロジーが人間と機械の相互運用可能なオントロジーの枠組みとして機能し,高度に洗練された機械や機械の理解を可能にすることを提案する。

関連論文リスト

• A Theory of Formalisms for Representing Knowledge [6.577225204907418]
  フォーマリズムがAIの知識を表現するのに最適なのかという長年にわたる論争があった。 我々は,私たちが関心を持っている様々な知識表現形式を捉えるための一般的な枠組みを提案する。
  論文  参考訳（メタデータ） (2024-12-16T15:13:30Z)
• A Complexity-Based Theory of Compositionality [53.025566128892066]
  AIでは、構成表現は配布外一般化の強力な形式を可能にすることができる。 ここでは、構成性に関する直観を考慮し、拡張する構成性の公式な定義を提案する。 この定義は概念的には単純で量的であり、アルゴリズム情報理論に基礎を置いており、あらゆる表現に適用できる。
  論文  参考訳（メタデータ） (2024-10-18T18:37:27Z)
• Semantics, Ontology and Explanation [0.0]
  本稿では, オントロジアンパックと哲学・科学における他の形態の説明との関係について論じる。 また,人工知能分野におけるオントロジアンパックと他の形態の説明との関係についても論じる。
  論文  参考訳（メタデータ） (2023-04-21T16:54:34Z)
• Fact-driven Logical Reasoning for Machine Reading Comprehension [82.58857437343974]
  私たちは、常識と一時的な知識のヒントの両方を階層的にカバーする動機があります。 具体的には,文の背骨成分を抽出し,知識単位の一般的な定式化を提案する。 次に、事実単位の上にスーパーグラフを構築し、文レベル(事実群間の関係)と実体レベルの相互作用の利点を享受する。
  論文  参考訳（メタデータ） (2021-05-21T13:11:13Z)
• A Description Logic for Analogical Reasoning [28.259681405091666]
  我々は,類推による推論に依拠する,妥当な知識の欠如を推測するメカニズムを提案する。 これは、記述論理の設定の中でアナログ推論を研究する最初の論文です。
  論文  参考訳（メタデータ） (2021-05-10T19:06:07Z)
• Formalising Concepts as Grounded Abstractions [68.24080871981869]
  このレポートは、表現学習が生データから概念を誘導する方法を示しています。 このレポートの主な技術的目標は、表現学習のテクニックが概念空間の格子理論的定式化とどのように結婚できるかを示すことである。
  論文  参考訳（メタデータ） (2021-01-13T15:22:01Z)
• Overview of chemical ontologies [0.0]
  オントロジーは形式的かつ意味的な方法である分野の知識を順序付け、相互接続する。 化学分析法に関するオントロジー、名前反応に関するオントロジー、科学単位に関するオントロジーについて述べる。
  論文  参考訳（メタデータ） (2020-02-07T10:42:22Z)

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

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