Luigi Bonassi , Giuseppe De Giacomo , Marco Favorito , Francesco Fuggitti , Alfonso Emilio Gerevini , Enrico Scala
{"title":"Planning for temporally extended goals in pure-past linear temporal logic","authors":"Luigi Bonassi , Giuseppe De Giacomo , Marco Favorito , Francesco Fuggitti , Alfonso Emilio Gerevini , Enrico Scala","doi":"10.1016/j.artint.2025.104409","DOIUrl":null,"url":null,"abstract":"<div><div>We study planning for temporally extended goals expressed in Pure-Past Linear Temporal Logic (<span>ppltl</span>) in the context of deterministic (i.e., classical) and fully observable nondeterministic (FOND) domains. <span>ppltl</span> is the variant of Linear-time Temporal Logic on finite traces (<span>ltl</span><sub><em>f</em></sub>) that refers to the past rather than the future. Although <span>ppltl</span> is as expressive as <span>ltl</span><sub><em>f</em></sub>, we show that it is computationally much more effective for planning. In particular, we show that checking the validity of a plan for a <span>ppltl</span> formula is Markovian. This is achieved by introducing a linear number of additional propositional variables that capture the validity of the entire formula in a modular fashion. The solution encoding introduces only a linear number of new fluents proportional to the size of the <span>ppltl</span> goal and does not require any additional spurious action. We implement our solution technique in a system called <span><math><mi>Plan4Past</mi></math></span>, which can be used alongside state-of-the-art classical and FOND planners. Our empirical analysis demonstrates the practical effectiveness of <span><math><mi>Plan4Past</mi></math></span> in both classical and FOND problems, showing that the resulting planner performs overall better than other planning approaches for <span>ltl</span><sub><em>f</em></sub> goals.</div></div>","PeriodicalId":8434,"journal":{"name":"Artificial Intelligence","volume":"348 ","pages":"Article 104409"},"PeriodicalIF":4.6000,"publicationDate":"2025-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Artificial Intelligence","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0004370225001286","RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE","Score":null,"Total":0}
引用次数: 0
Abstract
We study planning for temporally extended goals expressed in Pure-Past Linear Temporal Logic (ppltl) in the context of deterministic (i.e., classical) and fully observable nondeterministic (FOND) domains. ppltl is the variant of Linear-time Temporal Logic on finite traces (ltlf) that refers to the past rather than the future. Although ppltl is as expressive as ltlf, we show that it is computationally much more effective for planning. In particular, we show that checking the validity of a plan for a ppltl formula is Markovian. This is achieved by introducing a linear number of additional propositional variables that capture the validity of the entire formula in a modular fashion. The solution encoding introduces only a linear number of new fluents proportional to the size of the ppltl goal and does not require any additional spurious action. We implement our solution technique in a system called , which can be used alongside state-of-the-art classical and FOND planners. Our empirical analysis demonstrates the practical effectiveness of in both classical and FOND problems, showing that the resulting planner performs overall better than other planning approaches for ltlf goals.
期刊介绍:
The Journal of Artificial Intelligence (AIJ) welcomes papers covering a broad spectrum of AI topics, including cognition, automated reasoning, computer vision, machine learning, and more. Papers should demonstrate advancements in AI and propose innovative approaches to AI problems. Additionally, the journal accepts papers describing AI applications, focusing on how new methods enhance performance rather than reiterating conventional approaches. In addition to regular papers, AIJ also accepts Research Notes, Research Field Reviews, Position Papers, Book Reviews, and summary papers on AI challenges and competitions.