Epistemic scenarios in the formalization of investigations
It can be reasonable to assume the adoption of Answer Set Programming (ASP) to encode the knowledge about the underlying investigative case: in fact, this knowledge (collected by investigators) can often be incomplete, uncertain, etc. ASP is able to process such knowledge and produce plausible underlying scenarios. To ascertain facts "beyond any reasonable doubt'' however, one should often reason about the entire set of answer sets, and to be allowed to use in programs meta-operators such as Knowledge and Possibility. We will illustrate Epistemic Logic programs (ELPs), that have been proposed to this purpose, and propose new meta-operators particularly suited for the domain of investigations.