[图书][B] An introduction to the planning domain definition language

P Haslum, N Lipovetzky, D Magazzeni, C Muise… - 2019 - Springer
Planning is the branch of Artificial Intelligence (AI) that seeks to automate reasoning about
plans, most importantly the reasoning that goes into formulating a plan to achieve a given …

Solving large-scale planning problems by decomposition and macro generation

M Asai, A Fukunaga - Proceedings of the International Conference on …, 2015 - ojs.aaai.org
Large-scale classical planning problems such as factory as-sembly problems pose a
significant challenge for domain-independent planners. We propose a macro-based planner …

Formal knowledge engineering for planning: pre and post-design analysis

JR Silva, JM Silva, TS Vaquero - … Engineering Tools and Techniques for AI …, 2020 - Springer
The interest and scope of the area of autonomous systems have been steadily growing in
the last 20 years. Artificial intelligence planning and scheduling is a promising technology …

Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata

RG Tollund, NS Johansen, KØ Nielsen… - Proceedings of the …, 2024 - ojs.aaai.org
Many applications require infinite plans---ie an infinite sequence of actions---in order to carry
out some given process indefinitely. In addition, it is desirable to guarantee optimality. In this …

Evaluating PDDL for programming production cells: a case study

C Mayr-Dorn, A Egyed, M Winterer, C Salomon… - Proceedings of the 4th …, 2022 - dl.acm.org
A unique selling point for cyber-physical production system manufacturers becomes the
easy with which machines and cells can be adapted to new products and production …

On hash-based work distribution methods for parallel best-first search

Y Jinnai, A Fukunaga - Journal of Artificial Intelligence Research, 2017 - jair.org
Parallel best-first search algorithms such as Hash Distributed A*(HDA*) distribute work
among the processes using a global hash function. We analyze the search and …

[PDF][PDF] Recursive Agents and Landmarks Strategic-Tactical Planning (RALSTP)

D Buksz - 2024 - kclpure.kcl.ac.uk
The use of AI planning beyond demonstration examples has proven to be challenging for
expressive problems with numerous components. This happens primarily because the state …

Integrating Recognition and Decision Making to Close the Interaction Loop for Autonomous Systems

R Freedman - 2020 - scholarworks.umass.edu
Intelligent systems are becoming increasingly ubiquitous in daily life. Mobile devices are
providing machine-generated support to users, robots are" coming out of their cages" in …

Discovering state constraints for planning with conditional effects in Discoplan (part I)

AE Gerevini, L Schubert - Annals of Mathematics and Artificial Intelligence, 2020 - Springer
Discoplan is a durable and efficient system for inferring state constraints (invariants) in
planning domains, specified in the PDDL language. It is exceptional in the range of …

A Constraint-based Approach to Multiphase Project Planning

AD Mali - 2016 IEEE 28th International Conference on Tools …, 2016 - ieeexplore.ieee.org
We define Multiphase Project Planning (MPP) as the problem of finding an executable
sequence of sets of actions to achieve all hard subgoals of all milestones, given a fully …