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

Classifying Graphemes in English Words Through the Application of a Fuzzy Inference System

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

要約 言語学において、書記素は音韻に対応する書記体系の書かれた単位です。 自然言 … 続きを読む →

カテゴリー: cs.CL, cs.LO | Classifying Graphemes in English Words Through the Application of a Fuzzy Inference System はコメントを受け付けていません

Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code

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

要約 形式的定理証明の領域では、Coq 証明アシスタントは、数学的主張とソフトウ … 続きを読む →

カテゴリー: cs.AI, cs.LO | Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code はコメントを受け付けていません

Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of-Distribution Generalisation

投稿日: 2024年4月2日 作成者: jarxiv

要約 深層学習と記号論理推論を組み合わせることは、両方の分野の成功を活かすことを … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, cs.LO | Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of-Distribution Generalisation はコメントを受け付けていません

Complex Logical Reasoning over Knowledge Graphs using Large Language Models

投稿日: 2024年4月2日 作成者: jarxiv

要約 ナレッジ グラフ (KG) に対する推論は、エンティティ間の複雑な関係とそ … 続きを読む →

カテゴリー: cs.AI, cs.IR, cs.LO, F.4.1 | Complex Logical Reasoning over Knowledge Graphs using Large Language Models はコメントを受け付けていません

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

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

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

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

Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance

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

要約 自動運転車の開発が進むにつれて、効率的な安全確保手法の必要性がますます高ま … 続きを読む →

カテゴリー: cs.LO, cs.RO | Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance はコメントを受け付けていません

A Path Towards Legal Autonomy: An interoperable and explainable approach to extracting, transforming, loading and computing legal information using large language models, expert systems and Bayesian networks

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

要約 法的自律性、つまり人工知能エージェントの合法的な活動は、2 つの方法のいず … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.CY, cs.LO | A Path Towards Legal Autonomy: An interoperable and explainable approach to extracting, transforming, loading and computing legal information using large language models, expert systems and Bayesian networks はコメントを受け付けていません

The Expressive Power of Transformers with Chain of Thought

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

要約 最近の理論的研究により、グラフ内の 2 つのノードが接続されているかどうか … 続きを読む →

カテゴリー: cs.CC, cs.CL, cs.LG, cs.LO | The Expressive Power of Transformers with Chain of Thought はコメントを受け付けていません

Hyper Strategy Logic

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

要約 戦略ロジック (SL) は、マルチエージェント システムでの戦略的推論を可 … 続きを読む →

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

Answer Set Programming for Flexible Payroll Management

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

要約 給与管理は、企業、部門、国によって大きく異なる多数のルールの対象となる重要 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Answer Set Programming for Flexible Payroll Management はコメントを受け付けていません