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

Maximal Ordinal Two-Factorizations

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

要約 形式的なコンテキストを考慮すると、順序因子は、概念格子内で連鎖を形成する出 … 続きを読む →

カテゴリー: 03G10, 06-08, 06A07, 68R10, 90C27, cs.AI, cs.LG, cs.LO, F.2.2, math.CO | Maximal Ordinal Two-Factorizations はコメントを受け付けていません

Strong-AI Autoepistemic Robots Build on Intensional First Order Logic

投稿日: 2023年6月19日 作成者: jarxiv

要約 ニューロシンボリック AI は、推論、学習、認知モデリングが可能な堅牢で強 … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.RO | Strong-AI Autoepistemic Robots Build on Intensional First Order Logic はコメントを受け付けていません

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases

投稿日: 2023年6月16日 作成者: jarxiv

要約 セマンティック Web の重要性が高まるにつれて、記述ロジックのナレッジ … 続きを読む →

カテゴリー: cs.AI, cs.LO | Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases はコメントを受け付けていません

Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries

投稿日: 2023年6月14日 作成者: jarxiv

要約 最近、例によるデータベース クエリの独自の特徴付けと学習可能性の研究が、オ … 続きを読む →

カテゴリー: cs.AI, cs.DB, cs.LO, F.4.1 | Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries はコメントを受け付けていません

Querying Circumscribed Description Logic Knowledge Bases

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

要約 外接は、非単調記述ロジック (DL) を定義するための主なアプローチの 1 … 続きを読む →

カテゴリー: cs.AI, cs.CC, cs.LO | Querying Circumscribed Description Logic Knowledge Bases はコメントを受け付けていません

Description Logics with Abstraction and Refinement

投稿日: 2023年6月7日 作成者: jarxiv

要約 オントロジーでは多くの場合、複数の抽象化レベルでの知識表現が必要ですが、記 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Description Logics with Abstraction and Refinement はコメントを受け付けていません

Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach

投稿日: 2023年6月7日 作成者: jarxiv

要約 この論文では、因果関係の知識を形式化することを目的とした豊富な知識表現言語 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach はコメントを受け付けていません

Utterance Classification with Logical Neural Network: Explainable AI for Mental Disorder Diagnosis

投稿日: 2023年6月7日 作成者: jarxiv

要約 精神的健康問題という世界的な課題に応えて、私たちは精神障害の診断のための論 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LO, q-bio.NC | Utterance Classification with Logical Neural Network: Explainable AI for Mental Disorder Diagnosis はコメントを受け付けていません

Knowledge Graph Reasoning over Entities and Numerical Values

投稿日: 2023年6月5日 作成者: jarxiv

要約 知識グラフにおける複雑な論理クエリとは、カナダのチューリング賞受賞者はどこ … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LO | Knowledge Graph Reasoning over Entities and Numerical Values はコメントを受け付けていません

Interpretable and Explainable Logical Policies via Neurally Guided Symbolic Abstraction

投稿日: 2023年6月5日 作成者: jarxiv

要約 ニューラルネットワークは、必要な事前情報が限られているため、強化学習（RL … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, cs.LO, cs.SC | Interpretable and Explainable Logical Policies via Neurally Guided Symbolic Abstraction はコメントを受け付けていません