A Refinement of the Language of Epistemic Specifications
Authors: Patrick Kahl, Richard Watson, Michael Gelfond and Yuanlin Zhang
Paper Information
| Title: | A Refinement of the Language of Epistemic Specifications |
| Authors: | Patrick Kahl, Richard Watson, Michael Gelfond and Yuanlin Zhang |
| Proceedings: | ASPOCP 2014 Proceedings |
| Editors: | Marco Maratea and Daniela Inclezan |
| Keywords: | epistemic specifications, epistemic logic programs, logic programming, introspective reasoning, answer set programming extensions, conformant planning |
| Abstract: | ABSTRACT. In this paper we present a new version of the language of Epistemic Specifications. The goal is to simplify and improve the intuitive and formal semantics. We describe an algorithm for computing solutions of programs written in this new version of the language. The new semantics is illustrated by a number of examples, including an Epistemic Specifications-based framework for conformant planning. |
| Pages: | 15 |
| Talk: | Jul 23 10:45 |
| Paper: |  |