Skip to main content Accessibility help
×
×
Home

Knowledge and the action description language [Ascr ]

  • JORGE LOBO (a1), GISELA MENDEZ (a2) and STUART R. TAYLOR (a3)
    • Published online: 16 May 2001
Abstract

We introduce [Ascr ]k, an extension of the action description language [Ascr ] (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 [Ascr ]k domain descriptions into epistemic logic programs. This paper extends the results of the work first presented in Lobo et al. (1997).

Copyright
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Theory and Practice of Logic Programming
  • ISSN: 1471-0684
  • EISSN: 1475-3081
  • URL: /core/journals/theory-and-practice-of-logic-programming
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Keywords

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed