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

DeepOnto: A Python Package for Ontology Engineering with Deep Learning

投稿日: 2023年7月7日 作成者: jarxiv

要約 深層学習技術、特に言語モデル (LM) をオントロジー エンジニアリングに … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, cs.LO | DeepOnto: A Python Package for Ontology Engineering with Deep Learning はコメントを受け付けていません

Towards Safe Autonomous Driving Policies using a Neuro-Symbolic Deep Reinforcement Learning Approach

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

要約 運転環境の動的な性質と多様な道路利用者の存在は、自動運転における意思決定に … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, cs.RO, cs.SY, eess.SY | Towards Safe Autonomous Driving Policies using a Neuro-Symbolic Deep Reinforcement Learning Approach はコメントを受け付けていません

A unified logical framework for explanations in classifier systems

投稿日: 2023年7月4日 作成者: jarxiv

要約 近年、説明可能なAI（XAI）の分野において、二値分類器を説明するためのブ … 続きを読む →

カテゴリー: cs.AI, cs.LO, math.LO | A unified logical framework for explanations in classifier systems はコメントを受け付けていません

A behaviouristic approach to representing processes and procedures in the OASIS 2 ontology

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

要約 プロセスと手順の効果的な表現に特化した基礎的なオントロジーは、現在広く調査 … 続きを読む →

カテゴリー: cs.AI, cs.LO | A behaviouristic approach to representing processes and procedures in the OASIS 2 ontology はコメントを受け付けていません

Solving QMLTP Problems by Translation to Higher-order Logic

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

要約 この論文では、一次様相論理問題の QMLTP ライブラリから取得した問題に … 続きを読む →

カテゴリー: cs.AI, cs.LO, F.4.1 | Solving QMLTP Problems by Translation to Higher-order Logic はコメントを受け付けていません

A novel structured argumentation framework for improved explainability of classification tasks

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

要約 この論文では、拡張議論決定グラフ ($xADG$) と呼ばれる、構造化議論 … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | A novel structured argumentation framework for improved explainability of classification tasks はコメントを受け付けていません

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

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

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

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

DR-HAI: Argumentation-based Dialectical Reconciliation in Human-AI Interactions

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

要約 DR-HAI は、人間と AI の相互作用を強化するために、説明可能な A … 続きを読む →

カテゴリー: cs.AI, cs.HC, cs.LO | DR-HAI: Argumentation-based Dialectical Reconciliation in Human-AI Interactions はコメントを受け付けていません

Don’t Treat the Symptom, Find the Cause! Efficient Artificial-Intelligence Methods for (Interactive) Debugging

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

要約 現代の世界では、私たちは自動車、電子商取引のレコメンダー システム、オンラ … 続きを読む →

カテゴリー: cs.AI, cs.DM, cs.LO | Don’t Treat the Symptom, Find the Cause! Efficient Artificial-Intelligence Methods for (Interactive) Debugging はコメントを受け付けていません

Co-Certificate Learning with SAT Modulo Symmetries

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

要約 与えられた co-NP 特性を満たす同型までのすべてのグラフを生成するため … 続きを読む →

カテゴリー: cs.AI, cs.DM, cs.LO, quant-ph | Co-Certificate Learning with SAT Modulo Symmetries はコメントを受け付けていません