論文の概要: Order-Sorted Intensional Logic: Expressing Subtyping Polymorphism with Typing Assertions and Quantification over Concepts

• arxiv url: http://arxiv.org/abs/2502.09224v1
• Date: Thu, 13 Feb 2025 11:51:22 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-02-14 13:44:54.558646
• Title: Order-Sorted Intensional Logic: Expressing Subtyping Polymorphism with Typing Assertions and Quantification over Concepts
• Title（参考訳）: 次数セーテッド・インテンショナル論理:タイピング・アサーションによる置換多型表現と概念上の量子化
• Authors: Đorđe Marković, Marc Denecker,
• Abstract要約: サブタイプ多型(subtype polymorphism)は、プログラミング言語理論において広く研究されている概念である。 本稿では,これらの概念を知識表現の文脈で活用するための順序分類論理の能力について検討する。
• 参考スコア（独自算出の注目度）: 1.104960878651584
• License:
• Abstract: Subtyping, also known as subtype polymorphism, is a concept extensively studied in programming language theory, delineating the substitutability relation among datatypes. This property ensures that programs designed for supertype objects remain compatible with their subtypes. In this paper, we explore the capability of order-sorted logic for utilizing these ideas in the context of Knowledge Representation. We recognize two fundamental limitations: First, the inability of this logic to address the concept rather than the value of non-logical symbols, and second, the lack of language constructs for constraining the type of terms. Consequently, we propose guarded order-sorted intensional logic, where guards are language constructs for annotating typing information and intensional logic provides support for quantification over concepts.
• Abstract（参考訳）: サブタイプ多型(Subtyping)またはサブタイプ多型(subtype polymorphism)は、プログラミング言語理論において広く研究されている概念であり、データ型間の置換可能性関係を記述したものである。 この特性により、スーパータイプオブジェクト用に設計されたプログラムは、サブタイプと互換性が保たれる。 本稿では,これらの概念を知識表現の文脈で活用するための順序分類論理の能力について検討する。 第一に、この論理が非論理記号の値よりも概念に対処できないこと、第二に、用語の型を制限するための言語構造が欠けていること、である。 その結果、ガードはタイピング情報に注釈をつけるための言語構造であり、インテンショナルロジックは概念の量化をサポートする。

関連論文リスト

• Logical recognition method for solving the problem of identification in the Internet of Things [0.0]
  本研究の目的は、非交差オブジェクトの論理的特徴とクラスを持つ参照テーブルからなるオブジェクト認識のための論理的手法を開発することである。 この手法は、参照テーブルを至るところで定義されていない論理関数として考慮し、特徴空間全体への論理関数の最適継続を構築する。
  論文  参考訳（メタデータ） (2024-02-06T19:20:58Z)
• An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
  このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。 応用例としては、メタ理論的性質の形式的解析と検証がある。
  論文  参考訳（メタデータ） (2023-12-08T09:32:26Z)
• Description Logics Go Second-Order -- Extending EL with Universally Quantified Concepts [0.0]
  私たちは記述ロジックの拡張に$mathcalEL$をフォーカスします。 拡張の有用な断片について、異なる意味論による結論が一致することを示す。 わずかに小さいが、それでも有用である断片のために、私たちは拡張の決定可能性を示すことができました。
  論文  参考訳（メタデータ） (2023-08-16T09:37:38Z)
• APOLLO: A Simple Approach for Adaptive Pretraining of Language Models for Logical Reasoning [73.3035118224719]
  本稿では,論理的推論能力を改善した適応事前学習型言語モデルAPOLLOを提案する。 APOLLOはReClorで比較可能であり、LogiQAでベースラインを上回ります。
  論文  参考訳（メタデータ） (2022-12-19T07:40:02Z)
• Non-Deterministic Approximation Fixpoint Theory and Its Application in Disjunctive Logic Programming [11.215352918313577]
  近似不動点理論(英: Approximation Fixpoint theory)は、非単調論理の意味論を研究するための枠組みである。 AFTは、不確定な情報を扱うことができる非決定論的構造を扱うよう拡張する。 この一般化の適用性と有用性は、解法論理プログラミングの文脈で説明される。
  論文  参考訳（メタデータ） (2022-11-30T18:58:32Z)
• Benchmarking Language Models for Code Syntax Understanding [79.11525961219591]
  事前学習された言語モデルは、自然言語処理とプログラム理解の両方において素晴らしい性能を示している。 本研究では,プログラムの構文構造を特定するための,最先端の事前訓練モデルの最初の徹底的なベンチマークを行う。 この結果から,既存のプログラミング言語の事前学習手法の限界が指摘され,構文構造をモデル化することの重要性が示唆された。
  論文  参考訳（メタデータ） (2022-10-26T04:47:18Z)
• Join-Chain Network: A Logical Reasoning View of the Multi-head Attention in Transformer [59.73454783958702]
  本稿では,多くの結合演算子を連結して出力論理式をモデル化するシンボリック推論アーキテクチャを提案する。 特に,このような結合鎖のアンサンブルが'ツリー構造'の1次論理式であるFOETの広い部分集合を表現できることを実証する。 変圧器における多頭部自己保持モジュールは,確率的述語空間における結合作用素の結合境界を実装する特別なニューラル演算子として理解することができる。
  論文  参考訳（メタデータ） (2022-10-06T07:39:58Z)
• Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
  パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文) 論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。 ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
  論文  参考訳（メタデータ） (2022-07-04T14:38:49Z)
• A unified logical framework for explanations in classifier systems [10.256904719009471]
  本稿では,二項入力分類器とその性質の推論を支援するセテリスパリバスの性質のモーダル言語を提案する。 我々は、モデルの族を研究し、言語の濃度に関する2つの証明システムとしてそれを公理化し、我々の公理学の完全性を示す。 我々は、この言語を利用して反実的条件を定式化し、帰納的、対照的な、反実的説明を含む様々な説明概念を定式化する。
  論文  参考訳（メタデータ） (2021-05-30T07:49:56Z)
• Hierarchical Poset Decoding for Compositional Generalization in Language [52.13611501363484]
  出力が部分的に順序付けられた集合(命題)である構造化予測タスクとして人間の言語理解を形式化する。 現在のエンコーダ・デコーダアーキテクチャは意味論のポーズ構造を適切に考慮していない。 本稿では,言語における合成一般化のための新しい階層型ポーズデコーディングパラダイムを提案する。
  論文  参考訳（メタデータ） (2020-10-15T14:34:26Z)
• Reasoning about Typicality and Probabilities in Preferential Description Logics [0.15749416770494704]
  標準記述論理の非単調拡張である典型性の優先記述論理を、典型演算子Tを用いて記述する。 この拡張は、有理閉包の概念に対応する最小のモデル意味論に基づいている。 我々は、いわゆる財産相続問題の阻止を避けるために、合理的なクロージャの意味論と構成の強化について検討する。
  論文  参考訳（メタデータ） (2020-04-20T14:50:31Z)

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

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