Knowledge And The Action Description Language A
<|reference_start|>Knowledge And The Action Description Language A: 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 agent's knowledge of the world and non-deterministic actions to remove knowledge. We include complex plans involving conditionals and loops in our query language for hypothetical reasoning. We also present a translation of Ak domain descriptions into epistemic logic programs.<|reference_end|>
@article{lobo2004knowledge,
    title={Knowledge And The Action Description Language A},
    author={Jorge Lobo, Gisela Mendez, Stuart R. Taylor},
    journal={Theory and Practice of Logic Programming, vol. 1, no. 2, 2001},
    year={2004},
    archivePrefix={arXiv},
    eprint={cs/0404051},
    primaryClass={cs.AI}
}