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

Metric Dynamic Equilibrium Logic

投稿日: 2024年1月22日 作成者: jarxiv

要約 線形時間に基づく応答セット プログラミング (ASP) の時間的拡張では、 … 続きを読む →

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

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases

投稿日: 2024年1月19日 作成者: jarxiv

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

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

LOCALINTEL: Generating Organizational Threat Intelligence from Global and Local Cyber Knowledge

投稿日: 2024年1月19日 作成者: jarxiv

要約 セキュリティ オペレーション センター (SoC) アナリストは、オープン … 続きを読む →

カテゴリー: cs.AI, cs.CR, cs.IR, cs.LO | LOCALINTEL: Generating Organizational Threat Intelligence from Global and Local Cyber Knowledge はコメントを受け付けていません

Formal Modelling and Analysis of a Self-Adaptive Robotic System

投稿日: 2024年1月17日 作成者: jarxiv

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

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

Bilingual analogical proportions via hedges

投稿日: 2024年1月15日 作成者: jarxiv

要約 類推比例とは、それ自体が人間と人工知能の核心である類推論の核心であり、「$ … 続きを読む →

カテゴリー: cs.AI, cs.LO | Bilingual analogical proportions via hedges はコメントを受け付けていません

The Tactician’s Web of Large-Scale Formal Knowledge

投稿日: 2024年1月10日 作成者: jarxiv

要約 The Tactician’s Web は、機械学習、分析、証 … 続きを読む →

カテゴリー: 68T30, cs.LG, cs.LO, cs.PL, F.4.1, secondary | The Tactician’s Web of Large-Scale Formal Knowledge はコメントを受け付けていません

Advancing Spatial Reasoning in Large Language Models: An In-Depth Evaluation and Enhancement Using the StepGame Benchmark

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

要約 人工知能 (AI) はさまざまな分野で目覚ましい進歩を遂げており、Chat … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LO | Advancing Spatial Reasoning in Large Language Models: An In-Depth Evaluation and Enhancement Using the StepGame Benchmark はコメントを受け付けていません

The Tactician’s Web of Large-Scale Formal Knowledge

投稿日: 2024年1月8日 作成者: jarxiv

要約 The Tactician’s Web は、機械学習、分析、証 … 続きを読む →

カテゴリー: 68T30, cs.LG, cs.LO, cs.PL, F.4.1, secondary | The Tactician’s Web of Large-Scale Formal Knowledge はコメントを受け付けていません

A & B == B & A: Triggering Logical Reasoning Failures in Large Language Models

投稿日: 2024年1月3日 作成者: jarxiv

要約 大規模言語モデル (LLM) の最近の進歩により、人工知能 (AI) が新 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LO, cs.SE | A & B == B & A: Triggering Logical Reasoning Failures in Large Language Models はコメントを受け付けていません

YOLO algorithm with hybrid attention feature pyramid network for solder joint defect detection

投稿日: 2024年1月3日 作成者: jarxiv

要約 従来のはんだ接合欠陥の手動検出は、効率の低さ、評価の一貫性のなさ、コストの … 続きを読む →

カテゴリー: cs.CV, cs.LO | YOLO algorithm with hybrid attention feature pyramid network for solder joint defect detection はコメントを受け付けていません