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

A Multimodal Framework for Deepfake Detection

投稿日: 2024年10月7日 作成者: jarxiv

要約 ディープフェイク技術の急速な進歩は、デジタルメディアの完全性に重大な脅威を … 続きを読む →

カテゴリー: cs.AI, cs.CV, cs.LG, cs.LO | A Multimodal Framework for Deepfake Detection はコメントを受け付けていません

LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models

投稿日: 2024年10月3日 作成者: jarxiv

要約 ChatGPT や GPT-4 などの大規模言語モデル (LLM) の論理 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LO, cs.SE | LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models はコメントを受け付けていません

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

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases

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

要約 セマンティック Web の重要性が高まるにつれて、記述ロジックのナレッジ … 続きを読む →

カテゴリー: cs.AI, cs.LO | Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases はコメントを受け付けていません

The Transformation Logics

投稿日: 2024年9月9日 作成者: jarxiv

要約 私たちは、表現力と複雑さの間のトレードオフのバランスを細かく取るように設計 … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LO | The Transformation Logics はコメントを受け付けていません

What Formal Languages Can Transformers Express? A Survey

投稿日: 2024年9月5日 作成者: jarxiv

要約 自然言語処理においてトランスフォーマーが注目を集めるようになり、一部の研究 … 続きを読む →

カテゴリー: cs.CL, cs.FL, cs.LG, cs.LO | What Formal Languages Can Transformers Express? A Survey はコメントを受け付けていません

Temporal Ensemble Logic

投稿日: 2024年9月2日 作成者: jarxiv

要約 線形時間時相推論のためのモナディック 1 次様相論理である Tempora … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LO | Temporal Ensemble Logic はコメントを受け付けていません

Generating $SROI^-$ Ontologies via Knowledge Graph Query Embedding Learning

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

要約 クエリ埋め込みアプローチは、エンティティ、関係、クエリの低次元ベクトル表現 … 続きを読む →

カテゴリー: cs.AI, cs.DB, cs.LG, cs.LO | Generating $SROI^-$ Ontologies via Knowledge Graph Query Embedding Learning はコメントを受け付けていません

Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games

投稿日: 2024年8月27日 作成者: jarxiv

要約 古典的な反応性合成アプローチは、常に指定された仕様を満たす反応性システムを … 続きを読む →

カテゴリー: cs.FL, cs.GT, cs.LO, cs.RO, D.2.4 | Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games はコメントを受け付けていません

Logic interpretations of ANN partition cells

投稿日: 2024年8月27日 作成者: jarxiv

要約 フィードフォワード人工ニューラル ネットワーク (ANN) を使用して解決 … 続きを読む →

カテゴリー: cs.AI, cs.LO, F.4.1 | Logic interpretations of ANN partition cells はコメントを受け付けていません