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

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 はコメントを受け付けていません

Incremental Bootstrapping and Classification of Structured Scenes in a Fuzzy Ontology

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

要約 私たちは、知識表現をブートストラップし、関連する状況を分類し、将来の観察に … 続きを読む →

カテゴリー: 68T27, 68T30, 68T37, cs.AI, cs.HC, cs.LO, cs.RO, I.2.10, secondary | Incremental Bootstrapping and Classification of Structured Scenes in a Fuzzy Ontology はコメントを受け付けていません

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

投稿日: 2024年4月17日 作成者: 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 はコメントを受け付けていません