_:n3059af24cd0142988d00b550533faa2fxb32
<http://schema.org/description>
"Manufacturing is transitioning from a mass production model to a\nmanufacturing as a service model in which manufacturing facilities 'bid' to\nproduce products. To decide whether to bid for a complex, previously unseen\nproduct, a manufacturing facility must be able to synthesize, 'on the fly', a\nprocess plan controller that delegates abstract manufacturing tasks in the\nsupplied process recipe to the appropriate manufacturing resources, e.g., CNC\nmachines, robots etc. Previous work in applying AI behaviour composition to\nsynthesize process plan controllers has considered only finite state ad-hoc\nrepresentations. Here, we study the problem in the relational setting of the\nSituation Calculus. By taking advantage of recent work on abstraction in the\nSituation Calculus, process recipes and available resources are represented by\nConGolog programs over, respectively, an abstract and a concrete action theory.\nThis allows us to capture the problem in a formal, general framework, and show\ndecidability for the case of bounded action theories. We also provide\ntechniques for actually synthesizing the controller."
<https://cdnjs.deepai.org/profile/fabio-patrizi>