「math.LO」カテゴリーアーカイブ

Informed deep hierarchical classification: a non-standard analysis inspired approach

投稿日: 2024年9月26日 作成者: jarxiv

要約 この研究は、深い階層的な分類タスク、つまり、厳格な親子構造で編成された複数 … 続きを読む →

カテゴリー: 03H10, 68T07, cs.AI, cs.LG, I.2.6, math.LO | コメントする

Decidability of Querying First-Order Theories via Countermodels of Finite Width

投稿日: 2024年9月17日 作成者: jarxiv

要約 私たちは、構造的に単純で、特定の種類の幅の尺度 (一般的な例としてツリー幅 … 続きを読む →

カテゴリー: cs.AI, cs.DB, cs.DM, cs.LO, math.LO | Decidability of Querying First-Order Theories via Countermodels of Finite Width はコメントを受け付けていません

Abductive Reasoning in a Paraconsistent Framework

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

要約 私たちは、パラコンシステントなフレームワークを採用することで、古典的に矛盾 … 続きを読む →

カテゴリー: cs.AI, cs.LO, math.LO | Abductive Reasoning in a Paraconsistent Framework はコメントを受け付けていません

High-arity PAC learning via exchangeability

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

要約 我々は、「構造化相関」の存在下における統計的学習である、高明度PAC学習の … 続きを読む →

カテゴリー: (Primary), 03C99, 60F15, cs.LG, math.LO, math.ST, stat.TH | High-arity PAC learning via exchangeability はコメントを受け付けていません

Computable learning of natural hypothesis classes

投稿日: 2024年7月24日 作成者: jarxiv

要約 この論文は、学習者に計算要件がない統計学習理論と、学習者が多項式で制限され … 続きを読む →

カテゴリー: cs.LG, math.LO | Computable learning of natural hypothesis classes はコメントを受け付けていません

$O_2$ is a multiple context-free grammar: an implementation-, formalisation-friendly proof

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

要約 形式言語を生成できる文法の表現力に応じて形式言語を分類することは、計算言語 … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LO, math.LO | $O_2$ is a multiple context-free grammar: an implementation-, formalisation-friendly proof はコメントを受け付けていません

Computational Dualism and Objective Superintelligence

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

要約 インテリジェント ソフトウェアの概念には欠陥があります。 ソフトウェアの動 … 続きを読む →

カテゴリー: cs.AI, math.LO | Computational Dualism and Objective Superintelligence はコメントを受け付けていません

Using Large Language Models for (De-)Formalization and Natural Argumentation Exercises for Beginner’s Students

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

要約 現在開発中の 2 つのシステムについて説明します。このシステムは、(i) … 続きを読む →

カテゴリー: cs.CL, math.LO | Using Large Language Models for (De-)Formalization and Natural Argumentation Exercises for Beginner’s Students はコメントを受け付けていません

Similarity-based analogical proportions

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

要約 著者は最近、普遍代数の一般的な設定内で類推的な比率と類似性を備えた抽象的な … 続きを読む →

カテゴリー: cs.AI, cs.LO, math.LO | Similarity-based analogical proportions はコメントを受け付けていません

Making first order linear logic a generating grammar

投稿日: 2023年11月17日 作成者: jarxiv

要約 さまざまなカテゴリ文法が一次乗算線形論理 (MLL1) のフラグメントで表 … 続きを読む →

カテゴリー: cs.CL, cs.LO, math.LO | Making first order linear logic a generating grammar はコメントを受け付けていません