Planning with Partial Observability by SAT

Saurabh Fadnis; Jussi Rintanen

doi:10.1007/978-3-031-43619-2_41

Planning with Partial Observability by SAT

^*Tämän työn vastaava kirjoittaja

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

6 Lataukset (Pure)

Abstrakti

Geffner & Geffner (2018) have shown that finding plans by reduction to SAT is not limited to classical planning, but is competitive also for fully observable non-deterministic planning. This work extends these ideas to planning with partial observability. Specifically, we handle partial observability by requiring that during the execution of a plan, the same actions have to be taken in all indistinguishable circumstances. We demonstrate that encoding this condition directly leads to far better scalability than an explicit encoding of observations-to-actions mapping, for high numbers of observations.

Alkuperäiskieli	Englanti
Otsikko	Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Proceedings
Toimittajat	Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz, Magdalena Ortiz
Kustantaja	Springer
Sivut	605-620
Sivumäärä	16
ISBN (painettu)	978-3-031-43618-5
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-031-43619-2_41
Tila	Julkaistu - 2023
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa
Tapahtuma	European Conference on Logics in Artificial Intelligence - Dresden, Saksa Kesto: 20 syysk. 2023 → 22 syysk. 2023 Konferenssinumero: 18

Julkaisusarja

Nimi	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Kustantaja	Springer
Vuosikerta	14281 LNAI
ISSN (painettu)	0302-9743
ISSN (elektroninen)	1611-3349

Conference

Conference	European Conference on Logics in Artificial Intelligence
Lyhennettä	JELIA
Maa/Alue	Saksa
Kaupunki	Dresden
Ajanjakso	20/09/2023 → 22/09/2023

Pääsy asiakirjaan

10.1007/978-3-031-43619-2_41

Planning with Partial Observability by SATAccepted author manuscript, 317 KB

Muut tiedostot ja linkit

Linkki julkaisuun Scopuksessa

Siteeraa tätä

Fadnis, S., & Rintanen, J. (2023). Planning with Partial Observability by SAT. teoksessa S. Gaggl, M. V. Martinez, M. Ortiz, & M. Ortiz (Toimittajat), Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Proceedings (Sivut 605-620). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 14281 LNAI). Springer. https://doi.org/10.1007/978-3-031-43619-2_41

Fadnis, Saurabh ; Rintanen, Jussi. / Planning with Partial Observability by SAT. Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Proceedings. Toimittaja / Sarah Gaggl ; Maria Vanina Martinez ; Magdalena Ortiz ; Magdalena Ortiz. Springer, 2023. Sivut 605-620 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{09adc9affcec4951b3c97f70afbd82e8,

title = "Planning with Partial Observability by SAT",

abstract = "Geffner & Geffner (2018) have shown that finding plans by reduction to SAT is not limited to classical planning, but is competitive also for fully observable non-deterministic planning. This work extends these ideas to planning with partial observability. Specifically, we handle partial observability by requiring that during the execution of a plan, the same actions have to be taken in all indistinguishable circumstances. We demonstrate that encoding this condition directly leads to far better scalability than an explicit encoding of observations-to-actions mapping, for high numbers of observations.",

author = "Saurabh Fadnis and Jussi Rintanen",

note = "Publisher Copyright: {\textcopyright} The Author(s), under exclusive license to Springer Nature Switzerland AG 2023.; European Conference on Logics in Artificial Intelligence, JELIA ; Conference date: 20-09-2023 Through 22-09-2023",

year = "2023",

doi = "10.1007/978-3-031-43619-2_41",

language = "English",

isbn = "978-3-031-43618-5",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "605--620",

editor = "Sarah Gaggl and Martinez, {Maria Vanina} and Magdalena Ortiz and Magdalena Ortiz",

booktitle = "Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Proceedings",

address = "Germany",

}

Fadnis, S & Rintanen, J 2023, Planning with Partial Observability by SAT. julkaisussa S Gaggl, MV Martinez, M Ortiz & M Ortiz (toim), Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vuosikerta 14281 LNAI, Springer, Sivut 605-620, European Conference on Logics in Artificial Intelligence, Dresden, Saksa, 20/09/2023. https://doi.org/10.1007/978-3-031-43619-2_41

Planning with Partial Observability by SAT. / Fadnis, Saurabh; Rintanen, Jussi.
Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Proceedings. toim. / Sarah Gaggl; Maria Vanina Martinez; Magdalena Ortiz; Magdalena Ortiz. Springer, 2023. s. 605-620 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 14281 LNAI).

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

TY - GEN

T1 - Planning with Partial Observability by SAT

AU - Fadnis, Saurabh

AU - Rintanen, Jussi

N1 - Conference code: 18

PY - 2023

Y1 - 2023

N2 - Geffner & Geffner (2018) have shown that finding plans by reduction to SAT is not limited to classical planning, but is competitive also for fully observable non-deterministic planning. This work extends these ideas to planning with partial observability. Specifically, we handle partial observability by requiring that during the execution of a plan, the same actions have to be taken in all indistinguishable circumstances. We demonstrate that encoding this condition directly leads to far better scalability than an explicit encoding of observations-to-actions mapping, for high numbers of observations.

AB - Geffner & Geffner (2018) have shown that finding plans by reduction to SAT is not limited to classical planning, but is competitive also for fully observable non-deterministic planning. This work extends these ideas to planning with partial observability. Specifically, we handle partial observability by requiring that during the execution of a plan, the same actions have to be taken in all indistinguishable circumstances. We demonstrate that encoding this condition directly leads to far better scalability than an explicit encoding of observations-to-actions mapping, for high numbers of observations.

UR - http://www.scopus.com/inward/record.url?scp=85174540813&partnerID=8YFLogxK

U2 - 10.1007/978-3-031-43619-2_41

DO - 10.1007/978-3-031-43619-2_41

M3 - Conference article in proceedings

AN - SCOPUS:85174540813

SN - 978-3-031-43618-5

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 605

EP - 620

BT - Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Proceedings

A2 - Gaggl, Sarah

A2 - Martinez, Maria Vanina

A2 - Ortiz, Magdalena

PB - Springer

T2 - European Conference on Logics in Artificial Intelligence

Y2 - 20 September 2023 through 22 September 2023

ER -

Fadnis S, Rintanen J. Planning with Partial Observability by SAT. julkaisussa Gaggl S, Martinez MV, Ortiz M, Ortiz M, toimittajat, Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Proceedings. Springer. 2023. s. 605-620. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-031-43619-2_41