Schematic Invariants by Reduction to Ground Invariants

Jussi Rintanen

Schematic Invariants by Reduction to Ground Invariants

Jussi Rintanen

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

6 Viittaukset (Web of Science)

80 Lataukset (Pure)

Abstrakti

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.

Alkuperäiskieli	Englanti
Otsikko	Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17)
Kustantaja	AAAI Press
Sivut	3644-3650
Sivumäärä	7
Tila	Julkaistu - 2017
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa
Tapahtuma	AAAI Conference on Artificial Intelligence - San Francisco, Yhdysvallat Kesto: 4 helmik. 2017 → 9 helmik. 2017 Konferenssinumero: 31

Julkaisusarja

Nimi	Proceedings of the AAAI Conference on Artificial Intelligence
Kustantaja	AAAI
ISSN (painettu)	2159-5399
ISSN (elektroninen)	2374-3468

Conference

Conference	AAAI Conference on Artificial Intelligence
Lyhennettä	AAAI
Maa/Alue	Yhdysvallat
Kaupunki	San Francisco
Ajanjakso	04/02/2017 → 09/02/2017

Pääsy asiakirjaan

Rintanen17aaaiAccepted author manuscript, 232 KBLisenssi: Määrittelemätön

https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14955

Suomalainen laskennallisen päättelyn huippuyksikkö
Kaski, S. (Vastuullinen johtaja), Soare, M. (Projektin jäsen), Mononen, T. (Projektin jäsen), Vuollekoski, H. (Projektin jäsen), Bogaerts, B. (Projektin jäsen), Puranen, S. (Projektin jäsen), Xu, Y. (Projektin jäsen), Tasharrofi, S. (Projektin jäsen), Rintanen, J. (Projektin jäsen), Dutta, R. (Projektin jäsen), Pesonen, H. (Projektin jäsen), Gebser, M. (Projektin jäsen), Parviainen, P. (Projektin jäsen), Peltola, T. (Projektin jäsen), Anwer, R. (Projektin jäsen), Weinzierl, A. (Projektin jäsen), Blomstedt, P. (Projektin jäsen), Yang, Z. (Projektin jäsen) & R-Tavakoli, H. (Projektin jäsen)
01/01/2015 → 31/12/2017
Projekti: Academy of Finland: Other research funding

Science-IT
Hakala, M. (Manager)
Perustieteiden korkeakoulu
Laitteistot/tilat: Facility

Siteeraa tätä

@inproceedings{229ef6707e4143dfb62c528e06e4b8dc,

title = "Schematic Invariants by Reduction to Ground Invariants",

abstract = "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.",

author = "Jussi Rintanen",

year = "2017",

language = "English",

series = "Proceedings of the AAAI Conference on Artificial Intelligence",

publisher = "AAAI Press",

pages = "3644--3650",

booktitle = "Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17)",

address = "United States",

note = "AAAI Conference on Artificial Intelligence, AAAI ; Conference date: 04-02-2017 Through 09-02-2017",

}

Rintanen, J 2017, Schematic Invariants by Reduction to Ground Invariants. julkaisussa Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17). Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, Sivut 3644-3650, AAAI Conference on Artificial Intelligence, San Francisco, California, Yhdysvallat, 04/02/2017. <https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14955>

Schematic Invariants by Reduction to Ground Invariants. / Rintanen, Jussi.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17). AAAI Press, 2017. s. 3644-3650 (Proceedings of the AAAI Conference on Artificial Intelligence).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

TY - GEN

T1 - Schematic Invariants by Reduction to Ground Invariants

AU - Rintanen, Jussi

N1 - Conference code: 31

PY - 2017

Y1 - 2017

N2 - 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.

AB - 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.

M3 - Conference article in proceedings

T3 - Proceedings of the AAAI Conference on Artificial Intelligence

SP - 3644

EP - 3650

BT - Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17)

PB - AAAI Press

T2 - AAAI Conference on Artificial Intelligence

Y2 - 4 February 2017 through 9 February 2017

ER -

Schematic Invariants by Reduction to Ground Invariants

Abstrakti

Julkaisusarja

Conference

Pääsy asiakirjaan

Sormenjälki

Projektit

Suomalainen laskennallisen päättelyn huippuyksikkö

Laitteet

Science-IT

Siteeraa tätä