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

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 はコメントを受け付けていません

Nemo: First Glimpse of a New Rule Engine

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

要約 このシステム デモンストレーションでは、信頼性とパフォーマンスに重点を置い … 続きを読む →

カテゴリー: cs.AI, cs.DB, cs.LO | Nemo: First Glimpse of a New Rule Engine はコメントを受け付けていません

Beyond Traditional Neural Networks: Toward adding Reasoning and Learning Capabilities through Computational Logic Techniques

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

要約 深層学習 (DL) モデルは、複雑な問題を解決するために普及していますが、 … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, cs.MA | Beyond Traditional Neural Networks: Toward adding Reasoning and Learning Capabilities through Computational Logic Techniques はコメントを受け付けていません

Explainable Answer-set Programming

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

要約 私たちの生活における AI のほぼ遍在的な状態と AI システムの複雑さの … 続きを読む →

カテゴリー: cs.AI, cs.LO | Explainable Answer-set Programming はコメントを受け付けていません

Algebraic, Topological, and Mereological Foundations of Existential Granules

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

要約 この研究では、それ自体を決定する存在顆粒の新しい概念が発明され、代数的、ト … 続きを読む →

カテゴリー: 03B70 (Primary), 03B80, 03C65, 03G25, 08A55, cs.AI, cs.LG, cs.LO, math.LO, math.RA, secondary | Algebraic, Topological, and Mereological Foundations of Existential Granules はコメントを受け付けていません

Symbolic LTLf Best-Effort Synthesis

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

要約 非決定的な環境でタスクを遂行するために動作するエージェントを考慮します。 … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.GT, cs.LO, cs.RO | Symbolic LTLf Best-Effort Synthesis はコメントを受け付けていません

LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties

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

要約 この論文では、任意の到達可能性と安全性特性の環境仕様の下での LTLf 合 … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LO, cs.SY, eess.SY | LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties はコメントを受け付けていません

Description Logics Go Second-Order — Extending EL with Universally Quantified Concepts

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

要約 記述ロジックの研究は、歴史的には主に、一次ロジックの決定可能な断片に変換で … 続きを読む →

カテゴリー: cs.AI, cs.LO | Description Logics Go Second-Order — Extending EL with Universally Quantified Concepts はコメントを受け付けていません

Formal Modelling and Analysis of a Self-Adaptive Robotic System

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

要約 自己適応は、環境や内部状態などの不確実性に対処する必要がある自律システムの … 続きを読む →

カテゴリー: cs.LO, cs.RO, cs.SE | Formal Modelling and Analysis of a Self-Adaptive Robotic System はコメントを受け付けていません

Making first order linear logic a generating grammar

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

要約 さまざまなカテゴリ文法が一次乗算線形論理 (MLL1) のフラグメントで表 … 続きを読む →

カテゴリー: cs.CL, cs.LO, math.LO | Making first order linear logic a generating grammar はコメントを受け付けていません