Matches in SemOpenAlex for { <https://semopenalex.org/work/W612998376> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W612998376 abstract "Planning is a central research area in artificial intelligence, and a lot of effort has gone into constructing more and more efficient planning algorithms. In real-world examples, many problem instances do not have a solution. Hence, there is an obvious need for methods that are capable of identifying unsolvable instances efficiently. It is not possible to efficiently identify all unsolvable instances due to the inherent high complexity of planning, but many unsolvable instances can be identified in polynomial time. We present a number of novel methods for doing this.We adapt the notion of k-consistency (a well-studied concept from constraint satisfaction) for testing unsolvability of planning instances. The idea is to decompose a given problem instance into a number of smaller instances which can be solved in polynomial time. If any of the smaller instances are unsolvable, then the original instance is unsolvable. If all the smaller instances are solvable, then it is possible to extract information which can be used to guide the search. For instance, we introduce the notion of forbidden state patterns that are partial states that must be avoided by any solution to the problem instance. This can be viewed as the opposite of pattern databases which give information about states which can lead to a solution. We also introduce the notion of critical sets and show how to identify them. Critical sets describe operators or values which must be used or achieved in any solution. It is a variation on the landmark concept, i.e., operators or values which must be used in every solution. With the help of critical sets we can identify superfluous operators and values. These operators and values can be removed by preprocessing the problem instance to decrease planning time." @default.
- W612998376 created "2016-06-24" @default.
- W612998376 creator A5063877302 @default.
- W612998376 date "2012-01-01" @default.
- W612998376 modified "2023-09-24" @default.
- W612998376 title "Identifying Unsolvable Instances, Forbidden States and Irrelevant Information in Planning" @default.
- W612998376 hasPublicationYear "2012" @default.
- W612998376 type Work @default.
- W612998376 sameAs 612998376 @default.
- W612998376 citedByCount "0" @default.
- W612998376 crossrefType "journal-article" @default.
- W612998376 hasAuthorship W612998376A5063877302 @default.
- W612998376 hasConcept C11413529 @default.
- W612998376 hasConcept C154945302 @default.
- W612998376 hasConcept C177264268 @default.
- W612998376 hasConcept C199360897 @default.
- W612998376 hasConcept C199622910 @default.
- W612998376 hasConcept C2524010 @default.
- W612998376 hasConcept C2776036281 @default.
- W612998376 hasConcept C2776436953 @default.
- W612998376 hasConcept C33923547 @default.
- W612998376 hasConcept C41008148 @default.
- W612998376 hasConcept C48103436 @default.
- W612998376 hasConcept C49937458 @default.
- W612998376 hasConcept C80444323 @default.
- W612998376 hasConceptScore W612998376C11413529 @default.
- W612998376 hasConceptScore W612998376C154945302 @default.
- W612998376 hasConceptScore W612998376C177264268 @default.
- W612998376 hasConceptScore W612998376C199360897 @default.
- W612998376 hasConceptScore W612998376C199622910 @default.
- W612998376 hasConceptScore W612998376C2524010 @default.
- W612998376 hasConceptScore W612998376C2776036281 @default.
- W612998376 hasConceptScore W612998376C2776436953 @default.
- W612998376 hasConceptScore W612998376C33923547 @default.
- W612998376 hasConceptScore W612998376C41008148 @default.
- W612998376 hasConceptScore W612998376C48103436 @default.
- W612998376 hasConceptScore W612998376C49937458 @default.
- W612998376 hasConceptScore W612998376C80444323 @default.
- W612998376 hasLocation W6129983761 @default.
- W612998376 hasOpenAccess W612998376 @default.
- W612998376 hasPrimaryLocation W6129983761 @default.
- W612998376 hasRelatedWork W113367472 @default.
- W612998376 hasRelatedWork W1237749114 @default.
- W612998376 hasRelatedWork W1511044862 @default.
- W612998376 hasRelatedWork W1514358715 @default.
- W612998376 hasRelatedWork W1523311306 @default.
- W612998376 hasRelatedWork W1555696599 @default.
- W612998376 hasRelatedWork W1592614963 @default.
- W612998376 hasRelatedWork W1932908893 @default.
- W612998376 hasRelatedWork W1991157929 @default.
- W612998376 hasRelatedWork W2013541926 @default.
- W612998376 hasRelatedWork W207695698 @default.
- W612998376 hasRelatedWork W2085393535 @default.
- W612998376 hasRelatedWork W2130115280 @default.
- W612998376 hasRelatedWork W2136858951 @default.
- W612998376 hasRelatedWork W2143927407 @default.
- W612998376 hasRelatedWork W2217099143 @default.
- W612998376 hasRelatedWork W2558757660 @default.
- W612998376 hasRelatedWork W2625022240 @default.
- W612998376 hasRelatedWork W2772627893 @default.
- W612998376 hasRelatedWork W2899299846 @default.
- W612998376 isParatext "false" @default.
- W612998376 isRetracted "false" @default.
- W612998376 magId "612998376" @default.
- W612998376 workType "article" @default.