Schematic Invariants by Reduction to Ground Invariants

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

Tutkijat

Organisaatiot

Kuvaus

Computation of invariants, which are approximate reachability information for state-space search problems such as AI planning, has been considered to be more scalable when using a schematic representation of actions/events rather than an instantiated/ground representation. A disadvantage of schematic algorithms, however, is their complexity, which also leads to high runtimes when the number of schematic events/actions is high. We propose algorithms that reduce the problem of finding schematic invariants to solving a smaller ground problem.

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoProceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17)
TilaJulkaistu - 2017
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaAAAI Conference on Artificial Intelligence - San Francisco, Yhdysvallat
Kesto: 4 helmikuuta 20179 helmikuuta 2017
Konferenssinumero: 31

Julkaisusarja

NimiProceedings of the AAAI Conference on Artificial Intelligence
KustantajaAAAI
ISSN (painettu)2159-5399
ISSN (elektroninen)2374-3468

Conference

ConferenceAAAI Conference on Artificial Intelligence
LyhennettäAAAI
MaaYhdysvallat
KaupunkiSan Francisco
Ajanjakso04/02/201709/02/2017

Lataa tilasto

Ei tietoja saatavilla

ID: 13097308