caa a22 4500 467988560 CHVBK 20180323112538.0 cr unu---uuuuu 170328e19900601xx s 000 0 eng 10.1007/BF03037512 doi (NATIONALLICENCE)springer-10.1007/BF03037512 Jiang Y. Computer Laboratory, Cambridge University, CB2 3QG, Cambridge, England aut An epistemic model of logic programming [Elektronische Daten] [Y. Jiang] If we view an ordinary logic program as a set of beliefs of animplicit agent about a world, then acompletely epistemic logical view of logic programming would yield a further extension that allows us to reasonexplicitly about beliefs and non-beliefs of any agents. In particular, such a view will accommodate nested beliefs, introspective reasoning of self-beliefs and meta-reasoning of others' beliefs. In this paper, we present the logical foundation of such a view by developing acomputational logic ofquantified epistemic notions. The semantics of the logic is an extension of Kripke'spossible-worlds semantics with variable domains to capture theintensional imputation problem in epistemic notions. A syntactical characterization of this semantics is developed to yield a clausal form of the logic. An efficient resolution mechanisation of this form is described. It is achieved by augmenting Konolige'sB-resolution with a semi-set-of-support strategy with linear resolution. Further refinements on a Horn clausal form of the logic with negation as failure are also discussed. Ohmsha, Ltd. and Springer, 1990 Modal Logics nationallicence Knowledge Representation nationallicence Epistemic Logic Programming nationallicence Intension/Extension nationallicence Possible-Worlds Semantics nationallicence Theory Resolution and Negation as Failure nationallicence New Generation Computing Springer-Verlag 8/1(1990-06-01), 33-59 0288-3635 8:1<33 1990 8 354 https://doi.org/10.1007/BF03037512 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/BF03037512 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Jiang Y. Computer Laboratory, Cambridge University, CB2 3QG, Cambridge, England aut NATIONALLICENCE 773 0- New Generation Computing Springer-Verlag 8/1(1990-06-01), 33-59 0288-3635 8:1<33 1990 8 354 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer