「F.4.1」カテゴリーアーカイブ

Deontic Temporal Logic for Formal Verification of AI Ethics

投稿日: 2025年5月15日 作成者: jarxiv

要約 人工知能（AI）システムの倫理的行動を確保することは、遍在性と影響力の増加 … 続きを読む →

カテゴリー: cs.AI, cs.LO, F.4.1 | Deontic Temporal Logic for Formal Verification of AI Ethics はコメントを受け付けていません

Function Alignment: A New Theory of Mind and Intelligence, Part I: Foundations

投稿日: 2025年4月15日 作成者: jarxiv

要約 このペーパーでは、関数アラインメントを紹介します。これは、直感的に説得力が … 続きを読む →

カテゴリー: 68T27, 91E45, cs.CL, F.4.1 | Function Alignment: A New Theory of Mind and Intelligence, Part I: Foundations はコメントを受け付けていません

Function Alignment: A New Theory of Mind and Intelligence, Part I: Foundations

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

要約 このペーパーでは、関数アラインメントを紹介します。これは、直感的に説得力が … 続きを読む →

カテゴリー: 68T27, 91E45, cs.CL, F.4.1 | Function Alignment: A New Theory of Mind and Intelligence, Part I: Foundations はコメントを受け付けていません

Geometric Meta-Learning via Coupled Ricci Flow: Unifying Knowledge Representation and Quantum Entanglement

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

要約 このペーパーでは、3つの基本的な革新を通じて、幾何学的なフローと深い学習を … 続きを読む →

カテゴリー: (Primary), 37F40, 68T05, 68T07, 68T27, 81V99, cs.AI, cs.LG, eess.SP, F.4.1, math.GT, quant-ph | Geometric Meta-Learning via Coupled Ricci Flow: Unifying Knowledge Representation and Quantum Entanglement はコメントを受け付けていません

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 | Encoding Argumentation Frameworks to Propositional Logic Systems はコメントを受け付けていません

Logic interpretations of ANN partition cells

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

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

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

Generative Fractional Diffusion Models

投稿日: 2024年6月25日 作成者: jarxiv

要約 基礎となるダイナミクスに分数拡散プロセスを利用する、初の連続時間スコアベー … 続きを読む →

カテゴリー: cs.LG, F.4.1, stat.ML | Generative Fractional Diffusion Models はコメントを受け付けていません

Solving Quantified Modal Logic Problems by Translation to Classical Logics

投稿日: 2024年4月30日 作成者: jarxiv

要約 この記事では、一次様相論理問題の QMLTP ライブラリから取得した問題に … 続きを読む →

カテゴリー: cs.AI, cs.LO, F.4.1 | Solving Quantified Modal Logic Problems by Translation to Classical Logics はコメントを受け付けていません

Complex Logical Reasoning over Knowledge Graphs using Large Language Models

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

要約 ナレッジ グラフ (KG) に対する推論は、エンティティ間の複雑な関係とそ … 続きを読む →

カテゴリー: cs.AI, cs.IR, cs.LO, F.4.1 | Complex Logical Reasoning over Knowledge Graphs using Large Language Models はコメントを受け付けていません

The Tactician’s Web of Large-Scale Formal Knowledge

投稿日: 2024年1月10日 作成者: jarxiv

要約 The Tactician’s Web は、機械学習、分析、証 … 続きを読む →

カテゴリー: 68T30, cs.LG, cs.LO, cs.PL, F.4.1, secondary | The Tactician’s Web of Large-Scale Formal Knowledge はコメントを受け付けていません