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

Output-decomposed Learning of Mealy Machines

要約 個々の出力への投影に基づいて、有限状態マシンの分解を学習するアクティブ オ … 続きを読む

カテゴリー: cs.LG, cs.LO | Output-decomposed Learning of Mealy Machines はコメントを受け付けていません

Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System

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

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

PiShield: A PyTorch Package for Learning with Requirements

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

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

要約 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

要約 この論文では、時変データベースにわたる差分プライベート連合学習 (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

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

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

The Transformation Logics

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

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

Logical Negation Augmenting and Debiasing for Prompt-based Methods

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

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

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

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

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

A semantic loss for ontology classification

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

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