Phase transitions of contingent planning problem (Q474510): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 6 users not shown) | |||
Property / review text | |||
Summary: This paper explores the phase transitions of the contingent planning problems. We present the CONTINGENT PLAN-EXISTENCE algorithm and the CONTINGENT PLAN-NONEXISTENCE algorithm for quickly proving that the contingent planning instances have solutions and have no solutions, respectively. By analyzing the two algorithms, the phase transition area of the contingent planning problems is obtained. If the number of the actions is not greater than \(\theta_{\mathrm{ub}}\), the CONTINGENT PLAN-NONEXISTENCE algorithm can prove that nearly all the contingent planning instances have no solution. If the number of the actions is not lower than \(\theta_{\mathrm{lb}}\), the CONTINGENT PLAN-EXISTENCE algorithm can prove that nearly all the contingent planning instances have solutions.The results of the experiments show that there exist phase transitions from a region where almost all the contingent planning instances have no solution to a region where almost all the contingent planning instances have solutions. | |||
Property / review text: Summary: This paper explores the phase transitions of the contingent planning problems. We present the CONTINGENT PLAN-EXISTENCE algorithm and the CONTINGENT PLAN-NONEXISTENCE algorithm for quickly proving that the contingent planning instances have solutions and have no solutions, respectively. By analyzing the two algorithms, the phase transition area of the contingent planning problems is obtained. If the number of the actions is not greater than \(\theta_{\mathrm{ub}}\), the CONTINGENT PLAN-NONEXISTENCE algorithm can prove that nearly all the contingent planning instances have no solution. If the number of the actions is not lower than \(\theta_{\mathrm{lb}}\), the CONTINGENT PLAN-EXISTENCE algorithm can prove that nearly all the contingent planning instances have solutions.The results of the experiments show that there exist phase transitions from a region where almost all the contingent planning instances have no solution to a region where almost all the contingent planning instances have solutions. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 68Q25 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 68T20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 60C05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 68Q87 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6372932 / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q59031603 / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1155/2013/687578 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2169106402 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The complexity of theorem-proving procedures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4704799 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sharp thresholds of graph properties, and the $k$-sat problem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Analysis of Two Simple Heuristics on a Random Instance ofk-sat / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Approximating the unsatisfiability threshold of random formulas / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The TSP phase transition / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4954175 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Random MAX SAT, random MAX CUT, and their phase transitions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: PHASE TRANSITIONS OF EXPSPACE-COMPLETE PROBLEMS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: PHASE TRANSITIONS OF EXPSPACE-COMPLETE PROBLEMS: A FURTHER STEP / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3624010 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3624014 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Task decomposition on abstract states, for planning under nondeterminism / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 07:54, 9 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Phase transitions of contingent planning problem |
scientific article |
Statements
Phase transitions of contingent planning problem (English)
0 references
24 November 2014
0 references
Summary: This paper explores the phase transitions of the contingent planning problems. We present the CONTINGENT PLAN-EXISTENCE algorithm and the CONTINGENT PLAN-NONEXISTENCE algorithm for quickly proving that the contingent planning instances have solutions and have no solutions, respectively. By analyzing the two algorithms, the phase transition area of the contingent planning problems is obtained. If the number of the actions is not greater than \(\theta_{\mathrm{ub}}\), the CONTINGENT PLAN-NONEXISTENCE algorithm can prove that nearly all the contingent planning instances have no solution. If the number of the actions is not lower than \(\theta_{\mathrm{lb}}\), the CONTINGENT PLAN-EXISTENCE algorithm can prove that nearly all the contingent planning instances have solutions.The results of the experiments show that there exist phase transitions from a region where almost all the contingent planning instances have no solution to a region where almost all the contingent planning instances have solutions.
0 references