Studio ed implementazione di un sistema di
supporto ad indagini di polizia
Relatore:
Prof. Aldo Franco Dragoni
Candidato:
Paolo Sernani
Sommario
➢
➢
➢
➢
Scenario: crime investigation
Motivazione: introduzione di tecniche di
intelligenza artificiale a supporto delle attività di
indagine
Obiettivo: semplificare la ricerca di contraddizioni
all'interno dell'evidenza
Risultati: implementazione di un
prototipo del sistema
Belief Revision
➢
Consistenza
➢
Cambiamento Minimo
➢
Recuperabilità
Belief Revision
Sistema di supporto
Ricerca contraddizioni
Calcolo credibilità
informazioni
Calcolo affidabilità
sorgenti
Estrazione e classificazione
dei good
Selezione good
Dempster-Shafer
➢
Regola di combinazione di Dempster:
∑
m ( X )=
X 1∩ X 2∩...∩ X n= X
1−
∑
m1 ( X 1 )⋅m2 ( X 2 )⋅...⋅mn ( X n )
X 1∩ X 2∩...∩ X n=∅
➢
m1 ( X 1 )⋅m2 ( X 2 )⋅...⋅mn ( X n)
Credibilità:
Bel ( A)= ∑ m( X )
X⊆A
Credibilità delle informazioni
➢
Frame of discernment: interpretazioni
➢
Probabilità di base:
{
Ri
mi ( X )= 1−Ri
0
se X = [ s i ]
se X = Ω
altrimenti
Affidabilità delle sorgenti
➢
Affidabilità di un insieme di sorgenti:
R(Φ)= ∏ Ri⋅∏ (1− Ri )
S i ∈Φ
➢
con
S i ∉Φ
∑
Φ∈2
R(Φ)=1
S
Affidabilità a posteriori della sorgente i:
∑
NR i =
{Φ k : S i ∈Φk ,Φ k ∉Γ}
R(Φ k )
1− ∑ R(Φ k )
Φ k ∈Γ
Database
Classificazione dei good
Prosieguo dell'indagine
➢
Programma abducibile: (P, AB, IC)
Effetto
Causa
➢
➢
Utilizzo di predicati abducibili per provare un goal
utile al prosieguo delle indagini
Linguaggio apposito: HYPROLOG
Sviluppi Futuri
➢
Generazione automatica di ipotesi
Impronte di un mastino
gigantesco
Un mastino gigantesco
stava inseguendo Sir Charles
Terrore
Sir Charles è morto per
arresto cardiaco
Affaticamento
Sir Charles stava scappando
Impronte alterate di scarpe
lasciate da Sir Charles
Conclusioni
➢
➢
➢
Ricerca contraddizioni: indagine consistente, ridotte
probabilità di appello per incongruenze
Tecnica numerica per valutare credibilità
e affidabilità
Strumento per il prosieguo dell'indagine
Grazie per l'attenzione
