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

Pearl’s and Jeffrey’s Update as Modes of Learning in Probabilistic Programming

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

要約 新しい証拠に照らして確率分布を更新するという概念は、統計と機械学習の中心に … 続きを読む →

カテゴリー: cs.AI, cs.LO | Pearl’s and Jeffrey’s Update as Modes of Learning in Probabilistic Programming はコメントを受け付けていません

Strong-AI Autoepistemic Robots Build on Intensional First Order Logic

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

要約 ニューロシンボリック AI は、推論、学習、認知モデリングが可能な堅牢で強 … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.RO | Strong-AI Autoepistemic Robots Build on Intensional First Order Logic はコメントを受け付けていません

Verifiable Learning for Robust Tree Ensembles

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

要約 テスト時の回避攻撃に対する機械学習モデルの堅牢性を検証することは、重要な研 … 続きを読む →

カテゴリー: cs.CR, cs.LG, cs.LO, stat.ML | Verifiable Learning for Robust Tree Ensembles はコメントを受け付けていません

The Descriptive Complexity of Graph Neural Networks

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

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

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

Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete

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

要約 時限命題時間論理(TPTL)の${0, \infty}$ 断片の決定可能性 … 続きを読む →

カテゴリー: cs.CL, cs.FL, cs.LO, F.1.1 | Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete はコメントを受け付けていません

Learning Optimal Strategies for Temporal Tasks in Stochastic Games

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

要約 線形時相論理 (LTL) 仕様からの合成により、確率的環境や潜在的に敵対的 … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, cs.RO | Learning Optimal Strategies for Temporal Tasks in Stochastic Games はコメントを受け付けていません

Towards One-Shot Learning for Text Classification using Inductive Logic Programming

投稿日: 2023年8月31日 作成者: jarxiv

要約 パーソナライズされたタスクを実行する AI の可能性がますます高まっている … 続きを読む →

カテゴリー: cs.CL, cs.LG, cs.LO | Towards One-Shot Learning for Text Classification using Inductive Logic Programming はコメントを受け付けていません

Quantification and Aggregation over Concepts of the Ontology

投稿日: 2023年8月31日 作成者: jarxiv

要約 私たちは、一部の KR アプリケーションでは、語彙内の記号によって正式に表 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Quantification and Aggregation over Concepts of the Ontology はコメントを受け付けていません

A Logic Programming Approach to Global Logistics in a Co-Design Environment

投稿日: 2023年8月31日 作成者: jarxiv

要約 共同設計環境では、変更を迅速かつ自動化された方法で統合する必要があります。 … 続きを読む →

カテゴリー: cs.AI, cs.DB, cs.LO | A Logic Programming Approach to Global Logistics in a Co-Design Environment はコメントを受け付けていません

Assessing Drivers’ Situation Awareness in Semi-Autonomous Vehicles: ASP based Characterisations of Driving Dynamics for Modelling Scene Interpretation and Projection

投稿日: 2023年8月31日 作成者: jarxiv

要約 半自動運転は、現在すでに利用可能であり、最終的にはさらに利用しやすくなるこ … 続きを読む →

カテゴリー: cs.AI, cs.HC, cs.LO | Assessing Drivers’ Situation Awareness in Semi-Autonomous Vehicles: ASP based Characterisations of Driving Dynamics for Modelling Scene Interpretation and Projection はコメントを受け付けていません