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

Declarative Reasoning on Explanations Using Constraint Logic Programming

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

要約 不透明な機械学習（ML）モデルを説明することは、ますます重要な問題になって … 続きを読む →

カテゴリー: cs.AI, cs.CY, cs.LG, cs.SC | Declarative Reasoning on Explanations Using Constraint Logic Programming はコメントを受け付けていません

Normative Conditional Reasoning as a Fragment of HOL

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

要約 規範的（好みに基づく）条件付き推論の機械化に関するいくつかの結果を報告しま … 続きを読む →

カテゴリー: 03B15, 03B60, 68T15, 68T27, 68T30, cs.AI, cs.LO, cs.SC, I.2.0 | Normative Conditional Reasoning as a Fragment of HOL はコメントを受け付けていません

Normative conditional reasoning as a fragment of HOL

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

要約 規範的（好みに基づく）条件付き推論の機械化に関するいくつかの結果を報告しま … 続きを読む →

カテゴリー: 03B15, 03B60, 68T15, 68T27, 68T30, cs.AI, cs.LO, cs.SC, I.2.0 | Normative conditional reasoning as a fragment of HOL はコメントを受け付けていません

AI Hilbert: From Data and Background Knowledge to Automated Scientific Discovery

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

要約 自然現象を控えめに説明し、既存の背景理論と一致する科学的公式を発見すること … 続きを読む →

カテゴリー: cs.AI, cs.SC, math.OC | AI Hilbert: From Data and Background Knowledge to Automated Scientific Discovery はコメントを受け付けていません

AI-Assisted Discovery of Quantitative and Formal Models in Social Science

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

要約 社会科学では、経済成長や集団行動を説明するモデルなどの形式的かつ定量的なモ … 続きを読む →

カテゴリー: cs.LG, cs.SC, econ.EM | AI-Assisted Discovery of Quantitative and Formal Models in Social Science はコメントを受け付けていません

G-MATT: Single-step Retrosynthesis Prediction using Molecular Grammar Tree Transformer

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

要約 近年、シングルステップ逆合成予測のために、さまざまなテンプレートベースおよ … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LG, cs.SC, q-bio.QM | G-MATT: Single-step Retrosynthesis Prediction using Molecular Grammar Tree Transformer はコメントを受け付けていません

Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks

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

要約 この研究では、定量的反応性合成のための効率的なシンボリック アルゴリズムを … 続きを読む →

カテゴリー: cs.FL, cs.GT, cs.RO, cs.SC | Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks はコメントを受け付けていません

Reasoning over the Behaviour of Objects in Video-Clips for Adverb-Type Recognition

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

要約 この研究では、シーンシーケンスを説明する副詞は、オブジェクトの動作の高レベ … 続きを読む →

カテゴリー: cs.AI, cs.CV, cs.SC | Reasoning over the Behaviour of Objects in Video-Clips for Adverb-Type Recognition はコメントを受け付けていません

Inverse kinematics and path planning of manipulator using real quantifier elimination based on Comprehensive Gröbner Systems

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

要約 CGS-QE 法と呼ばれる、包括的 Gr\’obner Sys … 続きを読む →

カテゴリー: 13P15, 68W30, cs.RO, cs.SC, math.AC | Inverse kinematics and path planning of manipulator using real quantifier elimination based on Comprehensive Gröbner Systems はコメントを受け付けていません

RecallM: An Architecture for Temporal Context Understanding and Question Answering

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

要約 大規模言語モデル (LLM) ベースのチャットボットにとって理想的な長期記 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.SC | RecallM: An Architecture for Temporal Context Understanding and Question Answering はコメントを受け付けていません