Situation Calculus for Synthesis of Manufacturing Controllers.

Giuseppe De Giacomo Brian Logan Paolo Felli Fabio Patrizi Sebastian Sardiña

Published in: CoRR (2018)

Keyphrases

situation calculus
controller synthesis
action theories
event calculus
reasoning tasks
initial state
modal logic
provably correct
control system
reasoning about actions
logical language
blocks world
reinforcement learning
fluent calculus
control strategy
taxonomic reasoning
agent programming
temporal logic