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

Strengthening Consistency Results in Modal Logic

投稿日: 2023年7月12日 作成者: jarxiv

要約 様相論理で尋ねられる基本的な質問は、与えられた理論に一貫性があるかどうかで … 続きを読む →

カテゴリー: cs.AI, cs.LO, F4.1;I.23;I.24, math.LO | Strengthening Consistency Results in Modal Logic はコメントを受け付けていません

Joint Behavior and Common Belief

投稿日: 2023年7月12日 作成者: jarxiv

要約 25 年以上にわたり、共通の信念は共同行動に必要であると広く考えられてきま … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.MA | Joint Behavior and Common Belief はコメントを受け付けていません

System of Spheres-based Two Level Credibility-limited Revisions

投稿日: 2023年7月12日 作成者: jarxiv

要約 2 レベルの信頼性を制限した改訂は、優先順位のない改訂操作です。 2 レベ … 続きを読む →

カテゴリー: cs.AI, cs.LO, F.4.1 | System of Spheres-based Two Level Credibility-limited Revisions はコメントを受け付けていません

Tableaux for the Logic of Strategically Knowing How

投稿日: 2023年7月12日 作成者: jarxiv

要約 目標指向のノウハウのロジックは、ノウハウの演算子を使用して標準の認識論的ロ … 続きを読む →

カテゴリー: cs.AI, cs.LO | Tableaux for the Logic of Strategically Knowing How はコメントを受け付けていません

Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic

投稿日: 2023年7月12日 作成者: jarxiv

要約 二分決定図 (BDD) は、モデル チェックにおける状態爆発の問題を軽減す … 続きを読む →

カテゴリー: cs.AI, cs.LO, I.2.11 | Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic はコメントを受け付けていません

Cognitive Bias and Belief Revision

投稿日: 2023年7月12日 作成者: jarxiv

要約 この論文では、信念修正の枠組みの中で、確証バイアス、フレーミングバイアス、 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Cognitive Bias and Belief Revision はコメントを受け付けていません

Aggregating Credences into Beliefs: Agenda Conditions for Impossibility Results

投稿日: 2023年7月12日 作成者: jarxiv

要約 信念集約の 2 値化では、個々の確率的信念を集合的な 2 値信念に合理的に … 続きを読む →

カテゴリー: cs.AI, cs.GT, cs.LO | Aggregating Credences into Beliefs: Agenda Conditions for Impossibility Results はコメントを受け付けていません

A Modal Logic for Explaining some Graph Neural Networks

投稿日: 2023年7月12日 作成者: jarxiv

要約 本稿では、線形不等式に計数モダリティが現れる様相論理を提案します。 各式を … 続きを読む →

カテゴリー: cs.AI, cs.LO | A Modal Logic for Explaining some Graph Neural Networks はコメントを受け付けていません

Stable Normative Explanations: From Argumentation to Deontic Logic

投稿日: 2023年7月12日 作成者: jarxiv

要約 この論文は、Defeasible Logic の他の場所で開発された安定し … 続きを読む →

カテゴリー: cs.AI, cs.LO | Stable Normative Explanations: From Argumentation to Deontic Logic はコメントを受け付けていません

Adapting Neural Link Predictors for Data-Efficient Complex Query Answering

投稿日: 2023年7月12日 作成者: jarxiv

要約 不完全なナレッジ グラフに対する複雑なクエリに答えることは、欠落したナレッ … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, cs.NE | Adapting Neural Link Predictors for Data-Efficient Complex Query Answering はコメントを受け付けていません