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

Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System

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

要約 この論文では、現在の AI アプリケーションの基礎となるような、確率的計算 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System はコメントを受け付けていません

PiShield: A PyTorch Package for Learning with Requirements

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

要約 深層学習モデルは、さまざまなアプリケーション領域でその強みを発揮してきまし … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | PiShield: A PyTorch Package for Learning with Requirements はコメントを受け付けていません

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features

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

要約 ALC を拡張した記述ロジックにおける充足可能性チェックとクエリの決定可能 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features はコメントを受け付けていません

Age Aware Scheduling for Differentially-Private Federated Learning

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

要約 この論文では、時変データベースにわたる差分プライベート連合学習 (FL) … 続きを読む →

カテゴリー: cs.IT, cs.LG, cs.LO, math.IT | Age Aware Scheduling for Differentially-Private Federated Learning はコメントを受け付けていません

DECIDER: A Rule-Controllable Decoding Strategy for Language Generation by Imitating Dual-System Cognitive Theory

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

要約 レキシコンベースの制約付きデコード手法は、特定のターゲット概念を通じて、生 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LO | DECIDER: A Rule-Controllable Decoding Strategy for Language Generation by Imitating Dual-System Cognitive Theory はコメントを受け付けていません

The Transformation Logics

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

要約 私たちは、表現力と複雑さの間のトレードオフのバランスを細かく取るように設計 … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LO | The Transformation Logics はコメントを受け付けていません

Logical Negation Augmenting and Debiasing for Prompt-based Methods

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

要約 プロンプトベースの手法は NLP でますます注目を集めており、多くの下流タ … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LO | Logical Negation Augmenting and Debiasing for Prompt-based Methods はコメントを受け付けていません

Lattice-preserving $\mathcal{ALC}$ ontology embeddings

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

要約 OWLオントロジーのベクトル表現(埋め込み)の生成は、バイオインフォマティ … 続きを読む →

カテゴリー: cs.AI, cs.LO | Lattice-preserving $\mathcal{ALC}$ ontology embeddings はコメントを受け付けていません

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