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

From axioms over graphs to vectors, and back again: evaluating the properties of graph-based ontology embeddings

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

要約 記述論理オントロジーの埋め込みを生成し、これらの埋め込みを機械学習で使用す … 続きを読む →

カテゴリー: cs.AI, cs.LO | From axioms over graphs to vectors, and back again: evaluating the properties of graph-based ontology embeddings はコメントを受け付けていません

Changing agents and ascribing beliefs in dynamic epistemic logic

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

要約 動的認識論理 (Van Ditmarsch, Van Der Hoek, … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.MA | Changing agents and ascribing beliefs in dynamic epistemic logic はコメントを受け付けていません

A first-order logic characterization of safety and co-safety languages

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

要約 Linear Temporal Logic (LTL) は最も人気のある時 … 続きを読む →

カテゴリー: cs.AI, cs.LO, F.3.1; F.4.3; D.2.4 | A first-order logic characterization of safety and co-safety languages はコメントを受け付けていません

Soy: An Efficient MILP Solver for Piecewise-Affine Systems

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

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

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

Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (extended algorithms and examples)

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

要約 人間が理解できる方法で制約充足問題 (CSP) の解決策を段階的に説明する … 続きを読む →

カテゴリー: 68T27, cs.AI, cs.LO, F.4.1 | Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (extended algorithms and examples) はコメントを受け付けていません

Interactive configurator with FO(.) and IDP-Z3

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

要約 産業界には、インタラクティブな構成問題、つまり、コンピュータの助けを借りて … 続きを読む →

カテゴリー: cs.AI, cs.LO | Interactive configurator with FO(.) and IDP-Z3 はコメントを受け付けていません

Towards Reliable Neural Specifications

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

要約 信頼できる仕様を持つことは、AI システムの検証可能な正確性、堅牢性、およ … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, cs.SE | Towards Reliable Neural Specifications はコメントを受け付けていません

Learning Logic Specifications for Soft Policy Guidance in POMCP

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

要約 部分観測可能モンテカルロ計画 (POMCP) は、部分観測可能マルコフ決定 … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | Learning Logic Specifications for Soft Policy Guidance in POMCP はコメントを受け付けていません

The Image of the Process Interpretation of Regular Expressions is Not Closed under Bisimulation Collapse

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

要約 Milner のプロセス セマンティクス (1984) の正規表現モジュロ … 続きを読む →

カテゴリー: cs.CL, cs.LO, F.4.1 | The Image of the Process Interpretation of Regular Expressions is Not Closed under Bisimulation Collapse はコメントを受け付けていません

To Be Announced

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

要約 この調査では、情報の変化を定量化するためのモダリティを備えた動的認識論理を … 続きを読む →

カテゴリー: cs.AI, cs.LO | To Be Announced はコメントを受け付けていません