Abstraktion är en kraftfull teknik för att påskynda planering och sökning. Ett problem som kan uppstå genom att använda abstraktion är den generation av abstrakta stater som kallas falska tillstånd, från vilka måltillståndet kan nås i det abstrakta rummet, men för vilka det inte finns något motsvarande tillstånd i det ursprungliga rummet från vilket måltillståndet kan nås. Spuriösa tillstånd kan vara skadliga i praktiken, eftersom de kan skapa konstgjorda genvägar i det abstrakta utrymme som saktar ner planering och sökning, och de kan kraftigt öka det minne som behövs för att lagra heuristisk information som härrör från det abstrakta utrymmet (t.ex. mönsterdatabaser). I detta dokument analyseras den beräkningsmässiga komplexiteten i att skapa abstraktioner som inte innehåller falska tillstånd. Vi definierar en egendom-den nedåtgående vägen bevara egendom (DPP)-som formellt fångar uppfattningen att en abstraktion inte resulterar i falska tillstånd. Vi analyserar sedan den beräkningsmässiga komplexiteten av (i) att testa den nedåtgående vägen bevara egendom för ett givet tillstånd utrymme och abstraktion och av (ii) avgöra om denna egenskap är uppnåelig alls för ett givet tillstånd utrymme. De starka hårdhetsresultat som visas för över till typiska beskrivningsspråk för att planera problem, inklusive sas + och propositionsremsor. På den positiva sidan identifierar och illustrerar vi formella förhållanden under vilka hitta nedåt väg * Korresponderande författare E-postadresser: zilles@cs.uregina.ca (Sandra Zilles), hole@cs.ualberta.ca (Robert C. Holte) 1 Det mesta av detta arbete utfördes medan Sandra Zilles var vid universitetet i Alberta. Preprint inlämnad till Elsevier 2 juli 2010 bevara abstraktioner är bevisligen dragbar.
En systematisk teoretisk studie av REF analyserar den beräkningsmässiga komplexiteten i att hitta abstraktioner som inte innehåller några falska tillstånd alls.
The computational complexity of avoiding spurious states in state space abstraction
{'venue': 'Artif. Intell.', 'journal': 'Artif. Intell.', 'mag_field_of_study': ['Mathematics', 'Computer Science']}