Situation calculus for controller synthesis in manufacturing systems with first-order state representation
Situation calculus for controller synthesis in manufacturing systems with first-order state representation
复制标题
DOI：
10.1016/j.artint.2021.103598
复制
发表时间：
2022-01
期刊：
影响因子：
--
通讯作者：
Giuseppe De Giacomo;Paolo Felli;B. Logan;F. Patrizi;Sebastian Sardiña
中科院分区：
文献类型：
--
作者：
Giuseppe De Giacomo;Paolo Felli;B. Logan;F. Patrizi;Sebastian Sardiña
制造业正在从大规模生产模式过渡到服务模式，在这种模式下，设施“投标”生产产品。为了决定是否投标一个复杂的，以前看不见的产品，设施必须能够综合，在飞行中，一个过程计划控制器，代表抽象的制造任务，在一个提供的工艺配方，以可用的制造资源。制造过程通常依赖于它们生产和消费的数据和对象（部件）。为了形式化这个方面，我们需要采用进程状态的一阶表示。状态的一阶表示通常被认为是在推理人工智能中的行动，在这里，我们表明，我们可以利用广泛的文献的情况演算和ConGolog程序来形式化这种制造。有了这样的形式化，我们研究如何合成工艺计划控制器在这个一阶状态设置。我们还确定了两个重要的可判定的情况下，有限域和有界行动理论，我们提供的技术，实际上合成的控制器。
Manufacturing is transitioning from a mass production model to a service model in which facilities ‘bid’ to produce products. To decide whether to bid for a complex, previously unseen product, a facility must be able to synthesize, on the fly, a process plan controller that delegates abstract manufacturing tasks in a supplied process recipe to the available manufacturing resources. Often manufacturing processes depend on the data and objects (parts) they produce and consume. To formalize this aspect we need to adopt a first-order representation of the state of the processes. First-order representations of the state are commonly considered in reasoning about action in AI, and here we show that we can leverage the wide literature on the Situation Calculus and ConGolog programs to formalize this kind of manufacturing. With such a formalization available, we investigate how to synthesize process plan controllers in this first-order state setting. We also identify two important decidable cases—finite domains and bounded action theories—for which we provide techniques to actually synthesize the controller.