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

A semantic loss for ontology classification

投稿日: 2024年5月6日 作成者: jarxiv

要約 ディープラーニング・モデルは、適用されるタスクの固有の制約に気づかないこと … 続きを読む →

カテゴリー: cs.AI, cs.LO | A semantic loss for ontology classification はコメントを受け付けていません

Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis

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

要約 Z3 などの最新の SMT ソルバーは、ユーザーが制御可能な戦略を提供して … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.SE | Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis はコメントを受け付けていません

Safe Reach Set Computation via Neural Barrier Certificates

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

要約 我々は、自律システムのオンライン安全性検証のための新しい技術を紹介します。 … 続きを読む →

カテゴリー: cs.LG, cs.LO, cs.SY, eess.SY | Safe Reach Set Computation via Neural Barrier Certificates はコメントを受け付けていません

An Incremental MaxSAT-based Model to Learn Interpretable and Balanced Classification Rules

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

要約 機械学習の分野の進歩により、正確な予測によって広範囲の問題に効果的に対処す … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, I.2.4 | An Incremental MaxSAT-based Model to Learn Interpretable and Balanced Classification Rules はコメントを受け付けていません

Solving Quantified Modal Logic Problems by Translation to Classical Logics

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

要約 この記事では、一次様相論理問題の QMLTP ライブラリから取得した問題に … 続きを読む →

カテゴリー: cs.AI, cs.LO, F.4.1 | Solving Quantified Modal Logic Problems by Translation to Classical Logics はコメントを受け付けていません

Permissible Knowledge Pooling

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

要約 情報プーリングは、分散システムのさまざまな論理フレームワークにわたって広範 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Permissible Knowledge Pooling はコメントを受け付けていません

Formal Specification, Assessment, and Enforcement of Fairness for Generative AIs

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

要約 生成型 AI がテキストから画像、そしてそれを超えた現実世界に役立つ成果物 … 続きを読む →

カテゴリー: cs.AI, cs.CY, cs.LG, cs.LO, cs.SE | Formal Specification, Assessment, and Enforcement of Fairness for Generative AIs はコメントを受け付けていません

Formal Specification, Assessment, and Enforcement of Fairness for Generative AIs

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

要約 生成型 AI がテキストから画像などに至るまで、人間の出力に似たコンテンツ … 続きを読む →

カテゴリー: cs.AI, cs.CY, cs.LG, cs.LO, cs.SE | Formal Specification, Assessment, and Enforcement of Fairness for Generative AIs はコメントを受け付けていません

Learning Symbolic Task Representation from a Human-Led Demonstration: A Memory to Store, Retrieve, Consolidate, and Forget Experiences

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

要約 我々は、高レベルのタスク計画と知識のブートストラップをサポートするタスク表 … 続きを読む →

カテゴリー: 05C72, 68Q32, 68T20, 68T27, 68T30, 68T37, cs.AI, cs.HC, cs.LO, cs.RO, I.2.4 | Learning Symbolic Task Representation from a Human-Led Demonstration: A Memory to Store, Retrieve, Consolidate, and Forget Experiences はコメントを受け付けていません

OWLOOP: Interfaces for Mapping OWL Axioms into OOP Hierarchies

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

要約 この論文は、オブジェクト指向プログラミング (OOP) パラダイム内のオン … 続きを読む →

カテゴリー: 68N19, 68T27, 68T40, cs.AI, cs.LO, cs.RO, cs.SE, E.2 | OWLOOP: Interfaces for Mapping OWL Axioms into OOP Hierarchies はコメントを受け付けていません