Thumbnail Image
Publication

Optimal Manufacturing Controller Synthesis Using Situation Calculus

Adalat, Omar
; ; 
Konur, Savas
Publication Date
2023-11-08
End of Embargo
Supervisor
Keywords
Planning, Manufacturing, Situation calculus, Controller synthesis, ConGolog
Rights
(c) 2023 SpringerNature. Full-text reproduced in accordance with the publisher's self-archiving policy.
cb
Peer-Reviewed
Yes
Open Access status
embargoedAccess
Accepted for publication
2023-09-29
Institution
Department
Awarded
Embargo end date
2025-11-08
Collections
Engineering and Digital Technology Publications
Show all metadata
Files
Thumbnail Image
adalat_et_al_2024
Adobe PDF, 129.72 KB
Additional title
Abstract
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.
URI
http://hdl.handle.net/10454/19661
Version
Accepted manuscript
Citation
Adalat O, Scrimieri D and Konur S (2023) Optimal Manufacturing Controller Synthesis Using Situation Calculus. AI-2023. In: Bramer M and Stahl F (Eds) Artificial Intelligence XL. SGAI 2023. Lecture Notes in Computer Science. Vol 14381: 222-227. SpringerNature : Switzerland.
Link to publisher’s version
Link to published version
Link to Version of Record
https://doi.org/10.1007/978-3-031-47994-6_19
Type
Conference paper
Qualification name
Notes
The full-text of this conference paper will be released for public view at the end of the publisher embargo on 8 Nov 2025.