「68T27」カテゴリーアーカイブ

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) はコメントを受け付けていません

Complexity and scalability of defeasible reasoning in 1 many-valued weighted knowledge bases

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

要約 「概念的な」多優先セマンティクスの下での典型性を備えた記述ロジックの加重知 … 続きを読む →

カテゴリー: 68T27, cs.AI, I.2.4 | Complexity and scalability of defeasible reasoning in 1 many-valued weighted knowledge bases はコメントを受け付けていません