Computer Science – Artificial Intelligence
Scientific paper
2004-04-24
Theory and Practice of Logic Programming, vol. 1, no. 2, 2001
Computer Science
Artificial Intelligence
Appeared in Theory and Practice of Logic Programming, vol. 1, no. 2, 2001
Scientific paper
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.
Lobo Jorge
Mendez Gisela
Taylor Stuart R.
No associations
LandOfFree
Knowledge And The Action Description Language A does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Knowledge And The Action Description Language A, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Knowledge And The Action Description Language A will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-393488