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

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

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

カテゴリー: 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

要約 ナレッジ グラフ (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

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

カテゴリー: 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

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

カテゴリー: 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

要約 法的自律性、つまり人工知能エージェントの合法的な活動は、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

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

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

Hyper Strategy Logic

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

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

Answer Set Programming for Flexible Payroll Management

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

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

Regularization in Spider-Style Strategy Discovery and Schedule Construction

要約 最高のパフォーマンスを達成するために、自動定理証明器は多くの場合、特定の問 … 続きを読む

カテゴリー: cs.AI, cs.LO | Regularization in Spider-Style Strategy Discovery and Schedule Construction はコメントを受け付けていません

NLP Verification: Towards a General Methodology for Certifying Robustness

要約 ディープ ニューラル ネットワークは自然言語処理 (NLP) の分野で大き … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.LG, cs.LO, cs.PL | NLP Verification: Towards a General Methodology for Certifying Robustness はコメントを受け付けていません