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

A Variable Occurrence-Centric Framework for Inconsistency Handling (Extended Version)

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

要約 この論文では、命題基底の不一致を分析および処理するための構文フレームワーク … 続きを読む →

カテゴリー: cs.AI, cs.LO | コメントする

Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives

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

要約 部分的に観察可能なマルコフ決定プロセス (POMDP) は、逐次的な意思決 … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.SY, eess.SY | コメントする

Direct Encoding of Declare Constraints in ASP

投稿日: 2024年12月16日 作成者: jarxiv

要約 よく知られた宣言型ロジック プログラミング パラダイムであるアンサー セッ … 続きを読む →

カテゴリー: cs.AI, cs.LO | コメントする

Solving Epistemic Logic Programs using Generate-and-Test with Propagation

投稿日: 2024年12月16日 作成者: jarxiv

要約 この論文では、さまざまなジェネレーターおよびテスター プログラムでインスタ … 続きを読む →

カテゴリー: cs.AI, cs.LO | コメントする

Large language models as oracles for instantiating ontologies with domain-specific knowledge

投稿日: 2024年12月13日 作成者: jarxiv

要約 背景。 インテリジェント システムにセマンティック データを提供するには、 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.IR, cs.LG, cs.LO | コメントする

Is uniform expressivity too restrictive? Towards efficient expressivity of graph neural networks

投稿日: 2024年12月6日 作成者: jarxiv

要約 均一な表現力により、入力グラフのサイズに応じて、グラフ ニューラル ネット … 続きを読む →

カテゴリー: cs.CC, cs.LG, cs.LO | Is uniform expressivity too restrictive? Towards efficient expressivity of graph neural networks はコメントを受け付けていません

Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Representation

投稿日: 2024年12月6日 作成者: jarxiv

要約 専門家以外でも長期にわたるマルチロボットの共同作業を指定できるようにするた … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.RO | Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Representation はコメントを受け付けていません

Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Representation

投稿日: 2024年12月5日 作成者: jarxiv

要約 専門家以外でも長期にわたるマルチロボットの共同作業を指定できるようにするた … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.RO | Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Representation はコメントを受け付けていません

Data quality dimensions for fair AI

投稿日: 2024年12月5日 作成者: jarxiv

要約 人工知能 (AI) システムは本質的に中立ではなく、どのような種類の技術ツ … 続きを読む →

カテゴリー: cs.AI, cs.LO, F.3.0 | Data quality dimensions for fair AI はコメントを受け付けていません

Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Representation

投稿日: 2024年12月3日 作成者: jarxiv

要約 専門家以外でも長期にわたるマルチロボットの共同作業を指定できるようにするた … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.RO | Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Representation はコメントを受け付けていません