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

Formal Methods for Autonomous Systems

投稿日: 2023年11月3日 作成者: jarxiv

要約 形式的手法とは、システム開発に対する厳密で数学的なアプローチを指し、セーフ … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.SY, eess.SY | Formal Methods for Autonomous Systems はコメントを受け付けていません

Simplicial Models for the Epistemic Logic of Faulty Agents

投稿日: 2023年11月3日 作成者: jarxiv

要約 近年、何人かの著者が単純モデル、つまり単純複合体と呼ばれる高次元構造に基づ … 続きを読む →

カテゴリー: cs.AI, cs.DC, cs.LO, math.AT | Simplicial Models for the Epistemic Logic of Faulty Agents はコメントを受け付けていません

Complex Query Answering on Eventuality Knowledge Graph with Implicit Logical Constraints

投稿日: 2023年10月30日 作成者: jarxiv

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

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

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

投稿日: 2023年10月30日 作成者: jarxiv

要約 大規模言語モデル (LLM) は、Lean などの証明アシスタントを使用し … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, stat.ML | LeanDojo: Theorem Proving with Retrieval-Augmented Language Models はコメントを受け付けていません

Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic

投稿日: 2023年10月27日 作成者: jarxiv

要約 実行時検証において、システム実行を監視するための仕様を手動で形式化するのは … 続きを読む →

カテゴリー: cs.AI, cs.LO | Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic はコメントを受け付けていません

Interpretable and Explainable Logical Policies via Neurally Guided Symbolic Abstraction

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

要約 ニューラル ネットワークに必要な事前確率は限られているため、強化学習 (R … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, cs.LO, cs.SC | Interpretable and Explainable Logical Policies via Neurally Guided Symbolic Abstraction はコメントを受け付けていません

Provenance for the Description Logic ELHr

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

要約 ELHr オントロジーにおける出所情報の処理の問題に対処します。 セミリン … 続きを読む →

カテゴリー: 16Y60, cs.AI, cs.LO | Provenance for the Description Logic ELHr はコメントを受け付けていません

Description Logics with Abstraction and Refinement

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

要約 オントロジーでは多くの場合、複数の抽象化レベルでの知識表現が必要ですが、記 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Description Logics with Abstraction and Refinement はコメントを受け付けていません

Model Checkers Are Cool: How to Model Check Voting Protocols in Uppaal

投稿日: 2023年10月19日 作成者: jarxiv

要約 電子投票システムの設計と実装は困難な作業です。 ここでは正式な分析が非常に … 続きを読む →

カテゴリー: cs.AI, cs.CR, cs.LO, cs.MA | Model Checkers Are Cool: How to Model Check Voting Protocols in Uppaal はコメントを受け付けていません

The Expresssive Power of Transformers with Chain of Thought

投稿日: 2023年10月17日 作成者: jarxiv

要約 最近の理論的研究により、グラフ内の 2 つのノードが接続されているかどうか … 続きを読む →

カテゴリー: cs.CC, cs.CL, cs.LG, cs.LO | The Expresssive Power of Transformers with Chain of Thought はコメントを受け付けていません