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

Shades of Iteration: from Elgot to Kleene

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

要約 反復の概念は、最も一般的なElgot反復から非常に特殊なKleene反復ま … 続きを読む →

カテゴリー: cs.CL, cs.LO | Shades of Iteration: from Elgot to Kleene はコメントを受け付けていません

Formalizing Statistical Causality via Modal Logic

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

要約 統計的因果関係を記述・説明するための形式言語を提案する。具体的には、因果関 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Formalizing Statistical Causality via Modal Logic はコメントを受け付けていません

Knowledge-based Reasoning and Learning under Partial Observability in Ad Hoc Teamwork

投稿日: 2023年6月2日 作成者: jarxiv

要約 アドホック チームワークとは、エージェントが事前の調整なしでチームメイトと … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.MA | Knowledge-based Reasoning and Learning under Partial Observability in Ad Hoc Teamwork はコメントを受け付けていません

Complex Query Answering on Eventuality Knowledge Graph with Implicit Logical Constraints

投稿日: 2023年5月31日 作成者: jarxiv

要約 深層学習アプローチを使用して不完全なナレッジ グラフ (KG) をクエリす … 続きを読む →

カテゴリー: cs.CL, cs.LO | Complex Query Answering on Eventuality Knowledge Graph with Implicit Logical Constraints はコメントを受け付けていません

Policy Synthesis and Reinforcement Learning for Discounted LTL

投稿日: 2023年5月29日 作成者: jarxiv

要約 報酬関数を手動で指定するのは難しいため、線形時相論理 (LTL) を使用し … 続きを読む →

カテゴリー: cs.LG, cs.LO | Policy Synthesis and Reinforcement Learning for Discounted LTL はコメントを受け付けていません

Combining Global and Local Merges in Logic-based Entity Resolution

投稿日: 2023年5月29日 作成者: jarxiv

要約 最近提案された集団エンティティ解決用の Race フレームワークでは、論理 … 続きを読む →

カテゴリー: cs.AI, cs.DB, cs.LO | Combining Global and Local Merges in Logic-based Entity Resolution はコメントを受け付けていません

UpMax: User partitioning for MaxSAT

投稿日: 2023年5月26日 作成者: jarxiv

要約 最大満足度 (MaxSAT) 問題のインスタンスは、ソフト句のセットをいく … 続きを読む →

カテゴリー: cs.AI, cs.LO | UpMax: User partitioning for MaxSAT はコメントを受け付けていません

Theorem Proving in Dependently-Typed Higher-Order Logic — Extended Preprint

投稿日: 2023年5月25日 作成者: jarxiv

要約 高次ロジック HOL は、型付きデータ構造を表現および推論するための非常に … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LO, math.LO | Theorem Proving in Dependently-Typed Higher-Order Logic — Extended Preprint はコメントを受け付けていません

An ASP Framework for the Refinement of Authorization and Obligation Policies

投稿日: 2023年5月23日 作成者: jarxiv

要約 このペーパーでは、ポリシー作成者がポリシーを洗練および改善するのを支援する … 続きを読む →

カテゴリー: cs.AI, cs.LO | An ASP Framework for the Refinement of Authorization and Obligation Policies はコメントを受け付けていません

Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions

投稿日: 2023年5月22日 作成者: jarxiv

要約 私たちは、さまざまな活性化関数を介して定義されたニューラル ネットワークの … 続きを読む →

カテゴリー: cs.AI, cs.CC, cs.LG, cs.LO | Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions はコメントを受け付けていません