Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract)∗

Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardina

Research output: Chapter in Book/Report/Conference proceedingPublished conference contribution

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 languageEnglish
Title of host publicationProceedings of the 31st International Joint Conference on Artificial Intelligence
Publication statusPublished - 30 Jul 2022
Event31st International Joint Conference on Artificial Intelligence: and the 25th European Conference on Artificial Intelligence - Messe Wien, Vienna, Austria
Duration: 23 Jul 202229 Jul 2022
Conference number: 31
https://ijcai-22.org/

Conference

Conference31st International Joint Conference on Artificial Intelligence
Abbreviated titleIJCAI-ECAI 2022
Country/TerritoryAustria
CityVienna
Period23/07/2229/07/22
Internet address

Fingerprint

Dive into the research topics of 'Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract)∗'. Together they form a unique fingerprint.

Cite this