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

A Theory of Formalisms for Representing Knowledge

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

要約 AI で知識を表現するのにどの形式主義が最適であるかについては、長年の論争 … 続きを読む →

カテゴリー: cs.AI, cs.CC, cs.LO | A Theory of Formalisms for Representing Knowledge はコメントを受け付けていません

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

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

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

カテゴリー: cs.AI, cs.LO | A Variable Occurrence-Centric Framework for Inconsistency Handling (Extended Version) はコメントを受け付けていません

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

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

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

カテゴリー: cs.AI, cs.LO, cs.SY, eess.SY | Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives はコメントを受け付けていません

Direct Encoding of Declare Constraints in ASP

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

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

カテゴリー: cs.AI, cs.LO | Direct Encoding of Declare Constraints in ASP はコメントを受け付けていません

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

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

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

カテゴリー: cs.AI, cs.LO | Solving Epistemic Logic Programs using Generate-and-Test with Propagation はコメントを受け付けていません

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 | Large language models as oracles for instantiating ontologies with domain-specific knowledge はコメントを受け付けていません

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 はコメントを受け付けていません