Yes / In this paper, we discuss a framework for synthesising manufacturing process controllers using situation calculus, a well-known second-order logic for reasoning about actions in AI. Using a library of high-level ConGolog programs and logical action theories for production resources, we demonstrate how to efficiently synthesise an ‘optimal’ plan, i.e. the plant that minimises the number of actions for a target high-level program of a process recipe. / University of Bradford / The full-text of this conference paper will be released for public view at the end of the publisher embargo on 8 Nov 2025.
| Identifer | oai:union.ndltd.org:BRADFORD/oai:bradscholars.brad.ac.uk:10454/19661 |
| Date | 17 October 2023 |
| Creators | Adalat, Omar, Scrimieri, Daniele, Konur, Savas |
| Source Sets | Bradford Scholars |
| Language | English |
| Detected Language | English |
| Type | Conference paper, Accepted manuscript |
| Rights | (c) 2023 SpringerNature. Full-text reproduced in accordance with the publisher's self-archiving policy., Unspecified |
Page generated in 0.0022 seconds