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

The Sigma-max System Induced from Randomness & Fuzziness and its Application in Time Series Prediction

投稿日: 2025年1月3日 作成者: jarxiv

要約 この論文は、明確に定義されたランダム性とファジー性からそれぞれ確率論 (シ … 続きを読む →

カテゴリー: 03B48, 03B52, 60A05, 68T07, cs.AI, cs.LO, math.PR | The Sigma-max System Induced from Randomness & Fuzziness and its Application in Time Series Prediction はコメントを受け付けていません

Towards Projected and Incremental Pseudo-Boolean Model Counting

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

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

カテゴリー: cs.AI, cs.LO | Towards Projected and Incremental Pseudo-Boolean Model Counting はコメントを受け付けていません

Formal Mathematical Reasoning: A New Frontier in AI

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

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

カテゴリー: cs.AI, cs.LG, cs.LO | Formal Mathematical Reasoning: A New Frontier in AI はコメントを受け付けていません

Probabilistic Strategy Logic with Degrees of Observability

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

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

カテゴリー: cs.AI, cs.LO | Probabilistic Strategy Logic with Degrees of Observability はコメントを受け付けていません

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis

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

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

カテゴリー: cs.AI, cs.LO | Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis はコメントを受け付けていません

Probabilistic Strategy Logic with Degrees of Observability

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

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

カテゴリー: cs.AI, cs.LO | Probabilistic Strategy Logic with Degrees of Observability はコメントを受け付けていません

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

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

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

カテゴリー: cs.AI, cs.LO | DODGE: Ontology-Aware Risk Assessment via Object-Oriented Disruption Graphs はコメントを受け付けていません

A Computationally Grounded Framework for Cognitive Attitudes (extended version)

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

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

カテゴリー: cs.AI, cs.LO | A Computationally Grounded Framework for Cognitive Attitudes (extended version) はコメントを受け付けていません

Spectra of Cardinality Queries over Description Logic Knowledge Bases

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

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

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

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

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

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

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