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

Encoding Argumentation Frameworks to Propositional Logic Systems

要約 議論フレームワークの理論($ 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

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

カテゴリー: 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

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

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

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

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

カテゴリー: 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

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

カテゴリー: 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

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

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

High-arity PAC learning via exchangeability

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

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

Computable learning of natural hypothesis classes

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

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

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

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

カテゴリー: 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

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

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