論文の概要: 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 表現は概念構造的アプローチを用いており、制度の理論、形式的概念分析、情報の流れと完全に互換性がある。
関連論文リスト
- 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 [50.05281461410368]
論理記述(DL)に表される意味論であるWeのグラフ上に埋め込みを生成するための順序保存型埋め込み法を提案する。
本手法は,いくつかの知識ベース完了タスクにおいて,最先端の組込み手法よりも優れていることを示す。
論文 参考訳(メタデータ) (2023-05-11T22:27:51Z) - 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) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。