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

Faithful Logic Embeddings in HOL — A recipe to have it all: deep and shallow, automated and interactive, heavy and light, proofs and counterexamples, meta and object level

投稿日: 2025年2月27日 作成者: jarxiv

要約 古典的な高次ロジックにおける非古典的なロジックの深く浅い埋め込みは、近年、 … 続きを読む →

カテゴリー: 03Axx, 03B15, 03Bxx, 68T15, cs.AI, cs.LO, cs.MS, I.2.3, math.LO | Faithful Logic Embeddings in HOL — A recipe to have it all: deep and shallow, automated and interactive, heavy and light, proofs and counterexamples, meta and object level はコメントを受け付けていません

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