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

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

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

Computational Dualism and Objective Superintelligence

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

要約 インテリジェント・ソフトウェアの概念には欠陥がある。ソフトウェアの振る舞い … 続きを読む →

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

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 | Informed deep hierarchical classification: a non-standard analysis inspired approach はコメントを受け付けていません

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