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

Formalizing Statistical Causality via Modal Logic

投稿日: 2023年3月16日 作成者: jarxiv

要約 統計的因果関係を記述および説明するための正式な言語を提案します。 具体的に … 続きを読む →

カテゴリー: cs.AI, cs.LO | Formalizing Statistical Causality via Modal Logic はコメントを受け付けていません

Neural Probabilistic Logic Programming in Discrete-Continuous Domains

投稿日: 2023年3月15日 作成者: jarxiv

要約 ニューラル シンボリック AI (NeSy) により、ニューラル ネットワ … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, cs.PL, cs.SC, I.2.4 | Neural Probabilistic Logic Programming in Discrete-Continuous Domains はコメントを受け付けていません

Joint Behavior and Common Belief

投稿日: 2023年3月14日 作成者: jarxiv

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

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

Lemmas: Generation, Selection, Application

投稿日: 2023年3月13日 作成者: jarxiv

要約 補題は数学の重要な特徴であることに注意して、自動化された定理証明における補 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Lemmas: Generation, Selection, Application はコメントを受け付けていません

A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools

投稿日: 2023年3月13日 作成者: jarxiv

要約 中等学校における自動控除システムの導入は、いくつかのボトルネックに直面して … 続きを読む →

カテゴリー: cs.AI, cs.CY, cs.LO, I.2 | A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools はコメントを受け付けていません

On Exams with the Isabelle Proof Assistant

投稿日: 2023年3月13日 作成者: jarxiv

要約 イザベル証明アシスタントを使用して、自動推論のコースで学生の学習成果をテス … 続きを読む →

カテゴリー: cs.AI, cs.LO, F.4; I.2.3; K.3.1 | On Exams with the Isabelle Proof Assistant はコメントを受け付けていません

Proceedings 11th International Workshop on Theorem Proving Components for Educational Software

投稿日: 2023年3月10日 作成者: jarxiv

要約 TheEdu シリーズは、中等学校で数学を行う直感的な方法から、STEM … 続きを読む →

カテゴリー: cs.AI, cs.CY, cs.LO, cs.MS | Proceedings 11th International Workshop on Theorem Proving Components for Educational Software はコメントを受け付けていません

The Descriptive Complexity of Graph Neural Networks

投稿日: 2023年3月9日 作成者: jarxiv

要約 ブール回路の複雑さと記述の複雑さの観点から、グラフ ニューラル ネットワー … 続きを読む →

カテゴリー: cs.CC, cs.LG, cs.LO | The Descriptive Complexity of Graph Neural Networks はコメントを受け付けていません

Magnushammer: A Transformer-based Approach to Premise Selection

投稿日: 2023年3月9日 作成者: jarxiv

要約 前提選択は、自動化された定理証明の基本的な問題です。 以前の研究では、複雑 … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | Magnushammer: A Transformer-based Approach to Premise Selection はコメントを受け付けていません

Neural Probabilistic Logic Programming in Discrete-Continuous Domains

投稿日: 2023年3月9日 作成者: jarxiv

要約 ニューラル シンボリック AI (NeSy) により、ニューラル ネットワ … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, cs.PL, cs.SC, I.2.4 | Neural Probabilistic Logic Programming in Discrete-Continuous Domains はコメントを受け付けていません