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

Normative Conditional Reasoning as a Fragment of HOL

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

要約 規範的（好みに基づく）条件付き推論の機械化に関するいくつかの結果を報告しま … 続きを読む →

カテゴリー: 03B15, 03B60, 68T15, 68T27, 68T30, cs.AI, cs.LO, cs.SC, I.2.0 | Normative Conditional Reasoning as a Fragment of HOL はコメントを受け付けていません

Normative conditional reasoning as a fragment of HOL

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

要約 規範的（好みに基づく）条件付き推論の機械化に関するいくつかの結果を報告しま … 続きを読む →

カテゴリー: 03B15, 03B60, 68T15, 68T27, 68T30, cs.AI, cs.LO, cs.SC, I.2.0 | Normative conditional reasoning as a fragment of HOL はコメントを受け付けていません

MindGames: Targeting Theory of Mind in Large Language Models with Dynamic Epistemic Modal Logic

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

要約 タイトル：MindGames：動的認識論的モーダル論理を用いた大規模言語モ … 続きを読む →

カテゴリー: 68T01, 68T27, 68T50, cs.AI, cs.CL, I.2.7 | MindGames: Targeting Theory of Mind in Large Language Models with Dynamic Epistemic Modal Logic はコメントを受け付けていません

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

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

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

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

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