「cs.LO」カテゴリーアーカイブ

A Simplified Variant of Gödel’s Ontological Argument

投稿日: 2023年8月28日 作成者: jarxiv

要約 G\’odel の存在論的議論の簡略化された変形が提示されます … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LO, math.LO | A Simplified Variant of Gödel’s Ontological Argument はコメントを受け付けていません

LR-XFL: Logical Reasoning-based Explainable Federated Learning

投稿日: 2023年8月25日 作成者: jarxiv

要約 フェデレーテッド ラーニング (FL) は、データ プライバシーを維持しな … 続きを読む →

カテゴリー: cs.AI, cs.DC, cs.LG, cs.LO | LR-XFL: Logical Reasoning-based Explainable Federated Learning はコメントを受け付けていません

Making first order linear logic a generating grammar

投稿日: 2023年8月24日 作成者: jarxiv

要約 さまざまなカテゴリ文法が一次乗算線形論理 (MLL1) のフラグメントで表 … 続きを読む →

カテゴリー: cs.CL, cs.LO, math.LO | Making first order linear logic a generating grammar はコメントを受け付けていません

Normative Conditional Reasoning as a Fragment of HOL

投稿日: 2023年8月23日 作成者: jarxiv

要約 規範的（好みに基づく）条件付き推論の機械化に関するいくつかの結果を報告しま … 続きを読む →

カテゴリー: 03B15, 03B60, 68T15, 68T27, 68T30, cs.AI, cs.LO, cs.SC, I.2.0 | Normative Conditional Reasoning as a Fragment of HOL はコメントを受け付けていません

Formal Verification of Safety Architectures for Automated Driving

投稿日: 2023年8月22日 作成者: jarxiv

要約 安全アーキテクチャは、自動運転車 (ADV) の安全性を確保する上で重要な … 続きを読む →

カテゴリー: cs.LO, cs.RO | Formal Verification of Safety Architectures for Automated Driving はコメントを受け付けていません

Normative conditional reasoning as a fragment of HOL

投稿日: 2023年8月22日 作成者: jarxiv

要約 規範的（好みに基づく）条件付き推論の機械化に関するいくつかの結果を報告しま … 続きを読む →

カテゴリー: 03B15, 03B60, 68T15, 68T27, 68T30, cs.AI, cs.LO, cs.SC, I.2.0 | Normative conditional reasoning as a fragment of HOL はコメントを受け付けていません

Semantic relatedness in DBpedia: A comparative and experimental assessment

投稿日: 2023年8月21日 作成者: jarxiv

要約 Web リソースの意味的な関連性を評価することは、依然として未解決の課題で … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LO | Semantic relatedness in DBpedia: A comparative and experimental assessment はコメントを受け付けていません

Towards Ontology-Mediated Planning with OWL DL Ontologies (Extended Version)

投稿日: 2023年8月17日 作成者: jarxiv

要約 古典的な計画言語はクローズド ドメインおよびクローズドワールドを前提として … 続きを読む →

カテゴリー: cs.AI, cs.LO | Towards Ontology-Mediated Planning with OWL DL Ontologies (Extended Version) はコメントを受け付けていません

Description Logics Go Second-Order — Extending EL with Universally Quantified Concepts

投稿日: 2023年8月17日 作成者: jarxiv

要約 記述ロジックの研究は、歴史的には主に、一次ロジックの決定可能な断片に変換で … 続きを読む →

カテゴリー: cs.AI, cs.LO | Description Logics Go Second-Order — Extending EL with Universally Quantified Concepts はコメントを受け付けていません

Box$^2$EL: Concept and Role Box Embeddings for the Description Logic EL++

投稿日: 2023年8月17日 作成者: jarxiv

要約 記述ロジック (DL) オントロジーは、概念的な情報と論理的な背景知識を備 … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | Box$^2$EL: Concept and Role Box Embeddings for the Description Logic EL++ はコメントを受け付けていません