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

Temporal Ensemble Logic

投稿日: 2024年9月2日 作成者: jarxiv

要約 線形時間時相推論のためのモナディック 1 次様相論理である Tempora … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LO | Temporal Ensemble Logic はコメントを受け付けていません

Generating $SROI^-$ Ontologies via Knowledge Graph Query Embedding Learning

投稿日: 2024年8月28日 作成者: jarxiv

要約 クエリ埋め込みアプローチは、エンティティ、関係、クエリの低次元ベクトル表現 … 続きを読む →

カテゴリー: cs.AI, cs.DB, cs.LG, cs.LO | Generating $SROI^-$ Ontologies via Knowledge Graph Query Embedding Learning はコメントを受け付けていません

Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games

投稿日: 2024年8月27日 作成者: jarxiv

要約 古典的な反応性合成アプローチは、常に指定された仕様を満たす反応性システムを … 続きを読む →

カテゴリー: cs.FL, cs.GT, cs.LO, cs.RO, D.2.4 | Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games はコメントを受け付けていません

Logic interpretations of ANN partition cells

投稿日: 2024年8月27日 作成者: jarxiv

要約 フィードフォワード人工ニューラル ネットワーク (ANN) を使用して解決 … 続きを読む →

カテゴリー: cs.AI, cs.LO, F.4.1 | Logic interpretations of ANN partition cells はコメントを受け付けていません

Machine Learning for Quantifier Selection in cvc5

投稿日: 2024年8月27日 作成者: jarxiv

要約 この研究では、量化子選択の効率的な機械学習ガイダンスによって、一次量化問題 … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | Machine Learning for Quantifier Selection in cvc5 はコメントを受け付けていません

Temporal Ensemble Logic

投稿日: 2024年8月27日 作成者: jarxiv

要約 線形時間時相推論のためのモナディック 1 次様相論理である Tempora … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LO | Temporal Ensemble Logic はコメントを受け付けていません

Abductive Reasoning in a Paraconsistent Framework

投稿日: 2024年8月26日 作成者: jarxiv

要約 私たちは、パラコンシステントなフレームワークを採用することで、古典的に矛盾 … 続きを読む →

カテゴリー: cs.AI, cs.LO, math.LO | Abductive Reasoning in a Paraconsistent Framework はコメントを受け付けていません

Query languages for neural networks

投稿日: 2024年8月22日 作成者: jarxiv

要約 私たちは、宣言型言語を使用してニューラル ネットワーク モデルにクエリを実 … 続きを読む →

カテゴリー: cs.AI, cs.DB, cs.LO, I.2.6 | Query languages for neural networks はコメントを受け付けていません

Probabilities of the Third Type: Statistical Relational Learning and Reasoning with Relative Frequencies

投稿日: 2024年8月21日 作成者: jarxiv

要約 リレーショナル データに対する確率的な依存関係をモデル化する場合、ドメイン … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, I.2.4 | Probabilities of the Third Type: Statistical Relational Learning and Reasoning with Relative Frequencies はコメントを受け付けていません

A fuzzy loss for ontology classification

投稿日: 2024年8月20日 作成者: jarxiv

要約 深層学習モデルは、適用されるタスクに固有の制約を認識していないことがよくあ … 続きを読む →

カテゴリー: cs.AI, cs.LO | A fuzzy loss for ontology classification はコメントを受け付けていません