A System to Support Complex Detective Inquiries
Aldo Franco Dragoni, Carlo Ceresi, Vittorio Pasquali · 2009
We present the architecture of an Inquiry Support System whose aim is to help a detective or a judge in: 1. generating hypotheses (automatically in some stereotypical cases), 2. eliciting a maximally consistent set of beliefs as the most believable piece of knowledge to reason with; this is done by: 2.1. finding the incoherences inside and across the various depositions, 2.2. generating the alternate maximally consistent sets of beliefs, 2.3. estimating the credibilities of the various evidences, 2.4. estimating the reliabilities of the various informants. The solution of the case is intended to be searched among the various possible plots compatible with the maximally consistent set of beliefs retained by the system as the most believable one. 1. INTRODUCTION 1.1 Belief Revision Much of the detectives' and magistrates' task can be regarded as "knowledge processing." They have, typically, to acquire knowledge chunks, find the contradictions inside and across the various depositions, l...