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

Explanations as Programs in Probabilistic Logic Programming

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

要約 わかりやすい説明の生成は、現代の人工知能システムの重要な機能です。 この研 … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.PL | Explanations as Programs in Probabilistic Logic Programming はコメントを受け付けていません

Soy: An Efficient MILP Solver for Piecewise-Affine Systems

投稿日: 2023年8月16日 作成者: jarxiv

要約 ピースワイズ アフィン (PWA) システムは、接触ダイナミクスのモデリン … 続きを読む →

カテゴリー: cs.LO, cs.RO, cs.SY, eess.SY, math.OC | Soy: An Efficient MILP Solver for Piecewise-Affine Systems はコメントを受け付けていません

EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability

投稿日: 2023年8月16日 作成者: jarxiv

要約 ブール満足度 (SAT) と満足度モジュロ理論 (SMT) は自動検証で広 … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LO | EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability はコメントを受け付けていません

Why Not? Explaining Missing Entailments with Evee (Technical Report)

投稿日: 2023年8月16日 作成者: jarxiv

要約 オントロジーユーザーにとって、記述ロジック推論器によって導出された論理的含 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Why Not? Explaining Missing Entailments with Evee (Technical Report) はコメントを受け付けていません

Formal Verification of Intersection Safety for Automated Driving

投稿日: 2023年8月15日 作成者: jarxiv

要約 私たちは、責任に敏感な安全性 (RSS) の形式化に関する最近の研究を基礎 … 続きを読む →

カテゴリー: cs.LO, cs.RO | Formal Verification of Intersection Safety for Automated Driving はコメントを受け付けていません

Why Not? Explaining Missing Entailments with $\rm E{\scriptsize VEE}$ (Technical Report)

投稿日: 2023年8月15日 作成者: jarxiv

要約 オントロジーユーザーにとって、記述ロジック推論器によって導出された論理的含 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Why Not? Explaining Missing Entailments with $\rm E{\scriptsize VEE}$ (Technical Report) はコメントを受け付けていません

Software Doping Analysis for Human Oversight

投稿日: 2023年8月14日 作成者: jarxiv

要約 この記事では、ソフトウェアが引き起こす可能性のある社会的リスクの軽減を支援 … 続きを読む →

カテゴリー: cs.AI, cs.CY, cs.LO | Software Doping Analysis for Human Oversight はコメントを受け付けていません

QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring

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

要約 分散型自律配送、ヘルスケア、観光、運輸などのさまざまなサービス指向のアプリ … 続きを読む →

カテゴリー: cs.LO, cs.PF, cs.RO | QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring はコメントを受け付けていません

Model Checking Time Window Temporal Logic for Hyperproperties

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

要約 ハイパープロパティは、トレースのセットのプロパティを表現するためにトレース … 続きを読む →

カテゴリー: cs.FL, cs.LO, cs.RO | Model Checking Time Window Temporal Logic for Hyperproperties はコメントを受け付けていません

DisCoCat for Donkey Sentences

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

要約 意味の構成分布モデルで Geach の Donkey 文を解析する方法を示 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LO | DisCoCat for Donkey Sentences はコメントを受け付けていません