About Epistemic Negation and World Views in Epistemic Logic Programs. Issue 5 (September 2019)

• Record Type: Journal Article
• Authors: COSTANTINI, STEFANIA
• Is Part Of: Theory and practice of logic programming. Volume 19:Issue 5/6(2019)
• Page Start: 790
• Page End: 807
• Publication Date: 2019-09
• Subjects: Answer Set Programming, -- Epistemic Logic Programs, -- Epistemic Negation; Logic programming -- Periodicals; Artificial intelligence -- Computer programs -- Periodicals; Constraint programming (Computer science) -- Periodicals; 005.115
• DOI: 10.1017/S147106841900019X
• Languages: English
• ISSNs: 1471-0684

Abstract

Abstract: In this paper we consider Epistemic Logic Programs, which extend Answer Set Programming (ASP) with " epistemic operators" and " epistemic negation", and a recent approach to the semantics of such programs in terms of World Views . We propose some observations on the existence and number of world views. We show how to exploit an extended ASP semantics in order to: (i) provide a characterization of world views, different from existing ones; (ii) query world views and query the whole set of world views.