論文の概要: Solving Gossip Problems using Answer Set Programming: An Epistemic
Planning Approach
- arxiv url: http://arxiv.org/abs/2009.10237v1
- Date: Tue, 22 Sep 2020 00:47:55 GMT
- ステータス: 処理完了
- システム内更新日: 2022-10-15 22:51:31.498555
- Title: Solving Gossip Problems using Answer Set Programming: An Epistemic
Planning Approach
- Title(参考訳): 回答セットプログラミングによるゴシップ問題の解決--疫学計画アプローチ
- Authors: Esra Erdem (Sabanci University), Andreas Herzig (Institut de Recherche
en Informatique de Toulouse)
- Abstract要約: 本稿では,ゴシップ問題のバリエーションを解決するためにAnswer Set Programmingを用いて,それをエピステマティックな計画問題としてモデル化することによって検討する。
アンサー・セット・プログラミングはこれらの問題を解決するのに有効であることを示す。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We investigate the use of Answer Set Programming to solve variations of
gossip problems, by modeling them as epistemic planning problems.
- Abstract(参考訳): ゴシップ問題を解くための解集合プログラミングの利用を認識論的計画問題としてモデル化して検討する。
関連論文リスト
- Loose LIPS Sink Ships: Asking Questions in Battleship with Language-Informed Program Sampling [80.64715784334936]
ボードゲーム「バトルシップ」に基づく古典的根拠付き質問応答課題におけるトレードオフについて検討する。
我々のモデルは,大規模言語モデル(LLM)を用いて自然言語の質問を生成し,それらを記号型プログラムに変換し,期待される情報取得を評価する。
驚くほど控えめなリソース予算で、このシンプルなモンテカルロ最適化戦略は、人間のパフォーマンスを反映する有意義な質問をもたらす。
論文 参考訳(メタデータ) (2024-02-29T18:58:15Z) - Planning as In-Painting: A Diffusion-Based Embodied Task Planning
Framework for Environments under Uncertainty [56.30846158280031]
具体的AIのためのタスクプランニングは、最も難しい問題の1つだ。
In-paintingとしての計画」というタスク非依存の手法を提案する。
提案するフレームワークは,様々な具体的AIタスクにおいて,有望なパフォーマンスを実現する。
論文 参考訳(メタデータ) (2023-12-02T10:07:17Z) - Thought Propagation: An Analogical Approach to Complex Reasoning with Large Language Models [62.96551299003463]
大規模言語モデルの複雑な推論能力を高めるために,textbftextitThought Propagation (TP)を提案する。
TP はまず LLM に対して,入力問題に関連する類似問題の集合を提案し,解決するよう促す。
TPは、類似問題の結果を再利用して、新しいソリューションを直接生成したり、スクラッチから得られた初期ソリューションを修正するための知識集約的な実行プランを導出する。
論文 参考訳(メタデータ) (2023-10-06T01:40:09Z) - PlaSma: Making Small Language Models Better Procedural Knowledge Models for (Counterfactual) Planning [77.03847056008598]
PlaSmaは、手続き的な知識と(制約のある)言語計画能力を持つ小さな言語モデルを実現するための、新しい2段階のアプローチである。
我々は,小言語モデルにおけるコモンセンス知識を高めるための記号的手続き的知識蒸留法と,より構造化された正確な推論を容易にする推論時アルゴリズムを開発する。
論文 参考訳(メタデータ) (2023-05-31T00:55:40Z) - Solving workflow scheduling problems with QUBO modeling [0.0]
スケジューリング問題を表す新しいQUBOを開発し、入力問題に対する複雑性にQUBOがどのように依存するかを示す。
我々は、この複雑さを軽減するために、この特定の応用の分解法を導出し、提示する。
論文 参考訳(メタデータ) (2022-05-10T12:38:17Z) - Answer Set Planning: A Survey [6.348684258418859]
効率的でスケーラブルな回答セット解決器の開発は、ASPベースの計画システムの開発を後押しした。
調査では,回答セット計画のメリットとデメリットについて調査している。
また、回答セット計画の典型的な応用についても論じ、今後の研究の課題を提示する。
論文 参考訳(メタデータ) (2022-02-11T17:42:47Z) - Contrastive Explanations of Plans Through Model Restrictions [11.259587284318833]
計画交渉の問題の文脈で説明可能なAI計画を組み立てます。
本研究は,ユーザが計画について質問すると,その質問とは対照的であることを示す,ユーザ調査の結果を示す。
本研究は,計画交渉中に頻繁に発生するユーザ質問の分類を構築するために,本研究のデータを用いている。
論文 参考訳(メタデータ) (2021-03-29T12:47:15Z) - Batch Bayesian Optimization on Permutations using Acquisition Weighted
Kernels [86.11176756341114]
決定点プロセスに基づく新しい効率的なバッチ取得方法であるLAWを紹介します。
本研究では,理論特性の知見を得るための後悔分析法を提案する。
二次代入などの置換を含むいくつかの標準問題に対する手法を評価する。
論文 参考訳(メタデータ) (2021-02-26T10:15:57Z) - Scheduling Plans of Tasks [0.0]
タスクのスケジューリング計画の問題を解決するアルゴリズムを提案する。
提案アルゴリズムは,計画計画数を最大化する実行可能なスケジュールを探索する。
論文 参考訳(メタデータ) (2021-02-06T10:14:54Z) - The cyclic job-shop scheduling problem: The new subclass of the job-shop
problem and applying the Simulated annealing to solve it [0.0]
ループの1イテレーションだけを計画することは、サイクル全体の計画よりも効果が低い。
実験により, 提案手法は循環スケジューリングの効率を著しく向上させることができることを示した。
論文 参考訳(メタデータ) (2020-06-19T02:36:29Z) - Divide-and-Conquer Monte Carlo Tree Search For Goal-Directed Planning [78.65083326918351]
暗黙的な逐次計画の仮定に代わるものを検討する。
本稿では,最適計画の近似を行うため,Divide-and-Conquer Monte Carlo Tree Search (DC-MCTS)を提案する。
計画順序に対するこのアルゴリズム的柔軟性は,グリッドワールドにおけるナビゲーションタスクの改善に繋がることを示す。
論文 参考訳(メタデータ) (2020-04-23T18:08:58Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。