Knowledge And The Action Description Language A

Jorge Lobo, Gisela Mendez, Stuart R. Taylor

We introduce Ak, an extension of the action description language A (Gelfond and Lifschitz, 1993) to handle actions which affect knowledge. We use sensing actions to increase an age…