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

On the Trade-off Between Efficiency and Precision of Neural Abstraction

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

要約 ニューラル抽象化は、複雑な非線形動的モデルの形式的な近似として最近導入され … 続きを読む →

カテゴリー: cs.LG, cs.LO, cs.SY, eess.SY | On the Trade-off Between Efficiency and Precision of Neural Abstraction はコメントを受け付けていません

Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability Solving

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

要約 GPT-4 などの命令トレーニングを備えた生成大規模言語モデル (LLM) … 続きを読む →

カテゴリー: cs.AI, cs.LO | Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability Solving はコメントを受け付けていません

On Exploiting Hitting Sets for Model Reconciliation

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

要約 人間を意識した計画では、計画エージェントは人間のユーザーに、その計画が最適 … 続きを読む →

カテゴリー: cs.AI, cs.LO | On Exploiting Hitting Sets for Model Reconciliation はコメントを受け付けていません

Semi-Abstract Value-Based Argumentation Framework

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

要約 Phan Minh Dung (1995) は独創的な論文で、構造のない議 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Semi-Abstract Value-Based Argumentation Framework はコメントを受け付けていません

A-NeSI: A Scalable Approximate Method for Probabilistic Neurosymbolic Inference

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

要約 私たちはニューラル ネットワークと記号推論を組み合わせる問題を研究します。 … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, stat.ML | A-NeSI: A Scalable Approximate Method for Probabilistic Neurosymbolic Inference はコメントを受け付けていません

Boolformer: Symbolic Regression of Logic Functions with Transformers

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

要約 この研究では、ブール関数のエンドツーエンドのシンボリック回帰を実行するよう … 続きを読む →

カテゴリー: cs.LG, cs.LO | Boolformer: Symbolic Regression of Logic Functions with Transformers はコメントを受け付けていません

A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality

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

要約 この論文では、知識表現における実行不可能な推論のための多優先セマンティクス … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.NE, I.2.4 | A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality はコメントを受け付けていません

Hybrid ASP-based multi-objective scheduling of semiconductor manufacturing processes (Extended version)

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

要約 現代の半導体製造には、何百もの作業からなる複雑な生産プロセスが含まれており … 続きを読む →

カテゴリー: cs.AI, cs.LO | Hybrid ASP-based multi-objective scheduling of semiconductor manufacturing processes (Extended version) はコメントを受け付けていません

Sequential decomposition of propositional logic programs

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

要約 命題論理プログラムの逐次合成が最近導入されました。 この論文は、プログラム … 続きを読む →

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

Learning Horn Envelopes via Queries from Large Language Models

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

要約 私たちは、オラクルへのメンバーシップおよび等価性クエリを使用した、Angl … 続きを読む →

カテゴリー: cs.LG, cs.LO, I.2.4 | Learning Horn Envelopes via Queries from Large Language Models はコメントを受け付けていません