Preliminary exploration on actions as updates

This paper reports on the use of logic program updates to models actions that bring about changes in knowledge states describing the world and its rules. The LUPS language is employed to specify concurrent update rules to model actions that depend on, and change, rule rich world states, not described simply by propositional uents. This language and corresponding semantics, whose original stable semantics we generalize to the well-founded setting, is brieey recapitulated here. The advantages of our approach to modelling actions as updates are brought out by a number of telling examples, especially conceived for the purpose. They have been test run in our implementation of LUPS, though the latter is not described here for lack of space.