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

$O_2$ is a multiple context-free grammar: an implementation-, formalisation-friendly proof

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

要約 形式言語を生成できる文法の表現力に応じて形式言語を分類することは、計算言語 … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LO, math.LO | $O_2$ is a multiple context-free grammar: an implementation-, formalisation-friendly proof はコメントを受け付けていません

Output-decomposed Learning of Mealy Machines

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

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

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

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