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

Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Representation

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

要約 専門家以外でも長期にわたるマルチロボットの共同作業を指定できるようにするた … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.RO | Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Representation はコメントを受け付けていません

Counting Like Transformers: Compiling Temporal Counting Logic Into Softmax Transformers

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

要約 トランスフォーマーの表現力に関する形式的な限界を導き出すこと、および既知の … 続きを読む →

カテゴリー: cs.CL, cs.FL, cs.LG, cs.LO | Counting Like Transformers: Compiling Temporal Counting Logic Into Softmax Transformers はコメントを受け付けていません

Enriching Ontologies with Disjointness Axioms using Large Language Models

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

要約 オントロジーは、ナレッジ グラフでの高度な推論と一貫性チェックには有用であ … 続きを読む →

カテゴリー: cs.AI, cs.LO | Enriching Ontologies with Disjointness Axioms using Large Language Models はコメントを受け付けていません

Effective Littlestone Dimension

投稿日: 2024年11月25日 作成者: jarxiv

要約 Delle Rose et al.~(COLT’23) は、V … 続きを読む →

カテゴリー: cs.LG, cs.LO | Effective Littlestone Dimension はコメントを受け付けていません

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems

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

要約 自律システムの認証は、科学と産業において重要な関心事です。 KI-LOK … 続きを読む →

カテゴリー: cs.AI, cs.CV, cs.LO | Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems はコメントを受け付けていません

Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems

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

要約 この EPTCS ボリュームには、2024 年 11 月 11 日から 1 … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.RO | Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems はコメントを受け付けていません

Soda: An Object-Oriented Functional Language for Specifying Human-Centered Problems

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

要約 私たちは、性質と量を自然な方法で扱うのに役立ち、それらの正しさをチェックす … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.PL | Soda: An Object-Oriented Functional Language for Specifying Human-Centered Problems はコメントを受け付けていません

Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic Corpus

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

要約 大規模言語モデル (LLM) は幅広いタスクを解決できますが、推論には苦労 … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic Corpus はコメントを受け付けていません

Lifted Inference beyond First-Order Logic

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

要約 Weighted First Order Model Counting ( … 続きを読む →

カテゴリー: cs.AI, cs.LO, math.CO | Lifted Inference beyond First-Order Logic はコメントを受け付けていません

Formal Logic-guided Robust Federated Learning against Poisoning Attacks

投稿日: 2024年11月7日 作成者: jarxiv

要約 Federated Learning (FL) は、分散型の共同学習を可能 … 続きを読む →

カテゴリー: cs.AI, cs.CR, cs.DC, cs.LO | Formal Logic-guided Robust Federated Learning against Poisoning Attacks はコメントを受け付けていません