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

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

Syntax-semantics interface: an algebraic model

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

要約 ホップ代数の観点からマージとミニマリズムの定式化を構文意味論的インターフェ … 続きを読む →

カテゴリー: 16T05, 18C50, 91F20, cs.CL, math.LO, math.QA, math.RA | Syntax-semantics interface: an algebraic model はコメントを受け付けていません

Sequential composition of propositional logic programs

投稿日: 2023年10月12日 作成者: jarxiv

要約 この論文は、命題論理プログラムの逐次合成と分解を紹介し、研究します。 非周 … 続きを読む →

カテゴリー: cs.AI, cs.DB, cs.DM, cs.LO, math.LO | Sequential composition of propositional logic programs はコメントを受け付けていません

Algebraic, Topological, and Mereological Foundations of Existential Granules

投稿日: 2023年8月31日 作成者: jarxiv

要約 この研究では、それ自体を決定する存在顆粒の新しい概念が発明され、代数的、ト … 続きを読む →

カテゴリー: 03B70 (Primary), 03B80, 03C65, 03G25, 08A55, cs.AI, cs.LG, cs.LO, math.LO, math.RA, secondary | Algebraic, Topological, and Mereological Foundations of Existential Granules はコメントを受け付けていません

Making first order linear logic a generating grammar

投稿日: 2023年8月29日 作成者: jarxiv

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

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

A Simplified Variant of Gödel’s Ontological Argument

投稿日: 2023年8月28日 作成者: jarxiv

要約 G\’odel の存在論的議論の簡略化された変形が提示されます … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LO, math.LO | A Simplified Variant of Gödel’s Ontological Argument はコメントを受け付けていません