This note presents a new version of the language of epistemic specifications. The semantics of the new language is arguably closer to the intuitive meaning of epistemic operators. It eliminates some unintended interpretations which exist under the old definition. The author hopes that the new language will be better suited for the design of intelligent agents capable of introspective reasoning with incomplete information. © 2011 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Gelfond, M. (2011). New semantics for epistemic specifications. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6645 LNAI, pp. 260–265). https://doi.org/10.1007/978-3-642-20895-9_29
Mendeley helps you to discover research relevant for your work.