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

Making first order linear logic a generating grammar

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

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

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

Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions

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

要約 私たちは、Coq 証明アシスタントの基礎となる構成型理論である帰納法計算 … 続きを読む →

カテゴリー: cs.CL, cs.LO, math.LO | Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions はコメントを受け付けていません

Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets

投稿日: 2023年7月19日 作成者: jarxiv

要約 この論文は、決定可能なクエリ含意を持つ存在ルール セットの非常に表現力豊か … 続きを読む →

カテゴリー: cs.AI, cs.DB, cs.LO, math.LO | Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets はコメントを受け付けていません

Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets

投稿日: 2023年7月18日 作成者: jarxiv

要約 この論文は、決定可能なクエリ含意を持つ存在ルール セットの非常に表現力豊か … 続きを読む →

カテゴリー: cs.AI, cs.DB, cs.LO, math.LO | Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets はコメントを受け付けていません

Strengthening Consistency Results in Modal Logic

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

要約 様相論理で尋ねられる基本的な質問は、与えられた理論に一貫性があるかどうかで … 続きを読む →

カテゴリー: cs.AI, cs.LO, F4.1;I.23;I.24, math.LO | Strengthening Consistency Results in Modal Logic はコメントを受け付けていません

A unified logical framework for explanations in classifier systems

投稿日: 2023年7月4日 作成者: jarxiv

要約 近年、説明可能なAI（XAI）の分野において、二値分類器を説明するためのブ … 続きを読む →

カテゴリー: cs.AI, cs.LO, math.LO | A unified logical framework for explanations in classifier systems はコメントを受け付けていません

Theorem Proving in Dependently-Typed Higher-Order Logic — Extended Preprint

投稿日: 2023年5月25日 作成者: jarxiv

要約 高次ロジック HOL は、型付きデータ構造を表現および推論するための非常に … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LO, math.LO | Theorem Proving in Dependently-Typed Higher-Order Logic — Extended Preprint はコメントを受け付けていません

Recursion, evolution and conscious self

投稿日: 2023年4月25日 作成者: jarxiv

要約 【タイトル】 再帰、進化、そして意識的自己 【要約】 ・自己言及の可能性に … 続きを読む →

カテゴリー: cs.LG, cs.LO, math.LO, q-bio.NC, q-bio.PE | Recursion, evolution and conscious self はコメントを受け付けていません

Using large language models for (de-)formalization and natural argumentation exercises for beginner’s students

投稿日: 2023年4月14日 作成者: jarxiv

要約 タイトル：大規模言語モデルの利用による初心者向け(de-)formaliz … 続きを読む →

カテゴリー: cs.CL, math.LO | Using large language models for (de-)formalization and natural argumentation exercises for beginner’s students はコメントを受け付けていません

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

投稿日: 2023年4月14日 作成者: jarxiv

要約 タイトル：有限幅のカウンターモデルを用いた一階理論の問い合わせの決定可能性 … 続きを読む →

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