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

Towards Projected and Incremental Pseudo-Boolean Model Counting

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

要約 モデルのカウントは、通常論理積正規形 (CNF) で行われる論理式への満足 … 続きを読む →

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

Formal Mathematical Reasoning: A New Frontier in AI

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

要約 AI for Mathematics (AI4Math) は、知的に興味深 … 続きを読む →

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

Probabilistic Strategy Logic with Degrees of Observability

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

要約 不完全な情報の下でエージェントの戦略的能力について推論することについては、 … 続きを読む →

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

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis

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

要約 ブール回路を操作するためのオープンソース ツールを紹介します。 充足可能性 … 続きを読む →

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

Probabilistic Strategy Logic with Degrees of Observability

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

要約 不完全な情報の下でエージェントの戦略的能力について推論することについては、 … 続きを読む →

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

DODGE: Ontology-Aware Risk Assessment via Object-Oriented Disruption Graphs

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

要約 危険な出来事や行動を考えるとき、関係するオブジェクトの役割を軽視してはなり … 続きを読む →

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

A Computationally Grounded Framework for Cognitive Attitudes (extended version)

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

要約 認識論的タイプと動機付けタイプの両方のエージェントの認知的態度について推論 … 続きを読む →

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

Spectra of Cardinality Queries over Description Logic Knowledge Bases

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

要約 最近の研究では、記述ロジック オントロジーと組み合わせたカウント クエリの … 続きを読む →

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

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

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

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

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

A Theory of Formalisms for Representing Knowledge

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

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

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