「03B70」カテゴリーアーカイブ

Encoding Argumentation Frameworks to Propositional Logic Systems

投稿日: 2025年3月11日作成者: jarxiv

要約議論フレームワークの理論（$ af $ s）は、人工知能に役立つツール … 続きを読む →

カテゴリー: (Primary), 03B50, 03B52, 03B70, 68Q55, cs.AI, F.4.1, math.LO | コメントを受け付けていません

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

要約優先順位は、実践的な推論において極めて重要な要素であり、特に、追求する可能 … 続きを読む →

カテゴリー: 03B70, 68P15, 68T27, 68T37, cs.AI, cs.DB, cs.LO | コメントを受け付けていません

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

要約矛盾した知識ベースを修復するという問題は、特に構造化データの観点から、デー … 続きを読む →

カテゴリー: 03B70, 68P15, 68T27, 68T37, cs.AI, cs.DB, cs.LO | コメントを受け付けていません

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

要約著者は最近、普遍代数の一般的な設定内で類推比例の抽象的な代数の枠組みを導入 … 続きを読む →

カテゴリー: 03B70, 68T27, cs.AI, cs.DM, cs.LO | コメントを受け付けていません