Situation calculus for controller synthesis in manufacturing systems with first-order state representation.
Giuseppe De GiacomoPaolo FelliBrian LoganFabio PatriziSebastian SardiñaPublished in: Artif. Intell. (2022)
Keyphrases
- situation calculus
- action theories
- manufacturing systems
- initial state
- event calculus
- reasoning about actions
- complex systems
- universally quantified
- modal logic
- sensing actions
- action language
- manufacturing environment
- petri net
- provably correct
- incomplete information
- logical theories
- controller synthesis
- concurrent actions
- primitive actions
- fluent calculus
- autonomic computing systems