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

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

Making first order linear logic a generating grammar

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

要約 タイトル：第一級線形論理を生成文法にする 要約： – 同じ範囲 … 続きを読む →

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

Compression of enumerations and gain

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

要約 【タイトル】列挙の圧縮と利得 【要約】 – 計算可能列挙集合の … 続きを読む →

カテゴリー: cs.CL, cs.IT, math.IT, math.LO | Compression of enumerations and gain はコメントを受け付けていません