Abstract
Manufacturing is transitioning from a mass production model to a service model in which facilities ‘bid’ for products. To decide whether to bid for a previously unseen product, a facility must be able to synthesize, on the fly, a process plan controller that delegates abstract manufacturing tasks in the process recipe for the product to the available manufacturing resources. First-order state representations are commonly used in reasoning about action in AI. Here we show that we can leverage the extensive literature on the Situation Calculus to automatically synthesize such controllers. We identify two important decidable cases—finite domains and bounded action theories—for which we provide practical synthesis techniques.
Original language | English |
---|---|
Title of host publication | Proceedings of the 31st International Joint Conference on Artificial Intelligence |
Editors | Luc De Raedt |
Pages | 5722-5726 |
Number of pages | 5 |
Publication status | Published - 30 Jul 2022 |
Event | 31st International Joint Conference on Artificial Intelligence: and the 25th European Conference on Artificial Intelligence - Messe Wien, Vienna, Austria Duration: 23 Jul 2022 → 29 Jul 2022 Conference number: 31 https://ijcai-22.org/ |
Conference
Conference | 31st International Joint Conference on Artificial Intelligence |
---|---|
Abbreviated title | IJCAI-ECAI 2022 |
Country/Territory | Austria |
City | Vienna |
Period | 23/07/22 → 29/07/22 |
Internet address |
Bibliographical note
Publisher Copyright:© 2022 International Joint Conferences on Artificial Intelligence. All rights reserved.