Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract).
Giuseppe De GiacomoPaolo FelliBrian LoganFabio PatriziSebastian SardiñaPublished in: IJCAI (2022)
Keyphrases
- extended abstract
- situation calculus
- action theories
- manufacturing systems
- initial state
- universally quantified
- primitive actions
- petri net
- reasoning about actions
- event calculus
- sensing actions
- manufacturing environment
- incomplete information
- logical theories
- action language
- fluent calculus
- state space
- real time
- controller synthesis
- concurrent actions
- logical language
- provably correct
- complex systems
- holonic manufacturing systems
- neural network