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

Preference-Based Planning in Stochastic Environments: From Partially-Ordered Temporal Goals to Most Preferred Policies

要約 人間の好みは、必ずしも完全な線形順序で表されるわけではありません。比類のな … 続きを読む

カテゴリー: cs.AI, cs.FL, cs.LO, cs.RO | Preference-Based Planning in Stochastic Environments: From Partially-Ordered Temporal Goals to Most Preferred Policies はコメントを受け付けていません

Generalization-baed similarity

要約 一見遠くに見える物体の類似点を検出し利用することは、間違いなく人間の重要な … 続きを読む

カテゴリー: cs.AI, cs.LO | Generalization-baed similarity はコメントを受け付けていません

Autonomous Vehicles Path Planning under Temporal Logic Specifications

要約 経路計画は自動運転の重要な要素です。 グローバル プランナーが高レベルの計 … 続きを読む

カテゴリー: cs.LO, cs.RO | Autonomous Vehicles Path Planning under Temporal Logic Specifications はコメントを受け付けていません

A Multimodal Framework for Deepfake Detection

要約 ディープフェイク技術の急速な進歩は、デジタルメディアの完全性に重大な脅威を … 続きを読む

カテゴリー: cs.AI, cs.CV, cs.LG, cs.LO | A Multimodal Framework for Deepfake Detection はコメントを受け付けていません

LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models

要約 ChatGPT や GPT-4 などの大規模言語モデル (LLM) の論理 … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.LO, cs.SE | LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models はコメントを受け付けていません

Decidability of Querying First-Order Theories via Countermodels of Finite Width

要約 私たちは、構造的に単純で、特定の種類の幅の尺度 (一般的な例としてツリー幅 … 続きを読む

カテゴリー: cs.AI, cs.DB, cs.DM, cs.LO, math.LO | Decidability of Querying First-Order Theories via Countermodels of Finite Width はコメントを受け付けていません

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases

要約 セマンティック Web の重要性が高まるにつれて、記述ロジックのナレッジ … 続きを読む

カテゴリー: cs.AI, cs.LO | Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases はコメントを受け付けていません

The Transformation Logics

要約 私たちは、表現力と複雑さの間のトレードオフのバランスを細かく取るように設計 … 続きを読む

カテゴリー: cs.AI, cs.FL, cs.LO | The Transformation Logics はコメントを受け付けていません

What Formal Languages Can Transformers Express? A Survey

要約 自然言語処理においてトランスフォーマーが注目を集めるようになり、一部の研究 … 続きを読む

カテゴリー: cs.CL, cs.FL, cs.LG, cs.LO | What Formal Languages Can Transformers Express? A Survey はコメントを受け付けていません

Temporal Ensemble Logic

要約 線形時間時相推論のためのモナディック 1 次様相論理である Tempora … 続きを読む

カテゴリー: cs.AI, cs.FL, cs.LO | Temporal Ensemble Logic はコメントを受け付けていません