論文の概要: The ERA of FOLE: Foundation
- arxiv url: http://arxiv.org/abs/1512.07430v4
- Date: Fri, 21 Apr 2023 18:13:22 GMT
- ステータス: 処理完了
- システム内更新日: 2023-04-26 02:04:34.174061
- Title: The ERA of FOLE: Foundation
- Title（参考訳）: フォレの時代:財団
- Authors: Robert E. Kent
- Abstract要約: 本稿では,一階論理環境 tt Family FOLE の表現と解釈の議論を継続する。
多くの)一階述語論理の形式論と意味論は、Emphclassification形式とEmphinterpretation形式の両方で発展させることができる。
一般に、tt Family FOLE表現は概念的アプローチを使用し、制度の理論、形式的概念分析、情報フローと完全に互換性がある。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: This paper discusses the representation of ontologies in the first-order
logical environment {\ttfamily FOLE}. An ontology defines the primitives with
which to model the knowledge resources for a community of discourse. These
primitives consist of classes, relationships and properties. An ontology uses
formal axioms to constrain the interpretation of these primitives. In short, an
ontology specifies a logical theory. This paper continues the discussion of the
representation and interpretation of ontologies in the first-order logical
environment {\ttfamily FOLE}. The formalism and semantics of (many-sorted)
first-order logic can be developed in both a \emph{classification form} and an
\emph{interpretation form}. Two papers, the current paper, defining the concept
of a structure, and ``The {\ttfamily ERA} of {\ttfamily FOLE}:
Superstructure'', defining the concept of a sound logic, represent the
\emph{classification form}, corresponding to ideas discussed in the
``Information Flow Framework''. Two papers, ``The {\ttfamily FOLE} Table'',
defining the concept of a relational table, and ``The {\ttfamily FOLE}
Database'', defining the concept of a relational database, represent the
\emph{interpretation form}, expanding on material found in the paper ``Database
Semantics''. Although the classification form follows the
entity-relationship-attribute data model of Chen, the interpretation form
incorporates the relational data model of Codd. A fifth paper ``{\ttfamily
FOLE} Equivalence'' proves that the classification form is equivalent to the
interpretation form. In general, the {\ttfamily FOLE} representation uses a
conceptual structures approach, that is completely compatible with the theory
of institutions, formal concept analysis and information flow.
- Abstract（参考訳）: 本稿では,一階論理環境におけるオントロジーの表現について論じる。
オントロジーは、会話のコミュニティの知識資源をモデル化するプリミティブを定義する。
これらのプリミティブはクラス、リレーションシップ、プロパティから構成される。
オントロジーはこれらのプリミティブの解釈を制約するために形式公理を使用する。
要するに、オントロジーは論理理論を特定する。
本稿では,一階論理環境におけるオントロジの表現と解釈の議論を続行する。
多種一階論理の形式論と意味論は、 \emph{classification form} と \emph{interpretation form} の両方で発展することができる。
2つの論文、すなわち、構造の概念を定義する現在の論文、および {\ttfamily fole} の ‘the {\ttfamily era}: superstructure'' は、音論理の概念を定義するもので、'情報フローフレームワーク'で議論されたアイデアに対応する \emph{classification form} を表す。
関係表の概念を定義する ``the {\ttfamily fole} table'' と、関係データベースの概念を定義する ``the {\ttfamily fole} database'' の 2 つの論文は、"`database semantics'' という論文で見つかった資料を拡張して、 \emph{interpretation form} を表す。
分類形式はChenのエンティティ-リレーショナル-属性データモデルに従っているが、解釈形式はCoddのリレーショナルデータモデルを含んでいる。
第5の論文 ``{\tt Family FOLE} Equivalence'' は、分類形式が解釈形式と等価であることを証明している。
一般に、 FOLE 表現は概念構造的アプローチを用いており、制度の理論、形式的概念分析、情報の流れと完全に互換性がある。
関連論文リスト
- A Complexity-Based Theory of Compositionality [53.025566128892066]
AIでは、構成表現は配布外一般化の強力な形式を可能にすることができる。
ここでは、構成性に関する直観を考慮し、拡張する構成性の公式な定義を提案する。
この定義は概念的には単純で量的であり、アルゴリズム情報理論に基礎を置いており、あらゆる表現に適用できる。
論文 参考訳（メタデータ） (2024-10-18T18:37:27Z) - Explainable Moral Values: a neuro-symbolic approach to value classification [1.4186974630564675]
本研究では、オントロジーに基づく推論と、説明可能な値分類のための機械学習技術の統合について検討する。
道徳的価値のオントロジ的形式化をモラル・ファンデーションズ・セオリー(英語版)のように頼りにすることで、テクティサンドラのニューラルシンボリック・リセサイザーは、ある文で満たされる価値を推測するために用いられる。
推理器の推論のみに依存すると、他のより複雑な手法に匹敵する説明可能な分類が得られることを示す。
論文 参考訳（メタデータ） (2024-10-16T14:53:13Z) - Non-monotonic Extensions to Formal Concept Analysis via Object Preferences [3.4873708563238277]
属性の集合間の非単調条件を導入し、オブジェクトの集合よりも好みを仮定する。
この条件は、非単調性に対する仮定と一致した帰結関係をもたらすことを示す。
この典型的概念の概念は、形式的概念分析へのKLMスタイルの典型性のさらなる導入である。
論文 参考訳（メタデータ） (2024-10-05T15:01:00Z) - The Geometry of Categorical and Hierarchical Concepts in Large Language Models [15.126806053878855]
線形表現仮説の形式化をベクトルとして(例:is_animal)特徴を表現するために拡張する方法を示す。
形式化を用いて、概念の階層構造とそれらの表現の幾何学との関係を証明する。
我々はこれらの理論結果をGemmaとLLaMA-3大言語モデルで検証し、WordNetのデータを用いて900以上の階層的な概念の表現を推定する。
論文 参考訳（メタデータ） (2024-06-03T16:34:01Z) - A Note on an Inferentialist Approach to Resource Semantics [48.65926948745294]
「推論主義」とは、推論行動の観点で意味が与えられるという考え方である。
本稿では,「推論主義」が資源意味論の汎用的で表現力豊かな枠組みを実現する方法を示す。
論文 参考訳（メタデータ） (2024-05-10T14:13:21Z) - Inferentialist Resource Semantics [48.65926948745294]
本稿では,リソースセマンティクスにおいて,推論が汎用的で表現力豊かなフレームワークを実現する方法を示す。
推論主義は、バンドルインプリケーションの論理のアサーションベースのアプローチをいかにシームレスに組み込むか。
この統合により、直感的で親しみやすい方法で、共有リソースと分離リソースの推論が可能になる。
論文 参考訳（メタデータ） (2024-02-14T14:54:36Z) - An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。
応用例としては、メタ理論的性質の形式的解析と検証がある。
論文 参考訳（メタデータ） (2023-12-08T09:32:26Z) - Lattice-preserving $\mathcal{ALC}$ ontology embeddings with saturation [50.05281461410368]
OWL表現の埋め込みを生成するため,順序保存型埋め込み法を提案する。
本手法は,いくつかの知識ベース完了タスクにおいて,最先端の組込み手法よりも優れていることを示す。
論文 参考訳（メタデータ） (2023-05-11T22:27:51Z) - Semantic Role Labeling Meets Definition Modeling: Using Natural Language
to Describe Predicate-Argument Structures [104.32063681736349]
本稿では,離散ラベルの代わりに自然言語定義を用いて述語-代名詞構造を記述する手法を提案する。
PropBankスタイルおよびFrameNetスタイル、依存性ベースおよびスパンベースSRLに関する実験と分析は、解釈可能な出力を持つフレキシブルモデルが必ずしも性能を犠牲にしないことを示す。
論文 参考訳（メタデータ） (2022-12-02T11:19:16Z) - Topos and Stacks of Deep Neural Networks [12.300163392308807]
既知のすべてのディープニューラルネットワーク(DNN)は、標準的なGrothendieckのトポのオブジェクトに対応する。
層内の不変構造(CNNやLSTMなど)は、Giraudのスタックに対応している。
ネットワークのセマンティック機能は、そのような言語で理論を表現し、入力データに関する出力の質問に答える能力である。
論文 参考訳（メタデータ） (2021-06-28T11:50:06Z) - Context-theoretic Semantics for Natural Language: an Algebraic Framework [0.0]
本稿では,単語,句,文がすべてベクトルとして表現される自然言語意味論の枠組みを提案する。
単語のベクトル表現は、体上の代数の要素とみなすことができる。
論文 参考訳（メタデータ） (2020-09-22T13:31:37Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。