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

Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases

投稿日: 2024年7月31日 作成者: jarxiv

要約 この論文では、一貫性のない記述ロジックの知識ベースをクエリするための定量的 … 続きを読む →

カテゴリー: cs.AI, cs.DB, cs.LO | Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases はコメントを受け付けていません

A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP

投稿日: 2024年7月29日 作成者: jarxiv

要約 GPT などの大規模言語モデル (LLM) の開発により、ChatGPT … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LO | A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP はコメントを受け付けていません

Repairing Networks of $\mathcal{EL_\perp}$ Ontologies using Weakening and Completing — Extended version

投稿日: 2024年7月29日 作成者: jarxiv

要約 オントロジーとその調整の品質は、高品質のセマンティクスベースのアプリケーシ … 続きを読む →

カテゴリー: cs.AI, cs.LO | Repairing Networks of $\mathcal{EL_\perp}$ Ontologies using Weakening and Completing — Extended version はコメントを受け付けていません

Pruning Boolean d-DNNF Circuits Through Tseitin-Awareness

投稿日: 2024年7月26日 作成者: jarxiv

要約 d-DNNF 形式のブール回路により、扱いやすい確率的推論が可能になります … 続きを読む →

カテゴリー: cs.AI, cs.LO | Pruning Boolean d-DNNF Circuits Through Tseitin-Awareness はコメントを受け付けていません

LLM-ARC: Enhancing LLMs with an Automated Reasoning Critic

投稿日: 2024年7月22日 作成者: jarxiv

要約 大規模言語モデル (LLM) を自動推論クリティック (ARC) と組み合 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LO | LLM-ARC: Enhancing LLMs with an Automated Reasoning Critic はコメントを受け付けていません

The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules

投稿日: 2024年7月22日 作成者: jarxiv

要約 オントロジーベースのクエリ応答の分野における広範な研究により、アトミックク … 続きを読む →

カテゴリー: cs.AI, cs.DB, cs.LO | The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules はコメントを受け付けていません

TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems

投稿日: 2024年7月22日 作成者: jarxiv

要約 到達可能集合の計算は、制御システムを分析するための重要なツールです。 制御 … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.SY, eess.SY | TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems はコメントを受け付けていません

Continuous reasoning for adaptive container image distribution in the cloud-edge continuum

投稿日: 2024年7月18日 作成者: jarxiv

要約 クラウド エッジ コンピューティングでは、アプリケーションがさまざまなイン … 続きを読む →

カテゴリー: cs.AI, cs.DC, cs.LO, cs.SE | Continuous reasoning for adaptive container image distribution in the cloud-edge continuum はコメントを受け付けていません

Bridging Weighted First Order Model Counting and Graph Polynomials

投稿日: 2024年7月17日 作成者: jarxiv

要約 重み付き 1 次モデル計数問題 (WFOMC) は、指定されたドメインにわ … 続きを読む →

カテゴリー: cs.AI, cs.LO, F.4.0 | Bridging Weighted First Order Model Counting and Graph Polynomials はコメントを受け付けていません

Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats

投稿日: 2024年7月15日 作成者: jarxiv

要約 2019 年の先駆的な研究で、Barcel\’o とその共著者 … 続きを読む →

カテゴリー: cs.AI, cs.LO, F.1.1 | Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats はコメントを受け付けていません