論文の概要: The ERA of FOLE: Foundation
- arxiv url: http://arxiv.org/abs/1512.07430v2
- Date: Mon, 13 Mar 2023 19:27:49 GMT
- ステータス: 処理完了
- システム内更新日: 2023-03-25 04:58:14.666092
- Title: The ERA of FOLE: Foundation
- Title(参考訳): フォレの時代:財団
- Authors: Robert E. Kent
- Abstract要約: 本論文は,ERAデータモデルに対する厳密な数学的表現を提供する3つの論文のシリーズの最初のものである。
最初の2つの論文は、FOLEが一階論理論理の形式主義と意味論をどのように表現しているかを示している。
第3の論文は、(Kent 2013)で記述された変換パスの観点から、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 FOLE (Kent 2013). An ontology defines the primitives with
which to model the knowledge resources for a community of discourse (Gruber
2009). These primitives, consisting of classes, relationships and properties,
are represented by the entity-relationship-attribute ERA data model (Chen
1976). An ontology uses formal axioms to constrain the interpretation of these
primitives. In short, an ontology specifies a logical theory. This paper is the
first in a series of three papers that provide a rigorous mathematical
representation for the ERA data model in particular, and ontologies in general,
within the first-order logical environment FOLE. The first two papers show how
FOLE represents the formalism and semantics of (many-sorted) first-order logic
in a classification form corresponding to ideas discussed in the Information
Flow Framework (IFF). In particular, this first paper provides a foundation
that connects elements of the ERA data model with components of the first-order
logical environment FOLE, and the second paper provides a superstructure that
extends FOLE to the formalisms of first-order logic. The third paper defines an
interpretation of FOLE in terms of the transformational passage, first
described in (Kent 2013), from the classification form of first-order logic to
an equivalent interpretation form, thereby defining the formalism and semantics
of first-order logical/relational database systems (Kent 2011). The FOLE
representation follows a conceptual structures approach, that is completely
compatible with formal concept analysis (Ganter and Wille 1999) and information
flow (Barwise and Seligman 1997).
- Abstract(参考訳): 本稿では,一階論理環境FOLEにおけるオントロジーの表現について論じる(Kent 2013)。
オントロジーは、言論コミュニティの知識資源をモデル化するプリミティブを定義している(2009年10月)。
これらのプリミティブはクラス、関係、プロパティで構成され、entity-relationship-attribute era data model (chen 1976)によって表現される。
オントロジーはこれらのプリミティブの解釈を制約するために形式公理を使用する。
要するに、オントロジーは論理理論を特定する。
本稿では,一階論理環境において,特にデータモデル,および一般にオントロジーの厳密な数学的表現を提供する3つの論文の第1報である。
最初の2つの論文は、情報フローフレームワーク(IFF)で議論されたアイデアに対応する分類形式で、FOLEが(多くの分類された)一階述語論理の形式と意味を表現する方法を示している。
特に,本論文では,ERAデータモデルの要素を一階論理環境FOLEの構成要素に結合する基盤を提供するとともに,第2報では,FOLEを一階論理の形式に拡張するスーパー構造を提供する。
第3の論文では、FOLEの解釈を、1次論理の分類形式から等価な解釈形式への変換パス(Kent 2013)の観点から定義し、従って1次論理/関係データベースシステムの形式と意味を定義する(Kent 2011)。
FOLE表現は、形式的な概念解析(Ganter and Wille 1999)と情報フロー(Barwise and Seligman 1997)と完全に互換性のある概念構造アプローチに従う。
関連論文リスト
- An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。
応用例としては、メタ理論的性質の形式的解析と検証がある。
論文 参考訳(メタデータ) (2023-12-08T09:32:26Z) - LOGICSEG: Parsing Visual Semantics with Neural Logic Learning and
Reasoning [73.98142349171552]
LOGICSEGは、神経誘導学習と論理推論をリッチデータとシンボリック知識の両方に統合する、全体論的視覚意味論である。
ファジィ論理に基づく連続的な緩和の間、論理式はデータとニューラルな計算グラフに基礎を置いており、論理によるネットワークトレーニングを可能にする。
これらの設計によりLOGICSEGは、既存のセグメンテーションモデルに容易に統合できる汎用的でコンパクトなニューラル論理マシンとなる。
論文 参考訳(メタデータ) (2023-09-24T05:43:19Z) - OntoMath${}^{\mathbf{PRO}}$ 2.0 Ontology: Updates of the Formal Model [68.8204255655161]
主な関心は、Open Linked Dataクラウドにおける数学的ステートメントを表現するための形式モデルの開発である。
提案モデルは、自然言語の数学的テキストから数学的事実を抽出し、これらの事実をLinked Open Dataとして表現するアプリケーションを対象としている。
このモデルは OntoMath$mathrmPRO$ ontology of professional mathematics の新バージョンの開発に使用される。
論文 参考訳(メタデータ) (2023-03-17T20:29:17Z) - Morpho-logic from a Topos Perspective: Application to symbolic AI [2.781492199939609]
モーダル論理は記号的人工知能(AI)における多くの推論作業に有用であることが証明された
本稿では, 数学的形態学とモーダル論理の関連性をさらに発展させ, 一般化することを提案する。
モーダル論理は, 具体的かつ効率的な演算子を定義し, 新たな知識の修正, 統合, 誘拐, あるいは空間的推論にも適していることを示す。
論文 参考訳(メタデータ) (2023-03-08T21:24:25Z) - Semantic Role Labeling Meets Definition Modeling: Using Natural Language
to Describe Predicate-Argument Structures [104.32063681736349]
本稿では,離散ラベルの代わりに自然言語定義を用いて述語-代名詞構造を記述する手法を提案する。
PropBankスタイルおよびFrameNetスタイル、依存性ベースおよびスパンベースSRLに関する実験と分析は、解釈可能な出力を持つフレキシブルモデルが必ずしも性能を犠牲にしないことを示す。
論文 参考訳(メタデータ) (2022-12-02T11:19:16Z) - MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure [129.8481568648651]
複雑な実生活シナリオにおけるモデルの論理的推論能力を調べるためのベンチマークを提案する。
推論のマルチホップ連鎖に基づいて、説明形式は3つの主成分を含む。
この新たな説明形式を用いて,現在のベストモデルの性能を評価した。
論文 参考訳(メタデータ) (2022-10-22T16:01:13Z) - A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。
対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
論文 参考訳(メタデータ) (2021-10-18T10:45:59Z) - Topos and Stacks of Deep Neural Networks [12.300163392308807]
既知のすべてのディープニューラルネットワーク(DNN)は、標準的なGrothendieckのトポのオブジェクトに対応する。
層内の不変構造(CNNやLSTMなど)は、Giraudのスタックに対応している。
ネットワークのセマンティック機能は、そのような言語で理論を表現し、入力データに関する出力の質問に答える能力である。
論文 参考訳(メタデータ) (2021-06-28T11:50:06Z) - Decomposing and Recomposing Event Structure [4.270553193574436]
これをrole、entity type、event-level semantic graphと共同で導入する。
従来の理論的動機付けされた文書レベルの生成モデルと密接に一致した型群を同定する。
論文 参考訳(メタデータ) (2021-03-18T17:16:43Z) - Context-theoretic Semantics for Natural Language: an Algebraic Framework [0.0]
本稿では,単語,句,文がすべてベクトルとして表現される自然言語意味論の枠組みを提案する。
単語のベクトル表現は、体上の代数の要素とみなすことができる。
論文 参考訳(メタデータ) (2020-09-22T13:31:37Z) - Refining Implicit Argument Annotation for UCCA [6.873471412788333]
本稿では,Universal Cognitive Conceptualの基盤層上に暗黙的アノテーションを具体化するためのタイポロジーを提案する。
提案された暗黙的な議論分類は暗黙的な役割解釈の理論によって駆動され、Deictic, Generic, Genre-based, Type-identible, Non-specific, Iterated-setの6つのタイプから構成される。
論文 参考訳(メタデータ) (2020-05-26T17:24:15Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。