論文の概要: Models and algorithms for simple disjunctive temporal problems
- arxiv url: http://arxiv.org/abs/2302.02644v1
- Date: Mon, 6 Feb 2023 09:40:24 GMT
- ステータス: 処理完了
- システム内更新日: 2023-02-07 17:14:54.641870
- Title: Models and algorithms for simple disjunctive temporal problems
- Title（参考訳）: 簡易な断続的時間問題のモデルとアルゴリズム
- Authors: Carlo S. Sartori, Pieter Smet, Greet Vanden Berghe
- Abstract要約: イベントが任意に大量のリリースと予定日を持つ場合に焦点を当てる。
本稿では,制約プログラミングと線形プログラミングを用いた3つの数学的モデルを提案する。
論文から得られたアルゴリズムを実装し,簡単な時相問題を解くための手法の比較実験を行った。
- 参考スコア（独自算出の注目度）: 0.8793721044482611
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Simple temporal problems represent a powerful class of models capable of
describing the temporal relations between events that arise in many real-world
applications such as logistics, robot planning and management systems. The
classic simple temporal problem permits each event to have only a single
release and due date. In this paper, we focus on the case where events may have
an arbitrarily large number of release and due dates. This type of problem,
however, has been referred to by various names. In order to simplify and
standardize nomenclatures, we introduce the name Simple Disjunctive Temporal
Problem. We provide three mathematical models to describe this problem using
constraint programming and linear programming. To efficiently solve simple
disjunctive temporal problems, we design two new algorithms inspired by
previous research, both of which exploit the problem's structure to
significantly reduce their space complexity. Additionally, we implement
algorithms from the literature and provide the first in-depth empirical study
comparing methods to solve simple disjunctive temporal problems across a wide
range of experiments. Our analysis and conclusions offer guidance for future
researchers and practitioners when tackling similar temporal constraint
problems in new applications. All results, source code and instances are made
publicly available to further assist future research.
- Abstract（参考訳）: 単純な時間的問題は、ロジスティクス、ロボット計画、管理システムなど、多くの現実世界のアプリケーションで発生する事象間の時間的関係を記述することができる強力なモデルのクラスを表す。
古典的な単純な時間問題により、各イベントは単一のリリースと期限しか持たない。
本稿では,イベントが任意に多数のリリースと予定日を持つ場合に焦点を当てる。
しかし、この種の問題は様々な名称で言及されている。
命名法を簡素化し標準化するために,簡単な解法時間問題(Simple Disjunctive Temporal Problem)という名称を導入する。
本稿では,制約プログラミングと線形プログラミングを用いた3つの数学的モデルを提案する。
従来の研究に触発された2つの新しいアルゴリズムを考案し,問題の構造を活用し,空間複雑性を著しく低減した。
さらに,本論文から得られたアルゴリズムを実装し,様々な実験において単純な時空間問題を解く方法の比較実験を行った。
我々の分析と結論は、新しいアプリケーションで同様の時間的制約問題に取り組むとき、将来の研究者や実践者にガイダンスを提供する。
すべての結果、ソースコード、インスタンスは、将来の研究を支援するために公開されています。
関連論文リスト
- Endogenous Macrodynamics in Algorithmic Recourse [52.87956177581998]
対実説明(CE)とアルゴリズム・リコース(AR)に関する既存の研究は、静的環境における個人に主に焦点を当ててきた。
既存の方法論の多くは、一般化されたフレームワークによってまとめて記述できることを示す。
次に、既存のフレームワークは、グループレベルでの言論の内在的ダイナミクスを研究する際にのみ明らかとなるような、隠された対外的関係のコストを考慮に入れていないと論じる。
論文 参考訳（メタデータ） (2023-08-16T07:36:58Z) - Unlocking Temporal Question Answering for Large Language Models with Tailor-Made Reasoning Logic [84.59255070520673]
大きな言語モデル(LLM)は、時間的推論に関わる際に課題に直面します。
本研究では,時間的質問応答タスクに特化して設計された新しいフレームワークであるTempLogicを提案する。
論文 参考訳（メタデータ） (2023-05-24T10:57:53Z) - Rethinking Complex Queries on Knowledge Graphs with Neural Link Predictors [58.340159346749964]
本稿では,証明可能な推論能力を備えた複雑なクエリを用いたエンドツーエンド学習を支援するニューラルシンボリック手法を提案する。
これまでに検討されていない10種類の新しいクエリを含む新しいデータセットを開発する。
提案手法は,新しいデータセットにおいて先行手法を著しく上回り,既存データセットにおける先行手法を同時に上回っている。
論文 参考訳（メタデータ） (2023-04-14T11:35:35Z) - Efficient lifting of symmetry breaking constraints for complex
combinatorial problems [9.156939957189502]
この作業は、Answer Set Programmingのためのモデルベースのアプローチの学習フレームワークと実装を拡張します。
Inductive Logic Programming System ILASPに新たなコンフリクト解析アルゴリズムを組み込む。
論文 参考訳（メタデータ） (2022-05-14T20:42:13Z) - Exploring Viable Algorithmic Options for Learning from Demonstration
(LfD): A Parameterized Complexity Approach [0.0]
本稿では,パラメータ化複雑性解析を用いて,アルゴリズムの選択肢を体系的に探索する方法を示す。
環境、実演、ポリシーに対する多くの(しばしば同時に)制限に対して、我々の問題は、一般的にも、あるいは相対的に、効率的に解決できないことを示す。
論文 参考訳（メタデータ） (2022-05-10T15:54:06Z) - Provable Reinforcement Learning with a Short-Term Memory [68.00677878812908]
我々はPMDPsの新しいサブクラスについて研究し、その潜在状態は、最近の短い長さ$m$の履歴によって復号化することができる。
特に、リッチ・オブザーブレーション・セッティングにおいて、指数関数的にスケールするサンプル複雑性を持つ新しい「モーメントマッチング」アプローチを用いて、新しいアルゴリズムを開発する。
以上の結果から,これらの環境下での強化学習には短期記憶が十分であることが示唆された。
論文 参考訳（メタデータ） (2022-02-08T16:39:57Z) - Recall and Learn: A Memory-augmented Solver for Math Word Problems [15.550156292329229]
そこで我々は,リコールと学習の方法として,新しい人間的類似学習法を提案する。
提案するフレームワークは,メモリ,表現,アナロジー,推論のモジュールで構成されている。
論文 参考訳（メタデータ） (2021-09-27T14:59:08Z) - Constrained Learning with Non-Convex Losses [119.8736858597118]
学習は現代の情報処理の中核技術になっているが、バイアス、安全でない、偏見のあるソリューションにつながるという証拠はたくさんある。
論文 参考訳（メタデータ） (2021-03-08T23:10:33Z) - Learning to solve the single machine scheduling problem with release
times and sum of completion times [0.76146285961466]
我々は,機械学習の分野とスケジューリング理論の手法を組み込んだ新しいアルゴリズムによる,ハードシングルマシンスケジューリング問題の解に着目する。
これらは、ハード問題のインスタンスを最適性に解決された単純なインスタンスに変換します。
論文 参考訳（メタデータ） (2021-01-04T16:40:18Z) - Nature-Inspired Optimization Algorithms: Challenges and Open Problems [3.7692411550925673]
科学と工学の問題は、複雑な非線形制約の下で最適化問題として定式化することができる。
非常に非線形な問題の解は通常、洗練された最適化アルゴリズムを必要とし、伝統的なアルゴリズムはそのような問題に対処するのに苦労する。
現在のトレンドは、柔軟性と有効性から自然にインスパイアされたアルゴリズムを使用することです。
論文 参考訳（メタデータ） (2020-03-08T13:00:04Z) - The empirical duality gap of constrained statistical learning [115.23598260228587]
本研究では,制約付き統計学習問題(制約なし版)について,ほぼ全ての現代情報処理のコアとなる研究を行った。
本稿では, 有限次元パラメータ化, サンプル平均, 双対性理論を利用して, 無限次元, 未知分布, 制約を克服する制約付き統計問題に取り組むことを提案する。
フェアラーニングアプリケーションにおいて,この制約付き定式化の有効性と有用性を示す。
論文 参考訳（メタデータ） (2020-02-12T19:12:29Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。